计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
12期
3-4,31
,共3页
移动计算%安全策略%类型系统%π演算
移動計算%安全策略%類型繫統%π縯算
이동계산%안전책략%류형계통%π연산
从分析移动计算环境下计算安全性的基本问题入手,探讨了基于程序语言的安全技术和实现方法.通过对移动计算安全框架的分析,指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一.以Nomadic-π为元语言,给出了如何实现静态安全性分析的具体方法,并指出了未来的研究方向.
從分析移動計算環境下計算安全性的基本問題入手,探討瞭基于程序語言的安全技術和實現方法.通過對移動計算安全框架的分析,指齣攷慮安全性要求的擴展類型繫統這一靜態分析方法是解決移動計算安全性問題的有效方法之一.以Nomadic-π為元語言,給齣瞭如何實現靜態安全性分析的具體方法,併指齣瞭未來的研究方嚮.
종분석이동계산배경하계산안전성적기본문제입수,탐토료기우정서어언적안전기술화실현방법.통과대이동계산안전광가적분석,지출고필안전성요구적확전류형계통저일정태분석방법시해결이동계산안전성문제적유효방법지일.이Nomadic-π위원어언,급출료여하실현정태안전성분석적구체방법,병지출료미래적연구방향.
