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

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