Computer Security Foundations Workshop (CSFW-13 2000)

This proceedings volume from the July 2000 workshop for researchers in computer security covers a variety of theories and models of security, techniques for verifying security, and new developments in the field.

Presentation topics include: optimizing protocol rewrite rules of CIL specifications, an