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

• 作者: 余万涛 胡光锐
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 移动计算 安全策略 类型系统 π演算
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 博士论文
• 页码范围: 3-4,31
• 页数: 3页
• 分类号: TP393
• 字数: 3103字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.12.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光锐	上海交通大学电子信息学院	130	1646	20.0	35.0
2	余万涛	上海交通大学电子信息学院	4	4	1.0	1.0