Proceedings 16th IEEE Computer Security Foundations Workshop
2003
The following topics are discussed: information flow; protocols; logics for anonymity and distributed system security; access control; authorization and security policies; and computational analysis of security protocols.