MMM-ACNS-12 Conference

Programme

Program
of the Sixth International Conference
"Mathematical Methods, Models and Architectures
for Computer Network Security" (MMM-ACNS 2012)

St. Petersburg, Russia, October 17-19, 2012

October 16, Tuesday

17:00-19:00

Registration (in venue)

October 17, Wednesday

8:30 - 16:00	Registration
9:00 - 9:20	Opening Session (Rafael Yusupov, Charles Holland, Victor Skormin, and Igor Kotenko)
9:20 - 10:20	Invited Talk Chairman: Victor Skormin (USA) Zhaohui Wang, Ryan Johnson, Rahul Murmuria, and Angelos Stavrou (USA) Exposing Security Risks for Commercial Mobile Devices
10:20 - 10:45	Coffee and Networking Break
10:45 - 11:45	Invited Talk Chairman: Igor Kotenko (USA) *Benjamin Livshits* (USA) �Finding Malware on a Web Scale�
11:45 - 13:00	Session 1. Intrusion Prevention, Detection, and Response Chairman: Angelos Stavrou (USA)
11:45 - 12:15	Andrey Dolgikh, Tomas Nykodym, Victor Skormin, and Zachary Birnbaum (USA) Using Behavioral Modeling And Customized Normalcy Profiles As Protection Against Targeted Cyber-Attacks
12:15 - 12:45	Yosra Ben Mustapha, Herve Debar, and Gregoire Jacob (France) Limitation of Honeypot/Honeynet Databases to Enhance Alert Correlation
12:45 - 13:00	Dmitry P. Zegzhda and Tatiana V. Stepanova (Russian Federation) Stochastic model of interaction between botnets and distributed computer defense systems
13:00 - 14:45	Lunch
14:45 - 16:15	Session 2. Anti-malware Techniques Chairman: Benjamin Livshits (USA)
14:45 - 15:15	Chaitanya Yavvari, Arnur Tokhtabayev, Huzefa Rangwala, and Angelos Stavrou (USA) Malware Characterization using Behavioral Components
15:15 - 15:45	Gianluca Dini, Fabio Martinelli, Andrea Saracino, and Daniele Sgandurra (Italy) MADAM: a Multi-Level Anomaly Detector for Android Malware
15:45 - 16:15	Dmitry Komashinskiy and Igor Kotenko (Russian Federation) Using Low-Level Dynamic Attributes for Malware Detection based on Data Mining Methods
16:15 - 16:40	Coffee and Networking Break
16:40 - 17:40	Venue tour
17:40 - 19:00	Reception

October 18, Thursday

9:00 -16:00	Registration
9:00 - 10:00	Invited Talk Chairman: Victor Skormin (USA) Tyrone Cadenhead, Murat Kantarcioglu, Vaibhav Khadilkar, and Bhavani Thuraisingham (USA) Presented by Latifur Khan (USA) Design and Implementation of a Cloud-based Assured Information Sharing System
10:00 - 10:25	Coffee and Networking Break
10:25 - 11:40	Session 3. Applied Cryptography and Security Protocols Chairman: Vladimir Oleshchuk (Norway)
10:25 - 10:55	Victor Yakovlev, Valery Korzhik, Mihail Bakaev, and Guillermo Morales-Luna (Russia, Mexico) Optimization of Key Distribution Protocols Based on Extractors for Noisy Channels within Active Adversaries
10:55 - 11:25	Joe-Kai Tsay and Stig F. Mjølsnes (Norway) A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols
11:25 - 11:40	Alexandr Moldovyan, Nikolay Moldovyan, and Evgenia Novikova (Russian Federation) Blind 384-bit Digital Signature Scheme
11:45 - 13:00	Session 4. Access Control and Information Protection Chairman: Stig F. Mjølsnes (Norway)
11:45 - 12:15	Xin Jin, Ravi Sandhu, and Ram Krishnan (USA) RABAC: Role-Centric Attribute-Based Access Control
12:15 - 12:45	Vladimir Oleshchuk (Norway) Trust-aware RBACies
12:45 - 13:00	Alexander Grusho, Nick Grusho, and Elena Timonina (Russian Federation) Alternative Mechanisms for Information Security
13:00 - 14:45	Lunch
14:45 - 15:45	Session 5. Security Event and Information Management Chairman: Alexander Grusho (Russian Federation)
14:45 - 15:15	Gustavo Gonzalez Granadillo, Herve Debar, Gregoire Jacob, Chrystel Gaber, and Mohammed Achemlal (France) Individual Countermeasure Selection based on the Return On Response Investment Index
15:15 - 15:30	Roland Rieke, Luigi Coppolino, Andrew Hutchison, Elsa Prieto, and Chrystel Gaber (Germany, Italy, South African Republic, Spain, France) Security and Reliability Requirements for Advanced Security Event Management
15:30 - 15:45	Julian Schutte, Roland Rieke, and Timo Winkelvos (Germany) Model-based Security Event Management
15:45 - 16:10	Coffee and Networking Break
16:15 - 19:00	City tour
19:30 - 22:30	Conference dinner

October 19, Friday

10:00 - 13:00	Registration
10:00 - 11:00	Invited Talk Chairman: Igor Kotenko (Russian Federation) Fabio Martinelli, Ilaria Matteucci, and Charles Morisset (Italy) From Qualitative to Quantitative Enforcement of Security Policy
11:00 - 11:30	Coffee and Networking Break
11:30 - 13:00	Session 6. Security Modeling and Cloud Security Chairman: Andrew Hutchison (South Africa)
11:30 - 12:00	Vasily Desnitsky, Igor Kotenko, and Andrey Chechulin (Russian Federation) Configuration-based approach to embedded device security
12:00 - 12:30	Brendan Kerrigan and Yu Chen (USA) A Study of Entropy Sources in Cloud Computers: Random Number Generation on Cloud Hosts
12:30 - 12:45	Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin, and Artem S. Konoplev (Russian Federation) Security Modeling of Grid Systems Using Petri Nets
12:45 - 13:00	Peter D. Zegzhda, Dmitry P. Zegzhda, and Alexey V. Nikolskiy (Russian Federation) Using graph theory for cloud system security modeling
13:00 - 14:45	Lunch
14:45 - 16:00	Session 7. Security Policies Chairman: Roland Rieke (Germany)
14:45 - 15:15	Josee Desharnais, Erwamme P. Kanyabwero, and Nadia Tawbi (Canada) Enforcing information flow policies by a three-valued analysis
15:15 - 15:45	Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, and Mathieu Turuani (France) Towards the orchestration of secured services under non-disclosure policies
15:45 - 16:00	Andrey Chechulin, Igor Kotenko, and Vasily Desnitsky (Russian Federation) A Combined Approach for Network Information Flow Analysis for Systems of Embedded Components
16:00 - 17:30	Panel Discussion "New Trends and Challenges in Computer Network Security" Chairman: Victor Skormin (USA) Panelists: Alexander Grusho, Andrew Hutchison, Latifur Khan, Valery Korzhik, Igor Kotenko, Benjamin Livshits, Fabio Martinelli, Stig F. Mjølsnes, Vladimir Oleshchuk, and Roland Rieke
17:30 - 17:40	Closing Session
17:40 - 18:20	Coffee and Networking Break, Farewell party

Program of the Sixth International Conference "Mathematical Methods, Models and Architectures for Computer Network Security" (MMM-ACNS 2012)

St. Petersburg, Russia, October 17-19, 2012

Program
of the Sixth International Conference
"Mathematical Methods, Models and Architectures
for Computer Network Security" (MMM-ACNS 2012)