The Community for Technology Leaders
RSS Icon
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
Preface (PDF)
pp. vii
pp. viii
Non-Interference & Information Flow
Sylvan Pinsky , National Security Agency
Edward Zieglar , National Security Agency
pp. 0003
Steve Zdancewic , Cornell University
Andrew C. Myers , Cornell University
pp. 15
Access Control
Ajay Chander , Stanford University
John C. Mitchell , Stanford University
Drew Dean , Xerox PARC
pp. 0027
Åsa Hagström , George Mason University
Sushil Jajodia , George Mason University
Francesco Parisi-Presicce , 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
Olivier Pereira , UCL Crypto Group
Jean-Jacques Quisquater , UCL Crypto Group
pp. 0073
Véronique Cortier , Ecole Normale Sup?rieure de Cachan
Jon Millen , SRI International
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
Andrei Sabelfeld , Chalmers University of Technology
pp. 0126
Protocols II
Andrew D. Gordon , Microsoft Research
Alan Jeffrey , DePaul University
pp. 0145
Marcelo Fiore , University of Cambridge
MartÍn Abadi , Lucent Technologies
pp. 0160
Michaël Rusinowitch , LORIA-INRIA- Universit? Henri Poincar?
Mathieu Turuani , LORIA-INRIA- Universit? Henri Poincar?
pp. 0174
Intrusion Tolerance & Detection
S. Jha , University of Wisconsin
K. Tan , Carnegie Mellon University
R.A. Maxion , Carnegie Mellon University
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
John Mitchell , Stanford University
Dusko Pavlovic , Stanford University
pp. 0241
Eijiro Sumii , University of Tokyo
Benjamin C. Pierce , University of Pennsylvania
pp. 0256
Secrecy & Privacy
Wenliang Du , Purdue University
Mikhail J. Atallah , Purdue University
pp. 0273
Maritta Heisel , Universit?t Magdeburg
Andreas Pfitzmann , Technische Universit?t Dresden
Thomas Santen , Technische Universit?t Berlin
pp. 0295
Author Index (PDF)
pp. 0307
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool