-
题名NetBill协议的形式化描述及分析
被引量:2
- 1
-
-
作者
冯涛
余冬梅
边培泉
-
机构
兰州理工大学电气工程与信息工程学院
-
出处
《兰州理工大学学报》
CAS
北大核心
2004年第4期102-105,共4页
-
基金
国家科技攻关项目(2001BA201A32)
-
文摘
通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.
-
关键词
NetBill安全协议
电子商务
电子支付
属性
-
Keywords
NetBill
security protocol
electronic commerce
electronic payment
attribution
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名安全协议中的形式化验证技术
被引量:1
- 2
-
-
作者
余冬梅
边培泉
冯涛
-
机构
甘肃工业大学电气工程与信息工程学院
-
出处
《微机发展》
2003年第11期112-114,124,共4页
-
文摘
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议。文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。
-
关键词
安全协议
形式化验证技术
网络协议
计算机网络
-
Keywords
security protocol
formal verification technique
BAN logic
state enumeration
theorem proving
-
分类号
TN915.04
[电子电信—通信与信息系统]
TP393
[自动化与计算机技术—计算机应用技术]
-