MMM-ACNS-10 Conference

MMM-ACNS 2010 Program

Date

Activities

September 7, 2010
Tuesday

16:00-19:00

Registration (in venue)

Date

Activities

September 8, 2010
Wednesday

MMM-ACNS-2010 conference

8:30 - 16:00	Registration
9:00 - 9:20	Opening Session (Rafael Yusupov, Robert Herklotz, Victor Skormin, Igor Kotenko)
9:20 - 10:10	Invited Talk Chairman: Victor Skormin (USA) Dieter Gollmann Secure Applications Without Secure Infrastructures
10:10 - 10:35	Coffee and Networking Break
10:35 - 11:25	Invited Talk Chairman: Igor Kotenko (Russian Federation) Greg Morrisett Integrating Types and Specifications for Secure Software Development
11:25 - 13:10	Session 1. Security modeling and covert channels Chairman: Dieter Gollmann (Germany)
11:25 - 11:55	Ludovic Piètre-Cambacédès, Marc Bouissou (France). Attack and defense dynamic modeling with BDMP
11:55 - 12:25	Vidyaraman Sankaranarayanan, Shambhu Upadhyaya, Kevin Kwiat (USA). QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems
12:25 - 12:55	Leonid Domnitser, Nael Abu-Ghazaleh, Dmitry Ponomarev (USA). A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors
12:55 - 13:10	Alexander Grusho, Nikolai Grusho, Elena Timonina (Russian Federation). Problems of Modeling in the Analysis of Covert Channels
13:15 - 14:45	Lunch
14:45 - 16:15	Session 2. Security policies and formal analysis of security properties Chairman: Greg Morrisett (USA)
14:45 - 15:15	Raphael Khoury, Nadia Tawbi (Canada). Using Equivalence Relations for Corrective Enforcement of Security Policies
15:15 - 15:45	Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas Vestal (USA). Policy-Based Design and Verification for Mission Assurance
15:45 - 16:15	Devrim Unal, Ozan Akar, M. Ufuk Caglayan (Turkey). Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus
16:15 - 16:40	Coffee and Networking Break
16:40 - 17:40	Venue tour
18:00 - 20:00	Reception

Date

Activities

September 9, 2010
Thursday

MMM-ACNS-2010 conference

9:00 -16:00	Registration
9:20 - 10:10	Invited Talk Chairman: Shiu-Kai Chin (USA) Andrei Sabelfeld (Sweden) Web application security: from fundamental challenges toward practical solutions
10:10 - 10:35	Coffee and Networking Break
10:35 - 11:25	Invited Talk Chairman: Igor Kotenko (Russian Federation) Hervé Debar, Nizar Kheir, Nora Cuppens-Boulahia, and Frédéric Cuppens Service Dependencies in Information Systems Security
11:25 - 13:10	Session 3. Authentication, authorization, access control and public key cryptography Chairman: Andrei Sabelfeld (Sweden)
11:25 - 11:55	Glenn Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older (USA). Credentials Management for High-Value Transactions
11:55 - 12:25	Krzysztof Sacha (Poland). Credential Chain Discovery in RTT Trust Management Language
12:25 - 12:55	Dmitriy Moldovyan, Nikolay Moldovyan (Russian Federation). A New Hard Problem over Non-Commutative Finite Groups
12:55 - 13:10	Igor Saenko, Igor Kotenko (Russian Federation). Genetic Optimization of Access Control Schemes in Virtual Local Area Networks
13:15 - 14:45	Lunch
14:45 - 16:15	Session 4. Intrusion and malware detection Chairman: Hervé Debar (France)
14:45 - 15:15	Jose Morales, Erhan Kartaltepe, Shouhuai Xu, Ravi Sandhu (USA). Symptoms-Based Detection of Bot Processes
15:15 - 15:45	Peter Teufl, Udo Payer, Guenther Lackner (Austria). From NLP (Natural Language Processing) to MLP (Machine Language Processing)
15:45 - 16:15	Maxim Kalinin, Yaroslav Markov (Russian Federation). Intellectual Intrusion Detection with Sequences Alignment Methods
16:15 - 16:45	Hai Nguyen, Slobodan Petrovic, Katrin Franke (Norway). A Comparison of Feature-Selection Methods for Intrusion Detection
16:50 - 17:15	Coffee and Networking Break
17:15 - 19:45	City tour
20:00 - 23:00	Conference dinner

Date

Activities

September 10, 2010
Friday

MMM-ACNS-2010 conference

9:30 - 13:00	Registration
9:50 - 10:40	Invited Talk Chairman: Igor Kotenko (Russian Federation) Ravi Sandhu, Ram Krishnan, Jianwei Niu, and William H. Winsborough (USA) Group-Centric Models for Secure and Agile Information Sharing
10:40 - 11:05	Coffee and Networking Break
11:05 - 11:55	Invited Talk Chairman: Nikolay Moldovyan (Russian Federation) Bart Preneel Cryptography for Network Security: Failures, Successes and Challenges
11:55 - 13:10	Session 5. Security of multi-agent systems and software protection Chairman: Alexander Grusho (Russian Federation)
11:55 - 12:25	Antonio Munoz, Antonio Mana, Pablo Anton (Spain). In the track of the Agent Protection: A solution based on cryptographic hardware
12:25 - 12:55	Stefan Kraxberger, Peter Danner, Daniel Hein (Austria). Secure Multi-Agent System for Multi-Hop Environments
12:55 - 13:10	Vasily Desnitsky, Igor Kotenko (Russian Federation). Security and Scalability of Remote Entrusting Protection
13:15 - 14:45	Lunch
14:45 - 15:45	Session 6. Adaptive security, security analysis and virtualization Chairman: Antonio Mana (Spain)
14:45 - 15:15	Wojciech Molisz, Jacek Rak (Poland). A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks
15:15 - 15:30	Dmitry Zegzhda, Peter Zegzhda, Maxim Kalinin (Russian Federation). Clarifying Integrity Control at the Trusted Information Environment
15:30 - 15:45	Roland Rieke, Zaharina Stoynova (Germany). Predictive Security Analysis for Event-Driven Processes
15:45 - 16:00	Dmitry Zegzhda, Ekaterina Rudina (Russian Federation). Virtual Environment Security Modeling
16:00 - 17:30	Panel Discussion "New Trends and Challenges in Computer Network Security" Chairman: Shiu-Kai Chin (USA) Panelists: Herve Debar, Dieter Gollmann, Alexander Grusho, Antonio Mana, Greg Morrisett, Bart Preneel and Ravi Sandhu
17:30 - 17:40	Closing Session
17:40 - 18:20	Coffee and Networking Break, Farewell party