概率系统的非传递无干扰安全属性分析

• 作者: 姜励 平玲娣 李善平 潘雪增 陈小平
• 来源期刊: 浙江大学学报(工学版)
• 学科: 工学
• 关键词: 非传递无干扰 信息流安全 概率系统 进程代数 弱互拟
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 2092-2096
• 页数: 5页
• 分类号: TP309
• 字数: 5541字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2008.12.010

摘要

为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引入概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟强无干扰(I_BSPNI)和非传递概率互拟复合不可演绎(I_PBNDC)安全属性;并要求系统所有可达状态都满足的持久I_PBNDC属性,该性质能够揭露出I_PBNDC在动态环境中不能暴露的安全隐患.为了弥补互拟复合不可演绎类性质难于验证的缺点,使用基于单步状态的展开条件定义了强I_PBNDC属性.最后分析并证明了这些安全属性之间的包含关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	平玲娣	浙江大学计算机科学与技术学院	72	1386	15.0	36.0
2	陈小平	浙江大学计算机科学与技术学院	18	137	8.0	11.0
3	潘雪增	浙江大学计算机科学与技术学院	89	1318	17.0	34.0
4	李善平	浙江大学计算机科学与技术学院	72	1464	19.0	36.0
5	姜励	浙江大学计算机科学与技术学院	4	10	2.0	3.0