Accepted Papers:

22 accepted papers (16 full papers and 6 short papers) from 54 submitted papers

Full papers

• Ludovic Pietre-Cambacedes, Marc Bouissou (France). Attack and defense dynamic modeling with BDMP
  
• Raphael Khoury, Nadia Tawbi (Canada). Using Equivalence Relations for Corrective Enforcement of Security Policies
  
• Dmitriy Moldovyan, Nikolay Moldovyan (Russian Federation). A New Hard Problem over Non-Commutative Finite Groups
  
• Wojciech Molisz, Jacek Rak (Poland). A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks
  
• Glenn Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older (USA). Credentials Management for High-Value Transactions
  
• Krzysztof Sacha (Poland). Credential Chain Discovery in RTT Trust Management Language
  
• Maxim Kalinin, Yaroslav Markov (Russian Federation). Intellectual Intrusion Detection with Sequences Alignment Method
  
• Antonio Munoz, Antonio Mana, Pablo Anton (Spain). In the track of the Agent Protection: A solution based on cryptographic hardware
  
• Hai Nguyen, Slobodan Petrovic, Katrin Franke (Norway). A Comparison of Feature-Selection Methods for Intrusion Detection
  
• Shiu-Kai Chin, Sarah Muccio, Susan Older, Thomas Vestal (USA). Policy-Based Design and Verification for Mission Assurance
  
• Devrim Unal, Ozan Akar, M. Ufuk Caglayan (Turkey). Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus
  
• Stefan Kraxberger, Peter Danner, Daniel Hein (Austria). Secure Multi-Agent System for Multi-Hop Environments
  
• Peter Teufl, Udo Payer, Guenther Lackner (Austria). From NLP (Natural Language Processing) to MLP (Machine Language Processing)
  
• Leonid Domnitser, Nael Abu-Ghazaleh, Dmitry Ponomarev (USA). A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors
  
• Jose Morales, Erhan Kartaltepe, Shouhuai Xu, Ravi Sandhu (USA). Symptoms-Based Detection of Bot Processes
  
• Vidyaraman Sankaranarayanan, Shambhu Upadhyaya, Kevin Kwiat (USA). QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems
  

Short papers

• Alexander Grusho, Nikolai Grusho, Elena Timonina (Russian Federation). Problems of Modeling in the Analysis of Covert Channels
  
• Igor Saenko, Igor Kotenko (Russian Federation). The Method of Genetic Optimization of Access Control Schemes of Virtual Local Area Networks
  
• Roland Rieke, Zaharina Stoynova (Germany). Predictive Security Analysis for Event-Driven Processes
  
• Dmitry Zegzhda, Ekaterina Rudina (Russian Federation). Virtual Environment Security Modeling
  
• Dmitry Zegzhda, Peter Zegzhda, Maxim Kalinin (Russian Federation). Clarifying Integrity Control at the Trusted Information Environment
  
• Vasily Desnitsky, Igor Kotenko (Russian Federation). Security and Scalability of Remote Entrusting Protection