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