完整性证明论文

普适计算安全协议的模块设计及CSP分析
论文摘要普适计算是继大型主机计算、桌面计算后的第三代计算,它将物理世界与计算世界融合为一体,使得人们与计算的联系空前紧密。随着各类普适计算项目的出现,人们主要关注的是新技术的应...