摘要
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.
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.
出处
《计算机科学》
CSCD
北大核心
2001年第12期89-92,共4页
Computer Science
基金
国家自然科学基金跨学科重点项目(No. 19931010)
国家973高科技项目基金(No.G1999035810
G1999035802)
