Richard J. Feiertag, Peter G. Neumann. The foundations of a provably secure operating system (PSOS). In 1979 International Workshop on Managing Requirements Knowledge, MARK 1979, New York, NY, USA, June 4-7, 1979. pages 329-334, IEEE, 1979. [doi]
Abstract is missing.