NetBill协议的形式化描述及分析 |
| |
引用本文: | 冯涛,余冬梅,边培泉.NetBill协议的形式化描述及分析[J].兰州理工大学学报,2004,30(4):102-105. |
| |
作者姓名: | 冯涛 余冬梅 边培泉 |
| |
作者单位: | 兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050;兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050;兰州理工大学,电气工程与信息工程学院,甘肃,兰州,730050 |
| |
基金项目: | 国家科技攻关项目(2001BA201A32) |
| |
摘 要: | 通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.
|
关 键 词: | NetBill 安全协议 电子商务 电子支付 属性 |
文章编号: | 1000-5889(2004)03-0102-04 |
修稿时间: | 2003年7月2日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|