节点文献
信息流安全性验证方法简介
【摘要】 访问控制机制能够控制用户的权限,但它们不能控制系统中的信息流,当系统中存在规范信息流的安全策略时,系统就需要保证它的信息流不违反安全策略的控制。本文将对格式策略模型和将非格模型转换为格的方法进行简要介绍,同时介绍一种对不同等级、同等级不同范围的非格式策略模型信息流方式的安全性验证方法。
- 【文献出处】 保密科学技术 ,Secrecy Science and Technology , 编辑部邮箱 ,2014年11期
- 【分类号】TP309
- 【下载频次】43