吉林大学学报(信息科学版)
吉林大學學報(信息科學版)
길림대학학보(신식과학판)
JOURNAL OF JILIN UNIVERSITY(INFORMATION SCIENCE EDITION)
2006年
2期
185-191
,共7页
Seal演算%类型%移动代码%环境%自由名
Seal縯算%類型%移動代碼%環境%自由名
Seal연산%류형%이동대마%배경%자유명
为完善Seal演算的自身性质及形式化证明移动代码的安全性,提出了一个信息流分析系统,该系统经过seal进程的静态分析,检查出一些比较重要的语义错误,通过发送和接收的同步来实现通信和代码移动,具体分为同层、父到子、子到父3种模式.重点分析了父子之间的代码移动及类型相容.该系统为Seal演算的自身性质的完善及移动代码的安全性判断提供了理论依据.
為完善Seal縯算的自身性質及形式化證明移動代碼的安全性,提齣瞭一箇信息流分析繫統,該繫統經過seal進程的靜態分析,檢查齣一些比較重要的語義錯誤,通過髮送和接收的同步來實現通信和代碼移動,具體分為同層、父到子、子到父3種模式.重點分析瞭父子之間的代碼移動及類型相容.該繫統為Seal縯算的自身性質的完善及移動代碼的安全性判斷提供瞭理論依據.
위완선Seal연산적자신성질급형식화증명이동대마적안전성,제출료일개신식류분석계통,해계통경과seal진정적정태분석,검사출일사비교중요적어의착오,통과발송화접수적동보래실현통신화대마이동,구체분위동층、부도자、자도부3충모식.중점분석료부자지간적대마이동급류형상용.해계통위Seal연산적자신성질적완선급이동대마적안전성판단제공료이론의거.