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 条
  • [21] A general secure electronic auction protocol
    Xiao, QH
    Ping, LD
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 398 - 402
  • [22] Anonymous and secure electronic transaction protocol
    Brlek, Srecko
    Hamadou, Sardaouna
    Mullins, John
    Annales des Telecommunications/Annals of Telecommunications, 2005, 60 (5-6): : 530 - 557
  • [23] Anonymous and secure electronic transaction protocol
    Brlek, S
    Hamadou, S
    Mullins, J
    ANNALS OF TELECOMMUNICATIONS, 2005, 60 (5-6) : 530 - 557
  • [24] A Protocol for Secure Electronic Remote Voting
    Biagioni, Edoardo
    Dong, Yingfei
    Peterson, W. Wesley
    Sugihara, Kazuo
    2009 INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE SECURITY, 2009, : 87 - 92
  • [25] Secure protocol to construct electronic trading
    Matsuo, S
    Morita, H
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (01) : 281 - 288
  • [26] Secure protocol to construct electronic trading
    Matsuo, Shin'ichiro, 2001, IEICE of Japan, Tokyo, Japan (E84-A)
  • [27] An architecture for secure generation and verification of electronic coupons
    Garg, R
    Mittal, P
    Agarwal, V
    Modani, N
    USENIX ASSOCIATION PROCEEDINGS OF THE 2001 USENIX ANNUAL TECHNICAL CONFERENCE, 2001, : 51 - 63
  • [28] Conformance checking of electronic business processes to secure distributed transactions
    Talamo, Maurizio
    Arcieri, Franco
    Schunck, Christian H.
    D'Iddio, Andrea Callia
    2013 47TH INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), 2013,
  • [29] Using payment gateways to maintain privacy in secure electronic transactions
    Arnab, Alapan
    Hutchison, Andrew
    NEW APPROACHES FOR SECURITY, PRIVACY AND TRUST IN COMPLEX ENVIRONMENTS, 2007, 232 : 277 - +
  • [30] A Lightweight Payment Verification Protocol for Blockchain Transactions on IoT Devices
    Pouraghily, Arman
    Wolf, Tilman
    2019 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), 2019, : 617 - 623
12345