Proceedings. The Computer Security Foundations Workshop III (Cat. No.TH0315-2)

摘要

The following topics are dealt with: logic and protocol analysis; models of information flow; information flow in abstract machines; modeling new properties; covert channel detection; and database security.