10.3969/j.issn.1002-137X.2001.12.025
安全计算机系统的Bell-LaPadula形式化模型
In this paper,the Bell-LaPadula formal model for secure computer systems is introduced,and the key theoretical results are proved. In addition, we also point out that the sufficient and necessary condition,given by reference[11], for secure information system is wrong. Exploiting a new concept,the correct sufficient and necessary condition is presented.
Information security、Secure computer systems、Bell-LaPadula formal model、Formal analysis
28
TP39(计算技术、计算机技术)
国家自然科学基金19931010;国家重点基础研究发展计划973计划G1999035810,G1999035802
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
89-92