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

关键词: 移动计算；安全策略；类型系统；π 演算

Abstract: By analyzing the main problems of computation security under mobile computation environment, the language-based securitytechnology and implementation method are illustrated. It is an efficient way of combining the static analysis based on the security extended type some promising research areas are presented.

Key words: Mobile computation; Security policy; Type system; π calculus