William Brierley. Integrating cryptography into trusted systems: A criteria approach. In Eighth Annual Computer Security Applications Conference, ACSAC 1992, November 30 - December 4, 1992, San Antonio, Texas, USA. pages 30-36, IEEE, 1992. [doi]
Abstract is missing.