面向系统确保的属性可计算方法

分类： 计算机科学 >> 信息安全 提交时间： 2017-03-10

郭云川 殷丽华 刘礼才

摘要： 由于系统运行环境的复杂化、用户的多样性以及软件正确性的不可判定，确保系统完全按照预期提供服务非常困难，因此安全评估方法与建模技术就成为系统确保研究中的重要内容和关键支撑技术，被用来尝试解决现有评估方法存在的局部性和状态爆炸以及对互联网的内容访问控制评估方法的缺失等问题。本文首先概述安全评估的相关工作，然后介绍我们的研究工作-信息内容安全的控制模型和定量评价方法以及混杂检测中的机密性与完整性模型。

同行评议状态:待评议

 点击量 4984  下载量 1995  评论 0