更新时间:-- | 阅读量: 111
形式化安全策略模型安全策略的数字精确描述。模型必须定义和表示系统初始状态、状态转换...如果系统的初始状态满足安全状态的定义，且其他所有前提条件都成立，则系统所有未来的状态将是安全的，对此，模型必须给出形式化证明，以满足可信计算机的基本要 ...
搜索到与“ 安全策略模型”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
