Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security

1. Front Matter

   Pages I-XIII

   PDF

2. Invited Talks

   1. An Intelligent Decision Support System for Intrusion Detection and Response

      • Dipankar Dasgupta, Fabio A. Gonzalez

      Pages 1-14

   2. Mathematical Models of the Covert Channels

      • Alexander Grusho

      Pages 15-20

   3. Open Issues in Formal Methods for Cryptographic Protocol Analysis

      • Catherine Meadows

      Pages 21-21

   4. Future Directions in Role-Based Access Control Models

      • Ravi Sandhu

      Pages 22-26

   5. Secure Networked Computing

      • Vijay Varadharajan

      Pages 27-27

3. Network Security Systems: Foundations, Models, and Architectures

   1. Composability of Secrecy

      • Jan Jürjens

      Pages 28-38

   2. Agent-Based Model of Computer Network Security System: A Case Study

      • Vladimir I. Gorodetski, O. Karsayev, A. Khabalov, I. Kotenko, Leonard J. Popyack, Victor Skormin

      Pages 39-50

   3. Security Considerations and Models for Service Creation in Premium IP Networks

      • Michael Smirnov

      Pages 51-62

   4. Secure Systems Design Technology

      • Peter D. Zegzhda, Dmitry P. Zegzhda

      Pages 63-71

   5. A Privacy-Enhancing e-Business Model Based on Infomediaries

      • Dimitris Gritzalis, Konstantinos Moulinos, Konstantinos Kostis

      Pages 72-83

   6. Applying Practical Formal Methods to the Specification and Analysis of Security Properties

      • Constance Heitmeyer

      Pages 84-89

   7. Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ)

      • Andrey Kostogryzov

      Pages 90-101

   8. Analyzing Separation of Duties in Petri Net Workflows

      • Konstantin Knorr, Harald Weidner

      Pages 102-114

4. Intrusion Detection: Foundations and Models

   1. Information Security with Formal Immune Networks

      • Alexander O. Tarakanov

      Pages 115-126

   2. BASIS: A Biological Approach to System Information Security

      • Victor A. Skormin, Jose G. Delgado-Frias, Dennis L. McGee, Joseph V. Giordano, Leonard J. Popyack, Vladimir I. Gorodetski et al.

      Pages 127-142

   3. Learning Temporal Regularities of User Behavior for Anomaly Detection

      • Alexandr Seleznyov, Oleksiy Mazhelis, Seppo Puuronen

      Pages 143-152

   4. Investigating and Evaluating Behavioural Profiling and Intrusion Detection Using Data Mining

      • Harjit Singh, Steven Furnell, Benn Lines, Paul Dowland

      Pages 153-158

5. Access Control, Authentication, and Authorization

   1. Typed MSR: Syntax and Examples

      • Iliano Cervesato

      Pages 159-177

   2. TRBACN: A Temporal Authorization Model

      • Steve Barker

      Pages 178-188

This book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in May 2001.
The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods.

• Access Control
• Authentication
• Crytpography
• Data Security
• Information Security
• Network Security
• Secure Communications
• Secure Networking
• Security Systems
• Steganography
• Systems Security
• computer network
• cryptography
• information
• security

• St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS), St. Petersburg, Russia

  Vladimir I. Gorodetski

• Watson Schoolof Engineering, Binghamton University, Binghamton, USA

  Victor A. Skormin

• Air Force Research Laboratory, Defensive Information Warfare Branch, Rome, Italy

  Leonard J. Popyack

Policies and ethics