项目简介
项目名称
面向系统确保的安全属性计算模型与评估方法研究
项目批准号
61070186
学科分类
F020805
信息科学部
_计算机科学
_计算机网络
_网络安全
资助类型
信息科学
负责人
殷丽华
依托单位
中国科学院信息工程研究所
批准年份
2010
起止时间
201101-201312
批准金额
30.00万元
摘要
安全评估方法与建模技术是系统确保研究中的重要内容和关键支撑技术。为此，本项目针对大规模系统安全评估问题，就基于安全属性计算模型的评估方法展开研究。通过研究信息系统的抽象建模方法、系统模型的形式描述方法，以及系统基本操作和安全服务过程的关系，构造和证明基本安全属性集合，通过实例化方法描述不同安全属性之间的关联，增加了对信息内容安全可控性的描述；针对基本安全属性，抽取其关键的行为特征，研究安全属性的计算模型及评估方法，力求突破现有评估方法的局限性，能够在不同的抽象层次上对互联网环境下的信息与系统安全进行分析与评估。本项目的研究是信息安全理论的有效补充，同时在大规模网络系统的安全分析与评估等方面具有重要的应用前景、较高的理论意义和实际价值。
评论区 (0)
#插入话题
