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

作者：许峰; 高晓春; 黄皓

来源：计算机科学, 2008, (11): 74-77+184.

• 串空间
• 安全协议
• 形式化分析
• 密码体制
• 移动计算 Strand space
• Security protocol
• Formal analysis
• Cryptography
• Mobile computing

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学; 河海大学