计算机科学 ›› 2001, Vol. 28 ›› Issue (12): 89-92.

• 计算机网络与信息安全 • 上一篇    下一篇

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

王贵林 卿斯汉 等   

  1. 中国科学院软件研究所信息安全国家重点实验室,北京100080 中国科学院信息安全技术工程研究中心,北京100080
  • 出版日期:2018-11-17 发布日期:2018-11-17

  • Online:2018-11-17 Published:2018-11-17

关键词: 计算机系统 安全 Bell-LaPadula形成化模型 信息安全

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!