基于类型的安全移动计算模型

摘要：

Agent的迁移和通信是影响移动计算安全性的重要问题,但是已有的移动计算模型缺乏相应的安全机制.针对这一问题,文中讨论了移动计算环境中基于语言的安全技术,同时建立了Confined-π计算模型,通过引入类型系统,该模型将Agent迁移和通信的安全问题转换成相应的静态分析特性,然后从静态分析的角度研究了保证Agent迁移和通信安全性的机制.

关键词：移动计算、Agent、进程、位置、类型系统

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

资助基金：国防武器装备预研基金417010602-2

在线出版日期：2006-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：72-74