14th IEEE Computer Security Foundations Workshop

June 11-13, 2001

Cape Breton, Nova Scotia

Sponsored by the IEEE Computer Society

Technical Program

SUNDAY June 10, 2001

6:30 - 7:30 Reception and Registration

MONDAY June 11, 2001

8:45 - 9:00 Welcome
Iliano Cervesato (Naval Research Laboratory), General Chair
Steve Schneider (Royal Holloway, University of London), Program Chair
9:00 - 10:00 Noninterference and Information Flow
Session Chair: John McLean

Noninterference Equations for Nondeterminsitic Systems
Sylvan Pinsky and Edward Zieglar (NSA)

Robust Declassification
Steve Zdancewic and Andrew C. Myers (Cornell University)

10:00 - 10:30 Break
10:30 - 12:00 Access Control
Session Chair: Ravi Sandhu

A state-transition model of trust management and access control
Ajay Chander (Stanford), Drew Dean (Xerox PARC), and John C. Mitchell (Stanford)

Revocations - a Classification
Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, and Duminda Wijesekera (George Mason University)

A Logical Reconstruction of SPKI
Joseph Y. Halpern (Cornell) and Ron van der Meyden (University of New South Wales)

12:00 - 2:00 Lunch
2:00 - 3:30 Protocols I
Session Chair: Gavin Lowe

A Security Analysis of the Cliques Protocols Suites
Olivier Pereira and Jean-Jacques Quisquater (Louvain University)

An Efficient Protocol Verifier Based on Prolog Rules
Bruno Blanchet (INRIA)

Proving Secrecy is Easy Enough
Veronique Cortier (ENS Cachan), Jon Millen, and Harald Ruess (SRI)

3:30 - 4:00 Break
4:00 - 5:15 Panel: Relating Cryptography and Cryptographic Protocols
Panel Chair: Andre Scedrov (University of Pennsylvania)
Martin Abadi (Intertrust)
Ran Canetti (IBM Yorktown)
Joshua Guttman (MITRE)
David Wagner (University of California, Berkeley)
5:30 - 8:00 Whale watching excursion

TUESDAY June 12, 2001

9:00 - 10:00 Information Flow and Multi-threading
Session Chair: Riccardo Focardi

A New Type System for Secure Information Flow
Geoffrey Smith (Florida International University)

A Generic Approach to the Security of Multi-threaded Programs
Heiko Mantel (German Research Centre for AI) and Andrei Sabelfeld (Chalmers University)

10:00 - 10:30 Break
10:30 - 12:00 Protocols II
Session Chair: Andre Scedrov

Authenticity by Typing for Security Protocols
Andrew D. Gordon (Microsoft Research UK) and Alan Jeffrey (DePaul University)

Computing Symbolic Models for Verifying Cryptographic Protocols
Marcelo Fiore (Cambridge) and Martin Abadi (Bell Labs Research)

Protocol Insecurity with Finite Number of Sessions is NP-complete
Michael Rusinowitch and Mathieu Turuani (INRIA)

12:00 - 2:00 Lunch
2:00 - 3:30 Intrusion Tolerance and Detection
Session Chair: Dieter Gollmann

Multi-phase Damage Confinement in Database Systems for Intrusion Tolerance
Peng Liu (University of Maryland) and Sushil Jajodia (George Mason University)

Markov Chains, Classifiers, and Intrusion Detection
Somesh Jha (University of Wisconsin), Kymie Tan, and Roy A Maxion (CMU)

Log Auditing through Model-Checking
Jean Goubault-Larrecq and Muriel Roger (INRIA and ENS Cachan)

3:30 - 4:00 Break
4:00 - 5:00 Panel: Non-interference: who needs it?
Panel Chair: Peter Ryan (Carnegie Mellon University)
Jon Millen (SRI)
John McLean (NRL)
Virgil Gligor (University of Maryland)
5:30 - 6:00 Business Meeting

WEDNESDAY June 13, 2001

9:00 - 10:00 Logics for Protocol Verification
Session Chair: Fabio Martinelli

A Compositional Logic for Protocol Correctness
Nancy Durgin, John C. Mitchell, (Stanford) and Dusko Pavlovic (Kestrel Institute)

Logical Relations for Encryption
Eijiro Sumii (University of Tokyo) and Benjamin C. Pierce (University of Pennsylvania)

10:00 - 10:30 Break
10:30 - 12:00 Secrecy and Privacy
Session Chair: Rebecca Wright

Privacy-preserving Cooperative Scientific Computations
Wenliang Du and Mikhail J. Atallah (Purdue University)

Confined Mobile Functions
Z. Dilsun Kirli (University of Edinburgh)

Confidentiality-preserving Refinement
Maritta Heisel (TU Magdeburg), Andreas Pfitzmann (TU Dresden), and Thomas Santen (University of Berlin)

12:00 - 12:15 Closing remarks. Presentation of Croquet Awards