计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2006年
1期
72-74
,共3页
移动计算%Agent%进程%位置%类型系统
移動計算%Agent%進程%位置%類型繫統
이동계산%Agent%진정%위치%류형계통
Agent的迁移和通信是影响移动计算安全性的重要问题,但是已有的移动计算模型缺乏相应的安全机制.针对这一问题,文中讨论了移动计算环境中基于语言的安全技术,同时建立了Confined-π计算模型,通过引入类型系统,该模型将Agent迁移和通信的安全问题转换成相应的静态分析特性,然后从静态分析的角度研究了保证Agent迁移和通信安全性的机制.
Agent的遷移和通信是影響移動計算安全性的重要問題,但是已有的移動計算模型缺乏相應的安全機製.針對這一問題,文中討論瞭移動計算環境中基于語言的安全技術,同時建立瞭Confined-π計算模型,通過引入類型繫統,該模型將Agent遷移和通信的安全問題轉換成相應的靜態分析特性,然後從靜態分析的角度研究瞭保證Agent遷移和通信安全性的機製.
Agent적천이화통신시영향이동계산안전성적중요문제,단시이유적이동계산모형결핍상응적안전궤제.침대저일문제,문중토론료이동계산배경중기우어언적안전기술,동시건립료Confined-π계산모형,통과인입류형계통,해모형장Agent천이화통신적안전문제전환성상응적정태분석특성,연후종정태분석적각도연구료보증Agent천이화통신안전성적궤제.
