David Sutherland

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1984

1 Tanya Korelsky, David Sutherland: Formal Specification of a Multi-Level Secure Operating System. IEEE Symposium on Security and Privacy 1984: 209-218

	1984
1		Tanya Korelsky, David Sutherland: Formal Specification of a Multi-Level Secure Operating System. IEEE Symposium on Security and Privacy 1984: 209-218

Coauthor Index