更新时间:-- | 阅读量: 9
Bell-La Padula模型 (1)描述访问控制规则集合的计算机安全策略形式化转换模型。在此形式...(2)计算机安全策略中的一种形式转换模型,它描述了一组存取控制模型。它将计算机系统的实体划分为主体和客体,定义了安全状态的概念,并证 ...
搜索到与“ 形式化描述模型”相关的文献共 0条
《中国战略报告》
《计算机科学》
《模具技术》
《中国研究型医院》
《计算机科学技术学报(英文版)》
《Journal of Computer Science & Technology》
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
京ICP备2021022288号-1
京公网安备 11011102000866号