【作者】 李彬； 杨宏宁；
【机构】 北京交通大学； 国家保密科技测评中心；
【摘要】 访问控制机制能够控制用户的权限,但它们不能控制系统中的信息流,当系统中存在规范信息流的安全策略时,系统就需要保证它的信息流不违反安全策略的控制。本文将对格式策略模型和将非格模型转换为格的方法进行简要介绍,同时介绍一种对不同等级、同等级不同范围的非格式策略模型信息流方式的安全性验证方法。更多还原
