一种基于程序语言的移动计算安全模型

A Language-based Security Model for Mobile Computation

从分析移动计算环境下计算安全性的基本问题入手,探讨了基于程序语言的安全技术和实现方法。通过对移动计算安全框架的分析,指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。以Nomadic-π为元语言,给出了如何实现静态安全性分析的具体方法,并指出了未来的研究方向。

By analyzing the main problems of computation security under mobile computation environment, the language-based security technology anti implementation method are illustrated. It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems. A static secure analyzing method based on Nomadic-π calculus is illustrated. At last, some promising research areas are presented.