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

1986

Muse : A Computer Assisted Verification System.

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

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

1985

The Restricted Access Processor An Example of Formal Verification.

Norman Proctor

Proceedings of the 1985 IEEE Symposium on Security and Privacy, 1985

1984

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

Norman Proctor

Proceedings of the Advances in Cryptology, 1984