14. CSFW 2001:
Cape Breton, Nova Scotia, Canada
14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada.
IEEE Computer Society 2001, ISBN 0-7695-1146-5
Non-Interference & Information Flow
Access Control
Protocols I
Bruno Blanchet:
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules.
82-96
Panel
Information Flow & Multi-Threading
Geoffrey Smith:
A New Type System for Secure Information Flow.
115-125
Protocols II
Intrusion Tolerance & Detection
Panel
Logics for Protocol Verification
Secrecy & Privacy