| 基于ptSPA的概率时间信息流安全属性分析 |
| |
| 引用本文： | 李超,殷丽华,郭云.基于ptSPA的概率时间信息流安全属性分析[J].计算机研究与发展,2011,48(8). |
| |
| 作者姓名： | 李超 殷丽华 郭云 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所信息安全研究中心 北京 100190;中国科学院研究生院 北京 100049
2. 中国科学院计算技术研究所信息安全研究中心 北京 100190 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展计划基金项目(2007CB311100); 国家“八六三”高技术研究发展计划基金项目(2009AA01Z438); 国家自然科学基金项目(61070186,61063002) |
| |
| 摘 要： | 基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.
|
| 关 键 词： | 信息流分析 安全属性 进程代数 无干扰 隐蔽通道 |
Analysis for Probabilistic and Timed Information Flow Security Properties via ptSPA |
| |
| Li Chao,Yin Lihua,Guo Yunchuan.Analysis for Probabilistic and Timed Information Flow Security Properties via ptSPA[J].Journal of Computer Research and Development,2011,48(8). |
| |
| Authors: | Li Chao Yin Lihua Guo Yunchuan |
| |
| Affiliation: | Li Chao1,2,Yin Lihua1,and Guo Yunchuan1,2 1(Information Security Research Center,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190) 2(Graduate University of Chinese Academy of Sciences,Beijing100049) |
| |
| Abstract: | Information flow analysis is one of the primary approaches for analyzing computer security problems,such as covert channel and data leak.Security process algebra(SPA)is a classic method used in researching information security properties in nondeterministic system.To analyze the information security properties and capture the information leakage in probabilistic and real time system,SPA is extended in probabilistic and time setting.Probabilistic and time security process algebra(ptSPA),an extension of SPA,i... |
| |
| Keywords: | information flow analysis security properties process algebra noninterference covert channel |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
