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

摘要：

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

关键词：进程代数、算子、不动点、复合不变性质、可构造性质、绝对安全性质

所属期刊栏目：42

分类号：TP309(计算技术、计算机技术)

资助基金：新材料领域项目2003AA146010

在线出版日期：2006-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2100-2105