基于类型的安全移动计算模型

• 作者: 余万涛 胡光锐
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 移动计算 Agent 进程 位置 类型系统
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 信息安全
• 页码范围: 72-74
• 页数: 3页
• 分类号: TP311
• 字数: 4748字
• 语种: 中文

摘要

Agent的迁移和通信是影响移动计算安全性的重要问题,但是已有的移动计算模型缺乏相应的安全机制.针对这一问题,文中讨论了移动计算环境中基于语言的安全技术,同时建立了Confined-π计算模型,通过引入类型系统,该模型将Agent迁移和通信的安全问题转换成相应的静态分析特性,然后从静态分析的角度研究了保证Agent迁移和通信安全性的机制.