The Community for Technology Leaders
RSS Icon
Subscribe
Computer Security Foundations Workshop, IEEE (2005)
Aix-en-Provence, France
June 20, 2005 to June 22, 2005
ISBN: 0-7695-2340-4
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. vii
Committees (PDF)
pp. viii
Session 1: Information Flow and Security Goals
Peng Li , University of Pennsylvania
Steve Zdancewic , University of Pennsylvania
pp. 2-15
William L. Harrison , University of Missouri
James Hook , Portland State University
pp. 16-30
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
Iliano Cervesato , Tulane University
Catherine Meadows , Naval Research Laboratory
Dusko Pavlovic , Kestrel Institute
pp. 48-61
Martín Abadi , University of California at Santa Cruz
Véronique Cortier , Loria, INRIA & CNRS
pp. 62-76
Session 3: Protocol Case Studies
Michael Backes , IBM Zurich Research Laboratory
Markus Dürmuth , IAKS, Arbeitsgruppe
pp. 78-93
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
Rob Delicata , University of Surrey
Steve Schneider , University of Surrey
pp. 126-139
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
Frédéric Cuppens , GET/ENST-Bretagne
Nora Cuppens-Boulahia , GET/ENST-Bretagne
Thierry Sans , GET/ENST-Bretagne
pp. 186-196
Tian Zhao , University of Wisconsin - Milwaukee
John Boyland , University of Wisconsin - Milwaukee
pp. 197-210
Massimo Bartoletti , Università di Pisa
Pierpaolo Degano , Università di Pisa
Gian Luigi Ferrari , Università di Pisa
pp. 211-223
Session 9: Declassification
Stephen Chong , Cornell University
Andrew C. Myers , Cornell University
pp. 241-254
Andrei Sabelfeld , Chalmers
David Sands , Chalmers
pp. 255-269
Session 10: Availability and Denial of Service
Lantian Zheng , Cornell University
Andrew C. Myers , Cornell University
pp. 272-286
Ajay Mahimkar , University of Texas at Austin
Vitaly Shmatikov , University of Texas at Austin
pp. 287-301
Author Index
Author Index (PDF)
pp. 302
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool