Skip to main content
SpringerLink
Log in
Book cover

Computer Network Security

Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Vladimir Gorodetsky

    1. St. Petersburg Intitute for Informaticsand Automation, St. Petersburg, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leonard Popyack

    1. AFRL/IF, Rome, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Victor Skormin

    1. US Air Force, Binghamton University (SUNYI), Binghamton, USA

    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 2776)

Included in the following conference series:

Conference proceedings info: MMM-ACNS 2003.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Table of contents (47 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. ForNet: A Distributed Forensics Network

      • Kulesh Shanmugasundaram, Nasir Memon, Anubhav Savant, Herve Bronnimann
      Pages 1-16

    2. Usage Control: A Vision for Next Generation Access Control

      • Ravi Sandhu, Jaehong Park
      Pages 17-31

    3. Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL

      • Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin
      Pages 32-46

    4. Complexity Problems in the Analysis of Information Systems Security

      • A. Slissenko
      Pages 47-56

    5. A Behavior-Based Approach to Securing Email Systems

      • Salvatore J. Stolfo, Shlomo Hershkop, Ke Wang, Olivier Nimeskern, Chia-Wei Hu
      Pages 57-81

    6. Real-Time Intrusion Detection with Emphasis on Insider Attacks

      • Shambhu Upadhyaya
      Pages 82-85

  3. Mathematical Models and Architectures for Computer Network Security

    1. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols

      • Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
      Pages 86-99

    2. GRID Security Review

      • Lazaros Gymnopoulos, Stelios Dritsas, Stefanos Gritzalis, Costas Lambrinoudakis
      Pages 100-111

    3. A Knowledge-Based Repository Model for Security Policies Management

      • Spyros Kokolakis, Costas Lambrinoudakis, Dimitris Gritzalis
      Pages 112-121

    4. Symbolic Partial Model Checking for Security Analysis

      • Fabio Martinelli
      Pages 122-134

    5. Rule-Based Systems Security Model

      • Michael Smirnov
      Pages 135-146

    6. Logical Resolving for Security Evaluation

      • Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin
      Pages 147-156

  4. Intrusion Detection

    1. Enhanced Correlation in an Intrusion Detection Process

      • Salem Benferhat, Fabien Autrel, Frédéric Cuppens
      Pages 157-170

    2. Safeguarding SCADA Systems with Anomaly Detection

      • John Bigham, David Gamez, Ning Lu
      Pages 171-182

    3. Experiments with Simulation of Attacks against Computer Networks

      • I. Kotenko, E. Man’kov
      Pages 183-194

    4. Detecting Malicious Codes by the Presence of Their “Gene of Self-replication”

      • Victor A. Skormin, Douglas H. Summerville, James S. Moronski
      Pages 195-205

    5. Automatic Generation of Finite State Automata for Detecting Intrusions Using System Call Sequences

      • Kyubum Wee, Byungeun Moon
      Pages 206-216

  5. Public Key Distribution, Authentication, Access Control

    1. Distributed Access Control: A Logic-Based Approach

      • Steve Barker
      Pages 217-228

    2. Advanced Certificate Status Protocol

      • Dae Hyun Yum, Jae Eun Kang, Pil Joong Lee
      Pages 229-240
Back to top

Other volumes

  1. Computer Network Security

Keywords

Editors and Affiliations

  • St. Petersburg Intitute for Informaticsand Automation, St. Petersburg, Russia

    Vladimir Gorodetsky

  • AFRL/IF, Rome, USA

    Leonard Popyack

  • US Air Force, Binghamton University (SUNYI), Binghamton, USA

    Victor Skormin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation