基于Strand Space的移动计算安全协议设计与正确性证明

摘要：

安全协议对移动计算的安全性质起着决定作用.根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议--MB协议,并基于Strand空间理论给出了正确性证明.

关键词：串空间、安全协议、形式化分析、密码体制、移动计算

所属期刊栏目：35

分类号：TP3;TN9

资助基金：国家自然科学基金60473091;国家"八六三"高技术研究发展计划项目基金2007AA01Z409

在线出版日期：2009-02-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：74-77,184