计算机科学 ›› 2008, Vol. 35 ›› Issue (11): 74-77.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点，参照安全协议设计准则，以移动银行应用为背景设计了一个移动计算安全协议——MB协议，并基于Strand空间理论给出了正确性证明。
关键词: 串空间 安全协议 形式化分析 密码体制 移动计算
Abstract: The security protocol, which is a crucial basis in mobile computing,determines the security properties or even the fate of whole system. Therefore, investigated the runtime environment of mobile banking systems, studied the design and analysis methods oF
Key words: Strand space, Security protocol, Formal analysis, Cryptography, Mobile computing
. 基于Strand Space的移动计算安全协议设计与正确性证明[J]. 计算机科学, 2008, 35(11): 74-77. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I11/74
Cited
首页