一种能够描述可信特征的进程代数

• 作者: 周兴社 符宁 詹涛
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 可信软件 进程代数 Pi演算 Q代数 半环
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2120-2130
• 分类号: TP311
• 字数: 9124字
• 语种: 中文

摘要

针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周兴社	西北工业大学计算机学院	251	2217	23.0	35.0
2	詹涛	西北工业大学计算机学院	21	101	7.0	8.0
3	符宁	西北工业大学计算机学院	22	191	7.0	13.0