• C
  • CSFW
  • 2001
  • 14th IEEE Computer Security Foundations Workshop (CSFW'01)
Advanced Search 
14th IEEE Computer Security Foundations Workshop (CSFW'01)
Cape Breton, Novia Scotia, Canada
June 11-June 13
ISBN: 0-7695-1146-5
Table of Contents
Non-Interference & Information Flow
Access Control
Åsa Hagström, George Mason University
Sushil Jajodia, George Mason University
Francesco Parisi-Presicce, George Mason University
Duminda Wijesekera, George Mason University
pp. 0044
Protocols I
Véronique Cortier, Ecole Normale Sup?rieure de Cachan
Jon Millen, SRI International
Harald Rueß, SRI International
pp. 0097
Information Flow & Multi-Threading
Heiko Mantel, German Research Center for Artificial Intelligence
Andrei Sabelfeld, Chalmers University of Technology
pp. 0126
Protocols II
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
Logics for Protocol Verification
Eijiro Sumii, University of Tokyo
Benjamin C. Pierce, University of Pennsylvania
pp. 0256
Secrecy & Privacy
Maritta Heisel, Universit?t Magdeburg
Andreas Pfitzmann, Technische Universit?t Dresden
Thomas Santen, Technische Universit?t Berlin
pp. 0295
Usage of this product signifies your acceptance of the Terms of Use.