基于ptSPA的概率时间信息流安全属性分析

• 作者: 李超 殷丽华 郭云
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 信息流分析 安全属性 进程代数 无干扰 隐蔽通道
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 密码算法
• 页码范围: 1370-1380
• 分类号: TP393.08
• 字数: 10122字
• 语种: 中文

摘要

基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李超	中国科学院计算技术研究所信息安全研究中心	155	838	13.0	19.0
5	殷丽华	中国科学院计算技术研究所信息安全研究中心	17	284	7.0	16.0
6	郭云	中国科学院计算技术研究所信息安全研究中心	2	8	2.0	2.0