Norman Proctor

Publication Activity (10 Years)

Years Active: 1984-1989
Publications (10 Years): 0

Publications

Norman Proctor, Raymond Wong
The security policy of the secure distributed operating system prototype. ACSAC (1989)
J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13 (2) (1987)
J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson
Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy (1986)
Norman Proctor
The restricted access processor: an example of formal verification. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Norman Proctor
The Restricted Access Processor An Example of Formal Verification. IEEE Symposium on Security and Privacy (1985)
Norman Proctor
A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation. CRYPTO (1984)