19th IEEE Computer Security Foundations Workshop - Title
2006
The following topics are dealt with: information flow; computer games; access control; security protocol analysis; programming language; obfuscation; system robustness; authorization; trust; and cryptographic foundations