Verifying Operating System Security (1997)

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