Computer Network Security

Computer network security is approached here as both a mathematical discipline and an applied engineering challenge. Edited proceedings from MMM-ACNS 2005, this volume brings together research on how security properties can be modeled, analyzed, and applied across networks, systems, and protocols.

The papers reflect a broad technical program: from security protocols and access control to information flow, vulnerability assessment, and intrusion detection. Published in 2005, the collection offers a research-era view of the questions and methods engaging the international security community at that time.

Security through models, protocols, and analysis

One major strand examines the structures used to reason about secure networked systems. Topics include mathematical models and architectures, security-protocol analysis, entropy in computer networks, and secure combinations of IPsec, NAT, and DHCP. Other contributions consider autonomic communication and information-systems security management.

Access, information flow, and trust

Several sections turn to who can access information, how information moves, and how trust is represented. Papers address authentication, authorization, temporal constraints in access control, role-based access control, digital pseudonyms, covert channels, and methods for detecting or analyzing prohibited information flows.

From vulnerabilities to intrusion detection

The proceedings also explore practical security concerns, including vulnerability analysis, active-worm defense, run-time detection of self-replicating code, security policy, operating-system security, network forensics, and intrusion detection. Together, these themes connect formal reasoning with the challenges of protecting real computer systems.

A research proceedings volume for security specialists

With contributions organized around the workshop’s technical themes, this collection is suited to researchers, graduate students, and practitioners seeking scholarly work on the foundations and applications of computer and network security. Its 2005 publication date is important context: readers can use it to examine the field’s research concerns and approaches at that point in its development.