一种能够描述可信特征的进程代数
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性.
可信软件、进程代数、Pi演算、Q代数、半环
48
TP311(计算技术、计算机技术)
国家"八六三"高技术研究发展计划重大专项基金项目2009AA010308;国家"八六三"高技术研究发展计划基金项目2006AA01Z162;国家发展与改革委员会基金项目20052139;国家"十一五"国防预研基金项目06004089
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共11页
2120-2130