Computer Network Security : 5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010, Proceedings

by Kotenko, Igor; Skormin, Victor

• ISBN13: 9783642147050
• ISBN10: 3642147054
• Format: Paperback
• Copyright: 2010-10-11
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 5th InternationalConference on Mathematical Methods, Models, and Architectures forComputer Network Security, MMM-ACNS 2010, held in St. Petersburg, Russiain September 2010.The 16 revised full papers and 6 revised short papers presented togetherwith 5 invited papers were carefully reviewed and selected from a totalof 54 submissions. The papers are organized in topical sections onsecurity modeling and covert channels, security policies and formalanalysis of security properties, authentication, authorization, accesscontrol and public key cryptography, intrusion and malware detection,security of multi-agent systems and software protection, as well as.adaptive security, security analysis and virtualization.

Table of Contents

Invited Papers
Service Dependencies in Information Systems Security	p. 1
Secure Applications without Secure Infrastructures	p. 21
Integrating Types and Specifications for Secure Software Development	p. 32
Cryptography for Network Security: Failures, Successes and Challenges	p. 36
Group-Centric Models for Secure and Agile Information Sharing	p. 55
Security Modeling and Covert Channels
A Predictive Model for Cache-Based Side Channels in Multicore and Multithreaded Microprocessors	p. 70
Attack and Defense Modeling with BDMP	p. 86
QoS-T: QoS Throttling to Elicit User Cooperation in Computer Systems	p. 102
Problems of Modeling in the Analysis of Covert Channels	p. 118
Security Policies and Formal Analysis of Security Properties
Policy-Based Design and Verification for Mission Assurance	p. 125
Using Equivalence Relations for Corrective Enforcement of Security Policies	p. 139
Model Checking of Location and Mobility Related Security Policy Specifications in Ambient Calculus	p. 155
Authentication, Authorization, Access Control and Public Key Cryptography
Gredentials Management for High-Value Transactions	p. 169
A New Hard Problem over Non-commutative Finite Groups for Cryptographic Protocols	p. 183
Credential Chain Discovery in RTT Trust Management Language	p. 195
Genetic Optimization of Access Control Schemes in Virtual Local Area Networks	p. 209
Intrusion and Malware Detection
Intellectual Intrusion Detection with Sequences Alignment Methods	p. 217
Symptoms-Based Detection of Bot Processes	p. 229
A Comparison of Feature-Selection Methods for Intrusion Detection	p. 242
From NLP (Natural Language Processing) to MLP (Machine Language Processing)	p. 256
Security of Multi-agent Systems and Software Protection
Secure Multi-Agent System for Multi-Hop Environments	p. 270
In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware	p. 284
Security and Scalability of Remote Entrusting Protection	p. 298
Adaptive Security, Security Analysis and Virtualization
A Novel Genetic Approach to Provide Differentiated Levels of Service Resilience in IP-MPLS/WDM Networks	p. 307
Predictive Security Analysis for Event-Driven Processes	p. 321
Virtual Environment Security Modeling	p. 329
Clarifying Integrity Control at the Trusted Information Environment	p. 337
Author Index	p. 345
Table of Contents provided by Ingram. All Rights Reserved.