基于安全进程代数的信息流模型

• 作者: 周伟 尹青 郭金庚
• 来源期刊: 信息工程大学学报
• 学科: 数学
• 关键词: 安全进程代数 信息流安全 无干扰 不可演绎
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 数学、信息安全
• 页码范围: 5-9
• 页数: 5页
• 分类号: O15
• 字数: 5131字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2004.03.002

摘要

文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周伟	信息工程大学信息工程学院	13	62	4.0	7.0
2	尹青	信息工程大学信息工程学院	22	90	5.0	9.0
3	郭金庚	信息工程大学信息工程学院	19	153	9.0	12.0