20th IEEE Computer Security Foundations Symposium-Title
2007
The following topics are dealt with: authorization; multilayer protocols and key conjuring; protocols and cryptographic foundations; secure implementation; information flow; privacy; vulnerability analysis and information-theoretic security; security protocol analysis.