Trusted Realm Environment Exchange Specification (->"Computer Security Basics", Russell/Gangemi, ORA 1991)