Seal演算的等式特性

• 作者: 郑晓娟 金成植 金英
• 来源期刊: 吉林大学学报(信息科学版)
• 学科: 工学
• 关键词: Seal演算 可观察性 上下文等价性 移动代码 防火墙
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 269-274
• 页数: 6页
• 分类号: TP301
• 字数: 6193字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2003.03.015

摘要

为完善Seal演算的自身性质及形式化证明移动代码的安全性,从上下文等价性角度研究了Seal演算的等式特性及其应用.首先定义了Seal演算的可观察性和上下文等价性,然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法,最后依据上下文等价性证明了Seal演算的防火墙等式.结果表明,Seal演算上下文等价性可以正确地描述Seal演算的等式特性,并可判定Seal演算的安全特性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
2	金成植	吉林大学计算机科学与技术学院	27	94	4.0	8.0
3	郑晓娟	吉林大学计算机科学与技术学院	3	4	1.0	1.0