© 2007

Computer Network Security

Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

  • Vladimir Gorodetsky
  • Igor Kotenko
  • Victor A. Skormin
Conference proceedings MMM-ACNS 2007

Part of the Communications in Computer and Information Science book series (CCIS, volume 1)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Papers

    1. Academia Track

      1. Christian Collberg, Jasvir Nagra, Fei-Yue Wang
        Pages 1-21
      2. Angelos D. Keromytis
        Pages 22-33
    2. Industry Track

  3. Authentication, Authorization and Access Control

    1. Full Papers

      1. Gérard Boudol, Marija Kolundžija
        Pages 85-98
      2. Valery Korzhik, Viktor Yakovlev, Guillermo Morales-Luna, Roman Chesnokov
        Pages 115-126
      3. Harry Rowe, Jason Crampton
        Pages 127-140
    2. Short Papers

      1. E. Freudenthal, D. Herrera, S. Gutstein, R. Spring, L. Longpré
        Pages 141-146
      2. N.A. Moldovyan, A.A. Moldovyan
        Pages 147-152
  4. Language-Based Security, Trust Management and Covert Channels

    1. Full Papers

      1. Franck Cassez, John Mullins, Olivier H. Roux
        Pages 159-170
      2. Changyu Dong, Giovanni Russello, Naranker Dulay
        Pages 171-186
      3. Alexander Grusho, Nick Grebnev, Elena Timonina
        Pages 187-196
  5. Security Verification and Evaluation

    1. Full Papers

About these proceedings


This volume contains papers presented at the Fourth International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2007) held in St. Petersburg, Russia, during September 13–15, 2007. The workshop was organized by the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with Binghamton University (SUNY, USA). The organizers are proud that the MMM-ACNS workshops hosted by the St. Petersburg Institute for Informatics and Automation in 2001, 2003 and 2005 evolved into a bi-annual series recognized in the professional community. These events not only demonstrated the keen interest of the participating researchers in the subject matter and the opportunity to present and disseminate individual achievements, but also promoted the spirit of cooperation, camaraderie, free exchange of ideas, and intellectually stimulating interaction between colleagues. Again, MMM-ACNS 2007 provided an international forum for sharing or- inal research results among specialists in fundamental and applied problems of computer network security. An important distinction of the conference was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly - pendable computer networks. A total of 56 papers from 18 countries related to signi?cant aspects of both theory and applications ofcomputer networkand informationsecurity weres- mitted to MMM-ACNS 2007. In total, 18 papers were selected for regular p- sentationsand 12 for short presentations(32 % of acceptance for full papers and 53 % for all papers).


DOM Smart Card access control algorithms architecture authentication authorizati data mining data security deception systems network security networks organization pervasive and ubiquitous computing security

Editors and affiliations

  • Vladimir Gorodetsky
    • 1
  • Igor Kotenko
    • 1
  • Victor A. Skormin
    • 2
  1. 1.St. Petersburg Institute for Informatics and AutomationSt. PetersburgRussia
  2. 2.US Air ForceBinghamton University (SUNY)BinghamtonUSA

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences