Logical verification of secure electronic transactions protocol

被引：0
|
作者：
Chen, Qingfeng
Wang, Ju
Bai, Shuo
Zhang, Shichao
Sui, Liying
机构：
来源：
Ruan Jian Xue Bao/Journal of Software | 2000年 / 11卷 / 03期
关键词：
Cryptography - Formal logic - Network protocols - Security of data;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In the previous work, some segments of secure electronic transactions (SET) are verified, and some potential problems in SET are also discussed. Based on these, all transactions in SET are strictly logically verified. Through this formal logic verification, certain problems, which exist in SET are found. Solutions to these problems are also discussed.
引用
收藏
页码：346 / 362
相关论文
共 50 条
  • [41] Secure electronic voting protocol with IC cards
    Natl Chung Hsing Univ, Taichung, Taiwan
    J Syst Software, 2 (93-101):
  • [42] A secure electronic voting protocol for general elections
    Liaw, HT
    COMPUTERS & SECURITY, 2004, 23 (02) : 107 - 119
  • [43] A Secure and Efficient Protocol for Electronic Treasury Auctions
    Bektas, Atilla
    Kiraz, Mehmet Sabir
    Uzunkol, Osmanbey
    CRYPTOGRAPHY AND INFORMATION SECURITY IN THE BALKANS, 2015, 9024 : 123 - 140
  • [44] Verifiable democracy: A protocol to secure an electronic legislature
    Desmedt, Y
    King, B
    ELECTRONIC GOVERNMENT, PROCEEDINGS, 2002, 2456 : 460 - 463
  • [45] A secure electronic voting protocol with IC cards
    Jan, JK
    Tai, CC
    JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 39 (02) : 93 - 101
  • [46] Logical key tree based secure multicast protocol with copyright protection
    Chen, WT
    Hsu, HL
    Chiang, JL
    19th International Conference on Advanced Information Networking and Applications, Vol 1, Proceedings: AINA 2005, 2005, : 279 - 284
  • [47] A Secure Electronic Payment Protocol Design and Implementation
    El Ismaili, Houssam
    Houmani, Hanane
    Madroumi, Hicham
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2015, 15 (05): : 76 - 84
  • [48] Mobile agents for secure electronic commerce transactions with privacy protection of the customers
    Wang, CJ
    Leung, HF
    2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 530 - 535
  • [49] Hungary's Electronic Signature Act: Enhancing Economic Development with Secure Electronic Commerce Transactions
    Blythe, Stephen E.
    INFORMATION & COMMUNICATIONS TECHNOLOGY LAW, 2007, 16 (01) : 47 - 71
  • [50] A Secure Ownership Transfer Protocol Supporting Face to Face Transactions for RFID Tag
    Lyn Xin-mei
    Zhang Tao
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (12): : 399 - 407
12345