论文信息 - Romulus: A Computer Security Properties Modeling Environment, the Theory of Security - 字舞流文

Romulus: A Computer Security Properties Modeling Environment, the Theory of Security

Ian Sutherland | Tanya Korelsky | Daryl McCullough | Tanya Korelsky | D. McCullough | I. Sutherland

[1] Jeremy L. Jacob,et al. Specifying security properties , 1991 .

[2] Daryl McCullough,et al. Specifications for Multi-Level Security and a Hook-Up , 1987, 1987 IEEE Symposium on Security and Privacy.

[3] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[4] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.

[5] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[6] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .

[7] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[8] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.