Norman Proctor

According to our database, Norman Proctor authored at least 4 papers between 1984 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1989

The security policy of the secure distributed operating system prototype.

Norman Proctor, Raymond Wong

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1987

Muse - A Computer Assisted Verification System.

J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson

IEEE Trans. Software Eng., 1987

1985

The restricted access processor: an example of formal verification.

Norman Proctor

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation.

Norman Proctor

Proceedings of the Advances in Cryptology, 1984