Clark Weissman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2011

Lessons Learned from Building a High-Assurance Crypto GatewayClark Weissman, Timothy E. Levin. ieeesp, 9(1):31-39, 2011. [doi]

2007

Analysis of three multilevel security architecturesTimothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen. ccs 2007: 37-46 [doi]

2003

MLS-PCA: A High Assurance Security Architecture for Future AvionicsClark Weissman. acsac 2003: 2-13 [doi]

1992

BLACKER: security for the DDN examples of A1 security engineering tradesClark Weissman. sp 1992: 286-292 [doi]

1981

On verification targetsClark Weissman. sigsoft, 6(3):61-63, 1981. [doi]

1975

Secure computer operation with virtual machine partitioningClark Weissman. afips 1975: 929-934 [doi]

1974

Security kernelsSteven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden. afips 1974: 973-980 [doi]

1972

Privacy and protection in operating systems (Panel Session)James P. Anderson, Peter J. Denning, Roger P. Schell, Clark Weissman, R. Stockton Gaines. acm 1972: 665-666 [doi]

1969

The ADEPT-50 time-sharing systemRichard R. Linde, Clark Weissman, Clay E. Fox. afips 1969: 39-50 [doi]

Security controls in the ADEPT-50 time-sharing systemClark Weissman. afips 1969: 119-133 [doi]

1967

The SDC Time-Sharing System revisitedJules I. Schwartz, Clark Weissman. acm 1967: 263-271 [doi]

1966

The LISP 2 programming language and systemPaul W. Abrahams, Jeffrey A. Barnett, Erwin Book, Donna Firth, Stanley L. Kameny, Clark Weissman, Lowell Hawkinson, Michael I. Levin, Robert A. Saunders. afips 1966: 661-676 [doi]

1964

A general-purpose time-sharing systemJules I. Schwartz, Edward G. Coffman Jr., Clark Weissman. afips 1964: 397-411 [doi]

Sign in or sign up to see more results.

runs on WebDSL