The Community for Technology Leaders
Proceedings 14th IEEE Computer Security Foundations Workshop, 2001. (2001)
Cape Breton, Novia Scotia, Canada
June 11, 2001 to June 13, 2001
ISSN: 1063-6900
ISBN: 0-7695-1147-3
TABLE OF CONTENTS

Robust declassification (PDF)

S. Zdancewic , Cornell University Computer Science Department
pp. 15-23

Revocations - A classification (Abstract)

Asa Hagstrom , Center for Secure Info. Systems, George Mason Univ., Fairfax, VA, USA
Sushil Jajodia , Center for Secure Info. Systems, George Mason Univ., Fairfax, VA, USA
Francesco Parisi-Presicce , Center for Secure Info. Systems, George Mason Univ., Fairfax, VA, USA
Duminda Wijesekera , Center for Secure Info. Systems, George Mason Univ., Fairfax, VA, USA
pp. 44,45,46,47,48,49,50,51,52,53,54,55,56,57,58

Proving secrecy is easy enough (PDF)

V. Cortier , Ecole Normale Superieure de Cachan
pp. 97-108

Relating cryptography and cryptographic protocols (PDF)

A. Scedrov , University of Pennsylvania
pp. 111

A new type system for secure information flow (PDF)

G. Smith , Florida International University
pp. 115-125

A generic approach to the security of multi-threaded programs (PDF)

H. Mantel , German Research Center for Artificial Intelligence
pp. 126-142

Logical relations for encryption (PDF)

E. Sumii , University of Tokyo
pp. 256-269

Confined mobile functions (PDF)

Z.D. Kirli , The University of Edinburgh
pp. 283-294

Author index (PDF)

pp. 307

Preface (PDF)

pp. vii
84 ms
(Ver 3.3 (11022016))