10.3969/j.issn.1000-3428.2006.12.002
一种基于程序语言的移动计算安全模型
从分析移动计算环境下计算安全性的基本问题入手,探讨了基于程序语言的安全技术和实现方法.通过对移动计算安全框架的分析,指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一.以Nomadic-π为元语言,给出了如何实现静态安全性分析的具体方法,并指出了未来的研究方向.
移动计算、安全策略、类型系统、π演算
32
TP393(计算技术、计算机技术)
2006-07-14(万方平台首次上网日期,不代表论文的发表时间)
共3页
3-4,31