进程代数上的抽象安全性质

• 作者: 周伟 尹青 王清贤
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 进程代数 算子 不动点 复合不变性质 可构造性质 绝对安全性质
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 信息安全
• 页码范围: 2100-2105
• 页数: 6页
• 分类号: TP309
• 字数: 5720字
• 语种: 中文

摘要

在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质.首先证明进程代数算子在安全性质集是单调衰减算子.根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性,并且在安全性质集合上证明了安全性质的"木桶原理",即复合系统的整体安全性不强于系统中最弱的部分.基于安全性质之间的偏序关系,将所谓绝对安全性质与平凡性质联系起来,证明绝对安全性质是一类平凡性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王清贤	信息工程大学信息工程学院	64	397	11.0	16.0
2	周伟	信息工程大学信息工程学院	13	62	4.0	7.0
3	尹青	信息工程大学信息工程学院	22	90	5.0	9.0