Subscribe
Proceedings 14th IEEE Computer Security Foundations Workshop, 2001. (2001)
Cape Breton, Novia Scotia, Canada
June 11, 2001 to June 13, 2001
ISBN: 0-7695-1147-3
TABLE OF CONTENTS
pp. vii
Non-Interference & Information Flow
Sylvan Pinsky , National Security Agency
Edward Zieglar , National Security Agency
pp. 0003
Steve Zdancewic , Cornell University
pp. 15
Access Control
Ajay Chander , Stanford University
John C. Mitchell , Stanford University
Drew Dean , Xerox PARC
pp. 0027
Sushil Jajodia , George Mason University
Åsa Hagström , George Mason University
Duminda Wijesekera , George Mason University
pp. 0044
Joseph Y. Halpern , Cornell University
Ron Van der Meyden , University of New South Wales
pp. 0059
Protocols I
Véronique Cortier , Ecole Normale Sup?rieure de Cachan
Harald Rueß , SRI International
pp. 0097
Panel
Information Flow & Multi-Threading
Geoffrey Smith , Florida International University
pp. 0115
Heiko Mantel , German Research Center for Artificial Intelligence
pp. 0126
Protocols II
Michaël Rusinowitch , LORIA-INRIA- Universit? Henri Poincar?
Mathieu Turuani , LORIA-INRIA- Universit? Henri Poincar?
pp. 0174
Intrusion Tolerance & Detection
K. Tan , Carnegie Mellon University
S. Jha , University of Wisconsin
pp. 0206
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
Nancy Durgin , Stanford University
Dusko Pavlovic , Stanford University
pp. 0241
Eijiro Sumii , University of Tokyo
Benjamin C. Pierce , University of Pennsylvania
pp. 0256
Secrecy & Privacy
Maritta Heisel , Universit?t Magdeburg
Thomas Santen , Technische Universit?t Berlin
pp. 0295