信息降密的鲁棒性模型检测

• 作者: 朱浩 金丽
• 来源期刊: 南通大学学报（自然科学版）
• 学科: 工学
• 关键词: 信息 降密 鲁棒性 模型检测 信息格
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 电子 信息工程与计算机科学
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP311
• 字数: 4038字
• 语种: 中文

摘要

鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息,但是该降密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统,建立了程序的形式化模型;基于信息格,提出了信息降密的鲁棒率定义,对程序中信息降密的鲁棒性进行度量;基于等价类,提出了信息降密鲁棒性的定量分析方法;基于有界模型检测方法,实现了信息降密鲁棒性的自动化定量分析.实践证明,该方法从量的角度对信息降密的鲁棒性进行了放松.实现了富有弹性的信息降密鲁棒性的控制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱浩	南通大学计算机科学与技术学院	17	43	4.0	5.0
2	金丽	南通大学电子信息学院	16	27	4.0	4.0