dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 © Mon Nov 2 20:27:23 2009 by Michael Ley (ley@uni-trier.de)