An integrated toolkit for operating system security (revised ver- ion (1988)

by Michael Rabin, J D Tygar