15. CSFW 2002: Cape Breton, Nova Scotia, Canada

Information Flow I

Intrusion

Protocols I

Applications of Model-Checking

Protocols II

Games

Language-Based Security

Distributed Rights, Access Control, and Watermarking

Information Flow II