安全计算机系统的Bell-LaPadula形式化模型

• 作者: 倪惜珍 冯登国 卿斯汉 王贵林
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Information security,Secure computer systems,Bell-LaPadula formal model,Formal analysis
• 年，卷（期）: 2001,（12）
• 页码范围: 89-92
• 页数: 4页
• 分类号: TP39
• 字数: 5046字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2001.12.025

摘要

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.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卿斯汉	中国科学院软件研究所	145	4238	29.0	62.0
2	冯登国	中国科学院软件研究所	243	6305	35.0	71.0
3	王贵林	中国科学院软件研究所	9	267	6.0	9.0
4	倪惜珍	中国科学院软件研究所	5	35	3.0	5.0