Seal演算的等式特性  

Equivalence chracterristics in Seal-calculus

作　　者：郑晓娟[1] 金英[1] 金成植[1] 

机构地区：[1]吉林大学计算机科学与技术学院

出　　处：《吉林大学学报（信息科学版）》2003年第3期269-274,共6页Journal of Jilin University（Information Science Edition）

摘　　要：为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性,然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法,最后依据上下文等价性证明了Seal演算的防火墙等式。结果表明,Seal演算上下文等价性可以正确地描述Seal演算的等式特性,并可判定Seal演算的安全特性。In order to improve the theory of Sealcalculus the security of mobile code, the equivalence in Sealcalculus is developed. The contextual equivalence of Sealcalculus is given. Through two theorems a method for judging contextual equivalence of the Seal calculus is presented. Firewall Equation of Sealcalculus based on the contextual equivalence of the Seal calculus is proved. It is indicated that the contextual equivalence of Sealcalculus may describe accurately the equivalence in Sealcalculus and judge the security characteristic of Sealcalculus.

关 键 词：SEAL演算 可观察性 上下文等价性 移动代码 防火墙 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]