一种改进的安全环境演算及其行为等价关系研究

• 作者: 吕建 陈韬略 韩婷婷 马骞
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 移动计算 进程代数 安全环境演算 上下文互模拟
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 数据库与数据安全
• 页码范围: 1037-1041
• 页数: 5页
• 分类号: TP311
• 字数: 6267字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2005.06.037

摘要

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在"进入时检查"这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
3	韩婷婷	南京大学计算机软件新技术国家重点实验室	10	17	2.0	3.0
4	马骞	南京大学计算机软件新技术国家重点实验室	5	48	3.0	5.0