
The purpose of the annual Computer Security Foundations Workshop is to bring together researchers to explore fundamental issues in computer security. The emphasis is on formal models that provide a framework for theories of security, and techniques for verifying security as defined...