[Nibaldi79-2] Nibaldi, G. H. Specification of A Trusted Computing Base, MITRE Corp., Bedford, Mass., M79-228, AD-A108- 831, 30 November 1979. []