The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings. 17th IEEE Computer Security Foundations Workshop (2004)
Pacific Grove, CA, USA
June 30, 2004 to June 30, 2004
ISBN: 0-7695-2169-X
TABLE OF CONTENTS
Preface (PDF)
pp. vii
Cover
Title Page (PDF)
pp. i
Preface (PDF)
pp. vii
pp. viii
Protocols I
St?phanie Delaune , France Télécom R&D, France
Florent Jacquemard , INRIA, France
pp. 2
Ante Derek , Stanford University, CA
John C. Mitchell , Stanford University, CA
Anupam Datta , Stanford University, CA
pp. 30
Access Control
Daniele Gorla , Univ. di Firenze, Univ. di Roma 'La Sapienza'
Chiara Braghin , Univ. Ca' Foscari di Venezia
pp. 48
Tomasz Blanc , INRIA Rocquencourt
C?dric Fournet , Microsoft Research
Andrew D. Gordon , Microsoft Research
pp. 61
Intrusion Detection
Sylvain Gombault , GET/ENST-Bretagne, France
Fr?d?ric Cuppens , GET/ENST-Bretagne, France
pp. 78
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
Moritz Y. Becker , University of Cambridge, UK
Peter Sewell , University of Cambridge, UK
pp. 139
Kaijun Tan , University of Pennsylvania
Jason Crampton , University of London
Carl A. Gunter , University of Pennsylvania
pp. 155
Declassification and Information Flow
Andrei Sabelfeld , Chalmers University of Technology
Andrew C. Myers , Cornell University
pp. 172
Carla Piazza , Universit? Ca' Foscari di Venezia
Sabina Rossi , Universit? Ca' Foscari di Venezia
pp. 187
Formal Methods and Cryptography
Ran Canetti , IBM T.J. Watson Research Center
pp. 219
Panel: Formal Methods and Cryptography
null (PDF)
pp. null
Authorization
Nathan Whitehead , 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
Steve Kremer , Universit? Libre de Bruxelles
Rohit Chadha , University of Sussex
pp. 266
Ron van der Meyden , University of New South Wales, Australia
pp. 280
Author Index (PDF)
pp. 292
29 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool