Clark Weissman

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