Information Assurance in Computer Networks

Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings

  • Vladimir I. Gorodetski
  • Victor A. Skormin
  • Leonard J. Popyack
Conference proceedings MMM-ACNS 2001

DOI: 10.1007/3-540-45116-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2052)

Table of contents (29 papers)

  1. Front Matter
    Pages I-XIII
  2. Invited Talks

  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. Secure Systems Design Technology
      Peter D. Zegzhda, Dmitry P. Zegzhda
      Pages 63-71
    4. A Privacy-Enhancing e-Business Model Based on Infomediaries
      Dimitris Gritzalis, Konstantinos Moulinos, Konstantinos Kostis
      Pages 72-83
    5. 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

About these proceedings


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

Editors and affiliations

  • Vladimir I. Gorodetski
    • 1
  • Victor A. Skormin
    • 2
  • Leonard J. Popyack
    • 3
  1. 1.St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS)St. PetersburgRussia
  2. 2.Watson Schoolof EngineeringBinghamton UniversityBinghamtonUSA
  3. 3.Air Force Research LaboratoryDefensive Information Warfare BranchRomeItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42103-0
  • Online ISBN 978-3-540-45116-7
  • Series Print ISSN 0302-9743