Front matter
1-14
An Intelligent Decision Support System for Intrusion Detection and Response
Dipankar Dasgupta and Fabio A. Gonzalez
15-20
Mathematical Models of the Covert Channels
Alexander Grusho
21
Open Issues in Formal Methods for Cryptographic Protocol Analysis
Catherine Meadows
22-26
Future Directions in Role-Based Access Control Models
Ravi Sandhu
27
Secure Networked Computing
Vijay Varadharajan
28-38
Composability of Secrecy
Jan Jürjens
39-50
Agent-Based Model of Computer Network Security System: A Case Study
Vladimir I. Gorodetski, O. Karsayev, A. Khabalov, I. Kotenko and Leonard J. Popyack, et al.
51-62
Security Considerations and Models for Service Creation in Premium IP Networks
Michael Smirnov
63-71
Secure Systems Design Technology
Peter D. Zegzhda and Dmitry P. Zegzhda
72-83
A Privacy-Enhancing e-Business Model Based on Infomediaries
Dimitris Gritzalis, Konstantinos Moulinos and Konstantinos Kostis
84-89
Applying
Practical
Formal Methods to the Specification and Analysis of Security Properties
Constance Heitmeyer
90-101
Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ)
Andrey Kostogryzov
102-114
Analyzing Separation of Duties in Petri Net Workflows
Konstantin Knorr and Harald Weidner
115-126
Information Security with Formal Immune Networks
Alexander O. Tarakanov
127-142
BASIS: A Biological Approach to System Information Security
Victor A. Skormin, Jose G. Delgado-Frias, Dennis L. McGee, Joseph V. Giordano and Leonard J. Popyack, et al.
143-152
Learning Temporal Regularities of User Behavior for Anomaly Detection
Alexandr Seleznyov, Oleksiy Mazhelis and Seppo Puuronen
153-158
Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining
Harjit Singh, Steven Furnell, Benn Lines and Paul Dowland
159-177
Typed MSR: Syntax and Examples
Iliano Cervesato
178-188
TRBACN: A Temporal Authorization Model
Steve Barker
189-207
The Set and Function Approach to Modeling Authorization in Distributed Systems
Tatyana Ryutov and Clifford Neuman
207-218
Fenix Secure Operating System: Principles, Models, and Architecture
Dmitry P. Zegzhda, Pavel G. Stepanov and Alexey D. Otavin
219-229
Generalized Oblivious Transfer Protocols Based on Noisy Channels
Valeri Korjik and Kirill Morozov
230-241
Controlled Operations as a Cryptographic Primitive
Boris V. Izotov, Alexander A. Moldovyan and Nick A. Moldovyan
242-250
Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes
251-262
Dynamic Group Key Management Protocol
Ghassan Chaddoud, Isabelle Chrisment and André Schaff
263-274
SVD-Based Approach to Transparent Embedding Data into Digital Images
Vladimir I. Gorodetski, Leonard J. Popyack, Vladimir Samoilov and Victor A. Skormin
275-286
Fast Encryption Algorithm Spectr-H64
Nick D. Goots, Alexander A. Moldovyan and Nick A. Moldovyan
287-299
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols
Antonio Durante, Riccardo Focardi and Roberto Gorrieri
300-311
On Some Cryptographic Properties of Rijndael
Selçuk Kavut and Melek D. Yücel
Back matter