• S
  • SP
  • 1994
  • 1994 IEEE Symposium on Security and Privacy
Advanced Search 
1994 IEEE Symposium on Security and Privacy
Oakland, CA
May 16-May 18
ISBN: 0-8186-5675-1
Table of Contents
Formal Modeling of Cryptographic Protocols - Session Chair: Stuart Stubblebine
Information Flow - Session Chair: Jonathan Millen
Composition of Secure Systems - Session Chair: Raphael Yahalom
Database I - Session Chair: Ross Anderson
Cryptographic Engineering - Session Chair: Tom Berson
Database II - Session Chair: Catherine Meadows
Distributed Systems - Session Chair: Gene Tsudik
Access Control - Session Chair: John McHugh
Usage of this product signifies your acceptance of the Terms of Use.