安全进程代数基础

• 作者: 周伟 尹青 郭金庚
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全进程代数 操作语义 指称语义 进程等价
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 43-45,52
• 页数: 4页
• 分类号: TP316
• 字数: 3664字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2004.02.012

摘要

安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.

作者信息

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