• S
  • SP
  • 1980
  • 1980 IEEE Symposium on Security and Privacy
Advanced Search 
1980 IEEE Symposium on Security and Privacy
Oakland, CA
April 14-April 16
ISBN: 0-8186-0335-6
Table of Contents
null
Monday, April 14, 1980
Rein Turn, California State University, Northridge
pp. 0003
A. D. Friedman, The George Washington University
L. J. Hoffman, The George Washington University
pp. 0018
Tuesday, April 15, 1980
George I. Davida, University of Wisconsin-Milwaukee
Richard A. DeMillo, University of Wisconsin-Milwaukee
Richard J. Lipton, Princeton University
pp. 0100
Dorothy E. Denning, Purdue University
Fred B. Schneider, Cornell University
pp. 0103
Wednesday, April 16, 1980
George I. Davida, University of Wisconsin
Richard A. DeMillo, Georgia Institute of Technology
Richard J. Lipton, University of California, Berkeley
pp. 137
Panel Session: Verification of Secure Software Systems
Usage of this product signifies your acceptance of the Terms of Use.