IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Verification of Protocols in E-commerce

2010 Fourth International Conference on Mangement of E-Commerce and E-Government (ICMeCG)

Author(s): Jiafen Liu ; Xiumeng Han ; Xubin Luo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Chengdu, Sichuan, China, China
Conference Date: 23 October 2010
Page(s): 398 - 401
ISBN (Paper): 978-1-4244-8507-9
DOI: 10.1109/ICMeCG.2010.87
Regular:

E-commerce protocols are integral components of E-commerce systems. Verification of E-Commerce protocols'security level has become a hot spot in both information security and E-commerce... View More

Advertisement