The Community for Technology Leaders
Computer Security Foundations Workshop, IEEE (2001)
Cape Breton, Novia Scotia, Canada
June 11, 2001 to June 13, 2001
ISBN: 0-7695-1146-5
TABLE OF CONTENTS

Preface (PDF)

pp. vii
Non-Interference & Information Flow

Noninterference Equations for Nondeterministic Systems (Abstract)

Sylvan Pinsky , National Security Agency
Edward Zieglar , National Security Agency
pp. 0003

Robust Declassification (Abstract)

Andrew C. Myers , Cornell University
Steve Zdancewic , Cornell University
pp. 15
Access Control

A State-Transition Model of Trust Management and Access Control (Abstract)

Ajay Chander , Stanford University
John C. Mitchell , Stanford University
Drew Dean , Xerox PARC
pp. 0027

Revocations-A Classification (Abstract)

Duminda Wijesekera , George Mason University
Francesco Parisi-Presicce , George Mason University
Åsa Hagström , George Mason University
Sushil Jajodia , George Mason University
pp. 0044

A Logical Reconstruction of SPKI (Abstract)

Joseph Y. Halpern , Cornell University
Ron Van der Meyden , University of New South Wales
pp. 0059
Protocols I

Proving Secrecy is Easy Enough (Abstract)

Jon Millen , SRI International
Véronique Cortier , Ecole Normale Sup?rieure de Cachan
Harald Rueß , SRI International
pp. 0097
Panel
Information Flow & Multi-Threading

A New Type System for Secure Information Flow (Abstract)

Geoffrey Smith , Florida International University
pp. 0115

A Generic Approach to the Security of Multi-Threaded Programs (Abstract)

Andrei Sabelfeld , Chalmers University of Technology
Heiko Mantel , German Research Center for Artificial Intelligence
pp. 0126
Protocols II

Authenticity by Typing for Security Protocols (Abstract)

Alan Jeffrey , DePaul University
Andrew D. Gordon , Microsoft Research
pp. 0145

Computing Symbolic Models for Verifying Cryptographic Protocols (Abstract)

MartÍn Abadi , Lucent Technologies
Marcelo Fiore , University of Cambridge
pp. 0160

Protocol Insecurity with Finite Number of Sessions is NP-Complete (Abstract)

Michaël Rusinowitch , LORIA-INRIA- Universit? Henri Poincar?
Mathieu Turuani , LORIA-INRIA- Universit? Henri Poincar?
pp. 0174
Intrusion Tolerance & Detection

Markov Chains, Classifiers, and Intrusion Detection (Abstract)

R.A. Maxion , Carnegie Mellon University
K. Tan , Carnegie Mellon University
S. Jha , University of Wisconsin
pp. 0206

Log Auditing through Model-Checking (Abstract)

Muriel Roger , GIE Dyade, INRIA Rocquencourt and LSV, ENS Cachan
Jean Goubault-Larrecq , GIE Dyade, INRIA Rocquencourt and LSV, ENS Cachan
pp. 0220
Panel
Logics for Protocol Verification

A Compositional Logic for Protocol Correctness (Abstract)

John Mitchell , Stanford University
Nancy Durgin , Stanford University
Dusko Pavlovic , Stanford University
pp. 0241

Logical Relations for Encryption (Abstract)

Eijiro Sumii , University of Tokyo
Benjamin C. Pierce , University of Pennsylvania
pp. 0256
Secrecy & Privacy

Privacy-Preserving Cooperative Scientific Computations (Abstract)

Wenliang Du , Purdue University
Mikhail J. Atallah , Purdue University
pp. 0273

Confidentiality-Preserving Refinement (Abstract)

Andreas Pfitzmann , Technische Universit?t Dresden
Maritta Heisel , Universit?t Magdeburg
Thomas Santen , Technische Universit?t Berlin
pp. 0295

Author Index (PDF)

pp. 0307
84 ms
(Ver )