动态环境中的概率信息流安全

• 作者: 赵保华 陆超 陈波
• 来源期刊: 西安交通大学学报
• 关键词: 信息流安全 进程代数 动态环境
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 专题研究
• 页码范围: 874-877,954
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2006.08.002

摘要

在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P-PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P-PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P-PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P-PBNDC具有复合性质,而在并行算子下不具有复合性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈波	中国科学技术大学计算机科学与技术系	167	1116	17.0	24.0
2	赵保华	中国科学技术大学计算机科学与技术系	152	1481	21.0	28.0
3	陆超	中国科学技术大学计算机科学与技术系	6	30	3.0	5.0