ON THE FORMAL ANALYSIS OF PKCS AUTHENTICATION PROTOCOLS

被引：0
|
作者：
GAARDER, K
SNEKKENES, E
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 453卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：106 / 121
页数：16
相关论文
共 50 条
  • [1] Application of formal methods for analysis of authentication protocols
    Tiwari, RK
    DISTRIBUTED COMPUTING - IWDC 2004, PROCEEDINGS, 2004, 3326 : 536 - 536
  • [2] An extensive formal analysis of multi-factor authentication protocols
    Jacomme, Charlie
    Kremer, Steve
    IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), 2018, : 1 - 15
  • [3] An Extensive Formal Analysis of Multi-factor Authentication Protocols
    Jacomme, Charlie
    Kremer, Steve
    ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2021, 24 (02)
  • [4] Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID
    XIAO Meihua
    LI Wei
    ZHONG Xiaomei
    YANG Ke
    CHEN Jia
    ChineseJournalofElectronics, 2019, 28 (05) : 1025 - 1032
  • [5] Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID
    Xiao, Meihua
    Li, Wei
    Zhong, Xiaomei
    Yang, Ke
    Chen, Jia
    CHINESE JOURNAL OF ELECTRONICS, 2019, 28 (05) : 1025 - 1032
  • [6] The study on the application of BAN logic in formal analysis of authentication protocols
    Wen, Jinghua
    Zhang, Mei
    Li, Xiang
    Seventh International Conference on Electronic Commerce, Vols 1 and 2, Selected Proceedings, 2005, : 744 - 747
  • [7] Formal Reasoning on Authentication in Security Protocols
    Fattahi, Jaouhar
    Mejri, Mohamed
    Ghayoula, Ridha
    Pricop, Emil
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 282 - 289
  • [8] An Approach for Formal Verification of Authentication Protocols
    A. M. Mironov
    Lobachevskii Journal of Mathematics, 2022, 43 : 443 - 454
  • [9] An Approach for Formal Verification of Authentication Protocols
    Mironov, A. M.
    LOBACHEVSKII JOURNAL OF MATHEMATICS, 2022, 43 (02) : 443 - 454
  • [10] Research of Formal Design of Authentication Protocols
    Zhou, Yajie
    Guan, Huanmei
    2009 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INTELLIGENT SYSTEMS, PROCEEDINGS, VOL 3, 2009, : 25 - +
12345