loading...
  • CC
  • CSFW
  • 2004
  • 17th IEEE Computer Security Foundations Workshop (CSFW'04)
Advanced Search 
17th IEEE Computer Security Foundations Workshop (CSFW'04)
Pacific Grove, California
June 28-June 30
ISBN: 0-7695-2169-X
Table of Contents
Cover
null
Protocols I
Anupam Datta, Stanford University, CA
Ante Derek, Stanford University, CA
John C. Mitchell, Stanford University, CA
Dusko Pavlovic, Kestrel Institute, Palo Alto, CA
pp. 30
Access Control
Chiara Braghin, Univ. Ca' Foscari di Venezia
Daniele Gorla, Univ. di Firenze, Univ. di Roma 'La Sapienza'
Vladimiro Sassone, University of Sussex
pp. 48
Intrusion Detection
Magnus Almgren, Chalmers University of Technology, Sweden
Erland Jonsson, Chalmers University of Technology, Sweden
pp. 88
Information Flow
Gilles Barthe, INRIA Sophia-Antipolis, France
Pedro R. D'Argenio, Universit? de Provence, France
Tamara Rezk, INRIA Sophia-Antipolis, France
pp. 100
Zhenyue Deng, Florida International University, Miami
Geoffrey Smith, Florida International University, Miami
pp. 115
Security Policies
Hubie Chen, Cornell University, Ithaca, NY
Stephen Chong, Cornell University, Ithaca, NY
pp. 126
Declassification and Information Flow
Andrew C. Myers, Cornell University
Andrei Sabelfeld, Chalmers University of Technology
Steve Zdancewic, University of Pennsylvania
pp. 172
Annalisa Bossi, Universit? Ca' Foscari di Venezia
Carla Piazza, Universit? Ca' Foscari di Venezia
Sabina Rossi, Universit? Ca' Foscari di Venezia
pp. 187
Formal Methods and Cryptography
Panel: Formal Methods and Cryptography
null
Authorization
Nathan Whitehead, University of California, Santa Cruz
Mart? Abadi, University of California, Santa Cruz
George Necula, University of California, Berkeley
pp. 236
Joseph Y. Halpern, Cornell University, Ithaca, NY
Vicky Weissman, Cornell University, Ithaca, NY
pp. 251
Protocols II
Rohit Chadha, University of Sussex
Steve Kremer, Universit? Libre de Bruxelles
Andre Scedrov, University of Pennsylvania
pp. 266
Usage of this product signifies your acceptance of the Terms of Use.