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
pp. 2-15
Andrew C. Myers , Cornell University
Michael R. Clarkson , Cornell University
pp. 31-45
Session 2: Logic and Knowledge for Protocols
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
Anupam Datta , Stanford University
Ante Derek , Stanford University
John C. Mitchell , Stanford University
Michael Backes , IBM Zürich Research Lab
pp. 94-110
Session 5: Protocol Verification Techniques
Riccardo Focardi , Universit? Ca?Foscari di Venezia
Michele Bugliesi , 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
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
Andre Scedrov , University of Pennsylvania
pp. 170-184
Session 7: Access Control and Languages
Nora Cuppens-Boulahia , GET/ENST-Bretagne
Frédéric Cuppens , GET/ENST-Bretagne
pp. 186-196
Tian Zhao , University of Wisconsin - Milwaukee
John Boyland , University of Wisconsin - Milwaukee
pp. 197-210
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
Session 10: Availability and Denial of Service
Lantian Zheng , Cornell University
pp. 272-286
Ajay Mahimkar , University of Texas at Austin
pp. 287-301
Author Index
Author Index (PDF)
pp. 302
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool