Michael O. Rabin J. D. Tygar ITOSS: An Integrated Toolkit For Operating System Security. 2-15 1989 conf/fodo/1989 FODO db/conf/fodo/fodo89.html#RabinT89