18. CSFW 2005:
Aix-en-Provence,
France
18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France.
IEEE Computer Society 2005, ISBN 0-7695-2340-4 BibTeX
Introduction
Session 1:
Information Flow and Security Goals
Session 2:
Logic and Knowledge for Protocols
Session 3:
Protocol Case Studies
Session 5:
Protocol Verification Techniques
Session 6:
Computational and Formal Models
Session 7:
Access Control and Languages
Session 9:
Declassification
Session 10:
Availability and Denial of Service
Copyright © Sat May 16 23:04:11 2009
by Michael Ley (ley@uni-trier.de)
