A provably secure operating system: the system, its applications, and proofs

Bibliographische Detailangaben

Weitere Verfasser:	Neumann, Peter G. (BerichterstatterIn), Boyer, Robert S. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Menlo Park, Calif. SRI International 1980
Ausgabe:	2. ed.
Schriftenreihe:	SRI Computer Science Laboratory report CSL 116
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!