概率信息流安全属性分析.pdfVIP

第 29 ~事 费在日期 计算机学报 Vol. 29 No. 8 2006 年 8 月 CHINESE JQURNAL OF CQMPUTERS Aug. 2006 概率信息流安金属性分析 赵保华陈波陆超 〈咿阔罪斗非技 y壮大学汁算机科尔均按本 3联 合肥 2300zn 摘 要 以进程代敬作为分析信息流1ik属性的工具，将安ik进程代数 (SPAl 扩展到概率系统，形成概事安余进 程代数也使用概率安全进稼代数对概率系统建模，在弱概率真拟等价的基础上，讨论了概率信息流安余腾性，提出 了 P PBNDC , S PBNDC, CP PBNDC 等基于复合的不可演绎的属性，分析了这些安全腾性之间的关革，并给出 了 个实际的概感系统的例子噜 关键诩 {吉思流线索 e 概率自己烧 s 波税代数;无干扰，弱双拟 中回法分捷号 TP309 Analysis for ProbabiIistic Information Flow Security Properties ZHAO Bao- Hua CHEN Bo LU Chao (D，户art m.t!- nl 01 c.ωnρuler Sci阳 ce . Techno!ogy ， ιfniversùy òf Scien? .γá:Jm (J I(J fD O!CItùlflj H t? fei 230027) Abstract Informa\íon flow analysís technology is on essential method used in analyzing comput? er system security problems, such as private data leak , covert channels and deadlock. This articlc uses process algebra 削 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 AIgebra (PSPA). This article employs PSPA to model probabilistic systems, and analy Z In百 probabilis t. ic information f10w security properties based on probabìlistic weak bisimulation , equivalence. Several secure properties based on Nondeducibility on Compositions(NDC). such as p町 PBNDC ， S_PHNDC, CP _PBNDC, are presented , and the relations between these prOper? ties are given. At the end , a rcal probabilistic system example is present 巳 d. Keywords informatìon flow security; probabilistic settings; process algebra; non interference; weak bi 别 mulation