| 概率信息流安全属性分析 |
| |
| 引用本文： | 赵保华,陈波,陆超. 概率信息流安全属性分析[J]. 计算机学报, 2006, 29(8): 1447-1452 |
| |
| 作者姓名： | 赵保华 陈波 陆超 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金;国家自然科学基金;国家重点基础研究发展计划(973计划);信息产业部242项目基金 |
| |
| 摘 要： | 以进程代数作为分析信息流安全属性的工具，将安全进程代数（SPA）扩展到概率系统，形成概率安全进程代数．使用概率安全进程代数对概率系统建模，在弱概率互拟等价的基础上，讨论了概率信息流安全属性，提出了P_PBNDC，S_PBNDC，CP_PBNDC等基于复合的不可演绎的属性，分析了这些安全属性之间的关系，并给出了一个实际的概率系统的例子．
|
| 关 键 词： | 信息流安全 概率配置 进程代数 无干扰 弱互拟 |
| 收稿时间： | 2006-03-29 |
| 修稿时间： | 2006-03-292006-06-15 |
Analysis for Probabilistic Information Flow Security Properties |
| |
| ZHAO Bao-Hua,CHEN Bo,LU Chao. Analysis for Probabilistic Information Flow Security Properties[J]. Chinese Journal of Computers, 2006, 29(8): 1447-1452 |
| |
| Authors: | ZHAO Bao-Hua CHEN Bo LU Chao |
| |
| Abstract: | |
| |
| Keywords: | information flow security probabilistic settings process algebra non interference weak bisimulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
