| Seal演算的信息流分析系统 |
| |
| 引用本文： | 郑晓娟,金英,金成植.Seal演算的信息流分析系统[J].吉林大学学报(信息科学版),2006,24(2):185-191. |
| |
| 作者姓名： | 郑晓娟 金英 金成植 |
| |
| 作者单位： | 1. 东北师范大学,软件学院,长春,130117
2. 吉林大学,计算机科学与技术学院,长春,130021 |
| |
| 摘 要： | 为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式。重点分析了父子之间的代码移动及类型相容。该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据。
|
| 关 键 词： | Seal演算 类型 移动代码 环境 自由名 |
| 文章编号： | 1671-5896(2006)02-0185-07 |
| 修稿时间： | 2005年2月13日 |
Information Flow Analyzing System of Seal-Calculus |
| |
| ZHENG Xiao-juan,JIN Ying,JIN Cheng-zhi.Information Flow Analyzing System of Seal-Calculus[J].Journal of Jilin University:Information Sci Ed,2006,24(2):185-191. |
| |
| Authors: | ZHENG Xiao-juan JIN Ying JIN Cheng-zhi |
| |
| Abstract: | An information analyzing system in Seal-calculus is developed,which is of significance to perfect the theory of Seal-calculus itself and prove formally the security of mobile code.An information flow analyzing system is presented.Some fatal semantic mistakes can be found out by static analyses of seal processes.Communicating and removing of code come true through sending out and taking over synchronization.There are three patterns: same layer pattern,father to sun pattern and sun to father pattern.The analyzing on the last two patterns will be stressed.This information analyzing system is of significance to perfect the theory of Seal-calculus itself and prove formally the security of mobile code. |
| |
| Keywords: | seal calculus type mobile code environment free name |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
