Proceedings. 18th IEEE Computer Security
2005
The following topics are dealt with: information flow and security goals; logic and knowledge for protocols; protocol case study; protocol verification techniques; computational and formal models; access control and languages; declassification; and availability and denial of services.