Certification of programs for secure information flow

Bibliographische Detailangaben

1. Verfasser:	Denning, Dorothy E. (VerfasserIn)
Weitere Verfasser:	Denning, Peter J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	West Lafayette, Ind. Computer Science Dep., Purdue Univ. 1976
Schriftenreihe:	CSD-TR 181
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!