计宏霖
- 作品数：2 被引量：5H指数：1
- 供职机构：解放军信息工程大学信息工程学院更多>>
- 发文基金：博士研究生创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 基于UPPAAL的电子商务协议安全性分析
- 随着网络的迅速发展,电子商务正逐渐得到大规模的应用。但电子商务的安全问题也越来越突出,已成为网上购物者的主要顾虑,没有安全就没有可被人们接受的电子商务。安全的电子商务协议是保证电子商务活动正常开展的基础,但一个貌似安全的...
- 计宏霖
- 关键词：电子商务协议UPPAAL
- 文献传递
- 一种新的电子商务协议分析方法被引量：5
- 2010年
- 基于卿-周逻辑给出了一些新的逻辑推理规则,并提出了一种扩展的通信有限状态自动机,用于分析电子商务协议的安全性质。该方法可描述协议参与者的行为与知识,且无需人为地引入初始假设。对扩展模型抽象并修改后,还可验证其它一些与加密、签名消息无关的性质。利用该方法分析了匿名可恢复的公平交换协议,发现其满足有效性、公平性、可追究性,但不满足匿名性,并用UPPAAL验证了协议的公平性、活性与时效性等。
- 郭华李舟军庄雷计宏霖
- 关键词：电子商务协议逻辑分析
