Clark Weissman

Publication Activity (10 Years)

Years Active: 1964-2011
Publications (10 Years): 0

Publications

Clark Weissman, Timothy E. Levin
Lessons Learned from Building a High-Assurance Crypto Gateway. IEEE Secur. Priv. 9 (1) (2011)
Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen
Analysis of three multilevel security architectures. CSAW (2007)
Clark Weissman
MLS-PCA: A High Assurance Security Architecture for Future Avionics. ACSAC (2003)
Clark Weissman
BLACKER: security for the DDN examples of A1 security engineering trades. IEEE Symposium on Security and Privacy (1992)
Clark Weissman
On verification targets. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Clark Weissman
Secure computer operation with virtual machine partitioning. AFIPS National Computer Conference (1975)
Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden
Security kernels. AFIPS National Computer Conference (1974)
James P. Anderson, Peter J. Denning, Roger P. Schell, Clark Weissman, R. Stockton Gaines
Privacy and protection in operating systems (Panel Session). ACM Annual Conference (2) (1972)
Richard R. Linde, Clark Weissman, Clay E. Fox
The ADEPT-50 time-sharing system. AFIPS Fall Joint Computing Conference (1969)
Clark Weissman
Security controls in the ADEPT-50 time-sharing system. AFIPS Fall Joint Computing Conference (1969)
Jules I. Schwartz, Clark Weissman
The SDC Time-Sharing System revisited. ACM National Conference (1967)
Paul W. Abrahams, Jeffrey A. Barnett, Erwin Book, Donna Firth, Stanley L. Kameny, Clark Weissman, Lowell Hawkinson, Michael I. Levin, Robert A. Saunders
The LISP 2 programming language and system. AFIPS Fall Joint Computing Conference (1966)
Jules I. Schwartz, Edward G. Coffman Jr., Clark Weissman
A general-purpose time-sharing system. AFIPS Spring Joint Computing Conference (1964)