The Formal Development of a Secure Transaction Mechanism
暂无分享,去创建一个
[1] Simon R. Wiseman,et al. A 'new' security policy model , 1989, Proceedings. 1989 IEEE Symposium on Security and Privacy.
[2] Simon R. Wiseman. Control of confidentiality in databases , 1990, Comput. Secur..
[3] Simon Wiseman. Basic Mechanisms for Computer Security , 1990 .
[4] G. P. Randell. Zadok User Guide , 1990 .
[5] Richard A. Kemmerer,et al. Shared resource matrix methodology: an approach to identifying storage and timing channels , 1983, TOCS.
[6] C. L. Harrold,et al. An introduction to the SMITE approach to secure computing , 1989, Comput. Secur..
[7] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.
[8] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[9] Donald Sannella,et al. On Observational Equivalence and Algebraic Specification , 1987, J. Comput. Syst. Sci..
[10] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[11] A. W. Wood. The Sword Model of Multilevel Secure Databases , 1990 .