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

By: Igor Kotenko (Editor), Vladimir Gorodetsky (Editor), Victor A. Skormin (Editor)

Write A Review

Paperback | 28 August 2007

At a Glance

Paperback
436 Pages

Dimensions(cm)
22.86 x 15.24 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Networking & Communications Network Security Operating Systems Computer Security Data Encryption Computer Hardware Network Hardware Computer Science Databases Data Mining

Invited Papers
Academia Track
Surreptitious Software: Models from Biology and History	p. 1
Characterizing Software Self-healing Systems	p. 22
Assumptions: The Trojan Horses of Secure Protocols	p. 34
Industry Track
Smart Cards and Digital Security	p. 42
Virus Throttle as Basis for ProActive Defense	p. 57
Technologies for Protection Against Insider Attacks on Computer Systems	p. 75
Authentication, Authorization and Access Control
Full Papers
Access Control and Declassification	p. 85
Reasoning About Delegation and Account Access in Retail Payment Systems	p. 99
Performance Evaluation of Keyless Authentication Based on Noisy Channel	p. 115
Avoiding Key Redistribution in Key Assignment Schemes	p. 127
Short Papers
Fern: An Updatable Authenticated Dictionary Suitable for Distributed Caching	p. 141
Class of Provably Secure Information Authentication Systems	p. 147
A New Modeling Paradigm for Dynamic Authorization in Multi-domain Systems	p. 153
Language-Based Security, Trust Management and Covert Channels
Full Papers
Synthesis of Non-Interferent Distributed Systems	p. 159
Privacy-Preserving Credential Verification for Non-monotonic Trust Management Systems	p. 171
Covert Channel Invisibility Theorem	p. 187
Security Verification and Evaluation
Full Papers
Policy-Based Proactive Monitoring of Security Policy Performance	p. 197
Comparing Electronic Battlefields: Using Mean Time-To-Compromise as a Comparative Security Metric	p. 213
Abstraction Based Verification of a Parameterised Policy Controlled System	p. 228
Short Papers
Algebraic Models to Detect and Solve Policy Conflicts	p. 242
Event Calculus Based Checking of Filtering Policies	p. 248
A New Approach to Security Evaluation of Operating Systems	p. 254
Intrusion Detection and Prevention
Full Papers
Multi-agent Peer-to-Peer Intrusion Detection	p. 260
An Interval Temporal Logic-Based Matching Framework for Finding Occurrences of Multi-event Attack Signatures	p. 272
Towards Fully Automatic Defense Mechanism for a Computer Network Emulating Active Immune Response	p. 286
Mathematical Models of Intrusion Detection by an Intelligent Immunochip	p. 308
A Novel Intrusion Detection System for a Local Computer Network	p. 320
Short Papers
Investigation of the Effectiveness of Alert Correlation Methods in a Policy-Based Security Framework	p. 334
Host-Based Intrusion Detection System: Model and Design Features	p. 340
Network Survivability and Privacy
Full Papers
Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics	p. 346
Fast Service Restoration Under Shared Protection at Lightpath Level in Survivable WDM Mesh Grooming Networks	p. 362
Anycast Communication - A New Approach to Survivability of Connection-Oriented Networks	p. 378
Short Papers
Privacy Preserving Context Transfer in All-IP Networks	p. 390
Environment-Aware Trusted Data Delivery in Multipath Wireless Protocols	p. 396
Watermarking
Short Papers
A Spatial Watermarking Algorithm for Video Images	p. 402
Watermarking Software to Signal Copy Protection	p. 408
Author Index	p. 415
Table of Contents provided by Ingram. All Rights Reserved.

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Network Security

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Grey Area

Dark Web Data Collection and the Future of OSINT

Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I

Dark Wire

The Incredible True Story of the Largest Sting Operation Ever

Cybersecurity All-in-One For Dummies

For Dummies

Password Logbook (Hip Floral)

Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location

Keanu Reeves Is Not In Love With You

The Murky World of Online Romance Fraud

CompTIA A+ Complete Study Guide, 2-Volume Set

Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202

Hacking For Dummies

For Dummies (Computer/Tech)

Crafting an Information Security Playbook

Network Security Essentials 6ed

Applications and Standards, Global Edition

Cryptography and Network Security

8th Edition - Principles and Practice, Global Edition

Tech-Smart Parenting

How to keep your kids happy and safe online

Threat Modeling

A Practical Guide for Development Teams

The Web Application Hacker's Handbook

Finding and Exploiting Security Flaws 2E

Container Security

Fundamental Technology Concepts That Protect Containerized Applications

CompTIA Security+ Certification Kit

7th Edition - Exam SY0-701

Linux Basics for Hackers, 2nd Edition

Getting Started with Networking, Scripting, and Security in Kali

Theory of Cryptography

23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part II

Comprehensive Primer on Privacy Management

Five-Book Bundle

AI Forensics

Investigation and Analysis of Artificial Intelligence Systems

CyberSentinel+

An Advanced Hybrid Honeypot Intrusion Detection System Augmented with Big Data Analytics and Machine Learning Intelligence

Beyond The Invisible Nexus

Dark Web, Dark AI and Offensive Security

This product is categorised by