• C
  • CSFW
  • 2005
  • 18th IEEE Computer Security Foundations Workshop (CSFW'05)
Advanced Search 
18th IEEE Computer Security Foundations Workshop (CSFW'05)
Aix-en-Provence, France
June 20-June 22
ISBN: 0-7695-2340-4
Table of Contents
Introduction
Session 1: Information Flow and Security Goals
Michael R. Clarkson, Cornell University
Andrew C. Myers, Cornell University
Fred B. Schneider, Cornell University
pp. 31-45
Session 2: Logic and Knowledge for Protocols
Session 3: Protocol Case Studies
Michael Backes, IBM Zürich Research Lab
Anupam Datta, Stanford University
Ante Derek, Stanford University
John C. Mitchell, Stanford University
Mathieu Turuani, LORIA-INRIA Nancy
pp. 94-110
Session 5: Protocol Verification Techniques
Michele Bugliesi, Universit? Ca?Foscari di Venezia
Riccardo Focardi, Universit? Ca?Foscari di Venezia
Matteo Maffei, Universit? Ca?Foscari di Venezia
pp. 112-125
Xavier Allamigeon, École Polytechnique and Corps des Télécommunications
Bruno Blanchet, École Normale Supérieure
pp. 140-154
Session 6: Computational and Formal Models
Dennis Hofheinz, Universität Karlsruhe
Jörn Müller-Quade, Universität Karlsruhe
Dominique Unruh, Universität Karlsruhe
pp. 156-169
Pedro Adão, Center for Logic and Computation - IST
Gergei Bana, University of Pennsylvania
Andre Scedrov, University of Pennsylvania
pp. 170-184
Session 7: Access Control and Languages
Tian Zhao, University of Wisconsin - Milwaukee
John Boyland, University of Wisconsin - Milwaukee
pp. 197-210
Session 9: Declassification
Session 10: Availability and Denial of Service
Author Index
Usage of this product signifies your acceptance of the Terms of Use.