Verifying Operating System Security (1997)

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