Trusted ONTOS Prototype: Preliminary Considerations. - Marvin Schaefer; Sandra Wade (DBSec, 1994)