The Community for Technology Leaders
2012 IEEE Symposium on Security and Privacy (1994)
Oakland, CA
May 16, 1994 to May 18, 1994
ISSN: 1540-7993
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
104 ms
(Ver 3.3 (11022016))