Seal演算的信息流分析系统

• 作者: 郑晓娟 金成植 金英
• 来源期刊: 吉林大学学报（信息科学版）
• 学科: 工学
• 关键词: Seal演算 类型 移动代码 环境 自由名
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 185-191
• 页数: 7页
• 分类号: TP301
• 字数: 2660字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2006.02.014

摘要

为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式.重点分析了父子之间的代码移动及类型相容.该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
2	郑晓娟	东北师范大学软件学院	12	35	3.0	5.0
3	金成植	吉林大学计算机科学与技术学院	27	94	4.0	8.0