形式化描述模型

更新时间:-- | 阅读量: 9

Bell-La Padula模型 (1)描述访问控制规则集合的计算机安全策略形式化转换模型。在此形式...(2)计算机安全策略中的一种形式转换模型,它描述了一组存取控制模型。它将计算机系统的实体划分为主体和客体,定义了安全状态的概念,并证 ...

搜索到与“ 形式化描述模型”相关的文献共 0

查看更多

形式化描述模型相似词

形式化描述模型相关词

形式化描述模型相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021022288号-1

京公网安备 11011102000866号