Title 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 Skormin (eds.)

Published Berlin ; New York : Springer, ©2007

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (xiv, 416 pages) : illustrations Series Communications in computer and information science ; 1 Communications in computer and information science ; 1. Contents Invited Papers -- Surreptitious Software: Models from Biology and History -- Characterizing Software Self-healing Systems -- Assumptions: The Trojan Horses of Secure Protocols -- Smart Cards and Digital Security -- Virus Throttle as Basis for ProActive Defense -- Technologies for Protection Against Insider Attacks on Computer Systems -- Authentication, Authorization and Access Control -- Access Control and Declassification -- Reasoning About Delegation and Account Access in Retail Payment Systems -- Performance Evaluation of Keyless Authentication Based on Noisy Channel -- Avoiding Key Redistribution in Key Assignment Schemes -- Fern: An Updatable Authenticated Dictionary Suitable for Distributed Caching -- Class of Provably Secure Information Authentication Systems -- A New Modeling Paradigm for Dynamic Authorization in Multi-domain Systems -- Language-Based Security, Trust Management and Covert Channels -- Synthesis of Non-interferent Distributed Systems -- Privacy-Preserving Credential Verification for Non-monotonic Trust Management Systems -- Covert Channel Invisibility Theorem -- Security Verification and Evaluation -- Policy-Based Proactive Monitoring of Security Policy Performance -- Comparing Electronic Battlefields: Using Mean Time-To-Compromise as a Comparative Security Metric -- Abstraction Based Verification of a Parameterised Policy Controlled System -- Algebraic Models to Detect and Solve Policy Conflicts -- Event Calcululus Based Checking of Filtering Policies -- A New Approach to Security Evaluation of Operating Systems -- Intrusion Detection and Prevention -- Multi-agent Peer-to-Peer Intrusion Detection -- An Interval Temporal Logic-Based Matching Framework for Finding Occurrences of Multi-event Attack Signatures -- Towards Fully Automatic Defense Mechanism for a Computer Network Emulating Active Immune Response -- Mathematical Models of Intrusion Detection by an Intelligent Immunochip -- A Novel Intrusion Detection System for a Local Computer Network -- Investigation of the Effectiveness of Alert Correlation Methods in a Policy-Based Security Framework -- Host-Based Intrusion Detection System: Model and Design Features -- Network Survivability and Privacy -- Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics -- Fast Service Restoration Under Shared Protection at Lightpath Level in Survivable WDM Mesh Grooming Networks -- Anycast Communication--A New Approach to Survivability of Connection-Oriented Networks -- Privacy Preserving Context Transfer in All-IP Networks -- Environment-A ware Trusted Data Delivery in Multipath Wireless Protocols -- Watermarking -- A Spatial Watermarking Algorithm for Video Images -- Watermarking Software to Signal Copy Protection Summary 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) Bibliography Includes bibliographical references and index Notes English Print version record Subject Computer security -- Congresses Computer networks -- Security measures -- Congresses COMPUTERS -- Internet -- Security. COMPUTERS -- Networking -- Security. COMPUTERS -- Security -- General. Computer networks -- Security measures. Computer security. Informatique. Computer networks -- Security measures Computer security Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Gorodetski, Vladimir I., 1937- Kotenko, Igor. Skormin, Victor A., 1946- ISBN 9783540739869 3540739866 3540739858 9783540739852 1281117234 9781281117236 9786611117238 6611117237 9788354073987 835407398X

  Permalink