Norman Proctor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1984–1989
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | ACSAC | The security policy of the secure distributed operating system prototype. | Norman Proctor, Raymond Wong |
| 1986 | SP | Muse : A Computer Assisted Verification System. | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson |
| 1985 | SP | The Restricted Access Processor An Example of Formal Verification. | Norman Proctor |
| 1984 | CRYPTO | A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation. | Norman Proctor |