An Approach for Formal Verification of Authentication Protocols

被引：0
|
作者：
A. M. Mironov
机构：
[1] Innopolis University,
[2] Lomonosov Moscow State University,undefined
来源：
Lobachevskii Journal of Mathematics | 2022年 / 43卷
关键词：
authentication protocols; processes; verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：443 / 454
页数：11
相关论文
共 50 条
  • [1] An Approach for Formal Verification of Authentication Protocols
    Mironov, A. M.
    [J]. LOBACHEVSKII JOURNAL OF MATHEMATICS, 2022, 43 (02) : 443 - 454
  • [2] Formal automatic verification of authentication cryptographic protocols
    Debbabi, M
    Mejri, M
    Tawbi, N
    Yahmadi, I
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 50 - 59
  • [3] Communication space reduction for formal verification of secure authentication protocols
    Kim, K
    Abraham, JA
    [J]. THIRD INTERNATIONAL WORKSHOP ON ADVANCED ISSUES OF E-COMMERCE AND WEB-BASED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 225 - 227
  • [4] Knowledge structure approach to verification of authentication protocols
    SU Kaile
    [J]. Science China(Information Sciences), 2005, (04) : 513 - 532
  • [5] Knowledge structure approach to verification of authentication protocols
    Su, KL
    Lü, GF
    Chen, QL
    [J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (04): : 513 - 532
  • [6] Knowledge structure approach to verification of authentication protocols
    Kaile Su
    Guanfeng Lü
    Qingliang Chen
    [J]. Science in China Series F: Information Sciences, 2005, 48 : 513 - 532
  • [7] Property verification for authentication protocols
    Indiradevi, K
    Nair, VSS
    Abraham, JA
    [J]. ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 82 - 85
  • [8] VERIFICATION AND MODELING OF AUTHENTICATION PROTOCOLS
    HAUSER, RC
    LEE, ES
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 648 : 141 - 154
  • [9] An approach to the formal verification of the three-principal security protocols
    Zhang, YQ
    Liu, XY
    Feng, DG
    [J]. SAM '05: Proceedings of the 2005 International Conference on Security and Management, 2005, : 163 - 169
  • [10] An approach to the formal verification of the two-party cryptographic protocols
    [J]. Oper Syst Rev ACM, 4 (48-51):
12345