Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Vladimir I. Gorodetski

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Victor A. Skormin

    1. Watson Schoolof Engineering, Binghamton University, Binghamton, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Leonard J. Popyack

    1. Air Force Research Laboratory, Defensive Information Warfare Branch, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (29 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter 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
Back to top

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation