一个安全移动代理系统的设计与实现

摘要

该文在介绍现有的移动代理系统的安全工作的基础上,提出了一个基于Lucent公司Inferno操作系统安全的移动代理系统——TeleKaron系统.Inferno操作系统为TeleKaron系统提供了安全的底层支持软件,并适用于资源有限的设备.在对Inferno操作系统作了必要的介绍之后,我们开始分析TeleKaron的系统结构,并介绍了系统的设计思想.针对移动代理在迁徙过程中的安全性方面的问题,提出了非对称双向鉴证的协议.针对移动代理系统中的重复攻击问题,提出了一种新的机制:互质增量时间戳机制,并证明了它在防范恶意代理的重复攻击和越权攻击时的正确性.用产生随机数的方法不能有效地防范恶意移动代理的重复攻击,该文所提出的互质增量时间戳机制在一定程度上较好地解决了这个问题.以名字空间的方式建立移动代理的运行环境,设定了移动代理能够访问的资源.