概率信息流安全属性分析  

Analysis for Probabilistic Information Flow Security Properties

作　　者：赵保华[1] 陈波[1] 陆超[1] 

机构地区：[1]中国科学技术大学计算机科学与技术系,合肥230027

出　　处：《计算机学报》2006年第8期1447-1452,共6页Chinese Journal of Computers

基　　金：国家自然科学基金重大研究计划项目(90104010);国家自然科学基金(60241004);国家"九七三"重点基础研究发展规划项目基金(2003CB314801);信息产业部242项目基金(2005C56)资助.

摘　　要：以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于复合的不可演绎的属性,分析了这些安全属性之间的关系,并给出了一个实际的概率系统的例子.Information flow analysis technology is an essential method used in analyzing computer system security problems, such as private data leak, covert channels and deadlock. This article uses process algebra as the tool for analyzing information flow security properties. Secure Process Algebra （SPA） is extended to probabilistic systems, and then it is called Probabilistic Secure Process Algebra （PSPA）. This article employs PSPA to model probabilistic systems, and analyzing probabilistic information flow security properties based on probabilistic weak bisimulation equivalence. Several secure properties based on Nondeducibility on Compositions （NDC）, such as P PBNDC, S PBNDC, CP PBNDC, are presented, and the relations between these properties are given. At the end, a real probabilistic system example is presented.

关 键 词：信息流安全 概率配置 进程代数 无干扰 弱互拟 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]