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

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

Secure mobile computation model based on type structure

Agent migration and communication are key aspects for the security of mobile computation, but present mobile computation models lack mechanisms to deal with these problems. A particular approach to this problem called language-based security was discussed and a Confined-~r calculus was introduced. A type system was established for enforcing security properties such as confined migration and communication in mobile computation systems. This approach showed that a static typing system could be constructed to deal with the security problems caused by Agent migration and communication. At last, the future research direction was pointed out.