Verifying Operating System Security (1997)

by J. S. Shapiro , S. Weber
Citations:11 - 6 self

Document Versions

Verifying Operating System Security –J. S. Shapiro, S. Weber — 1997
Verifying Operating System Security –J. S. Shapiro, S. Weber — 1997
Verifying operating system security –J. S. Shapiro, S. Weber — 1997