Automatic Verification of Security Protocols in the Symbolic Model: The Verifier Proverif

被引：81
|
作者：
机构：
[1] Blanchet, Bruno
来源：
Blanchet, Bruno (Bruno.Blanchet@inria.fr) | 1600年 / Springer Verlag卷 / 8604期
关键词：
71;
D O I：
10.1007/978-3-319-10082-1_3
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Modeling and Verification of Inter Realm Authentication in Kerberos Using Symbolic Model Verifier
    Mundra, Punit
    Sharma, Madhavi
    Shukla, Shobhit
    Singh, Sanjay
    TRENDS IN COMPUTER SCIENCE, ENGINEERING AND INFORMATION TECHNOLOGY, 2011, 204 : 496 - 506
  • [22] Symbolic verification of privacy-type properties for security protocols with XOR
    Baelde, David
    Delaune, Stephanie
    Gazeau, Ivan
    Kremer, Steve
    2017 IEEE 30TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2017, : 234 - 248
  • [23] Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
    Li, Di Long
    Tiu, Alwen
    AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 354 - 365
  • [24] Verification of Security Protocols
    Cortier, Veronique
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 5 - 13
  • [25] VERIFICATION OF PROTOCOLS USING SYMBOLIC EXECUTION
    BRAND, D
    JOYNER, WH
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5): : 351 - 360
  • [26] The Model Reasoning Verifier for cryptographic protocols
    Liu, YW
    Li, WQ
    COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY, 2001, : 290 - 295
  • [27] Automatic verification of a turbogas control system with the Murρ verifier
    Della Penna, G
    Intrigila, B
    Melatti, I
    Minichino, M
    Ciancamerla, E
    Parisse, A
    Tronci, E
    Zilli, MV
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 141 - 155
  • [28] Automatic verification of transparency protocols
    Cheval, Vincent
    Moreira, Jose
    Ryan, Mark
    2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P, 2023, : 107 - 121
  • [29] Verification of randomized security protocols
    Chadha, Rohit
    Sistla, A. Prasad
    Viswanathan, Mahesh
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [30] Generic verification of security protocols
    Khan, AS
    Mukund, M
    Suresh, SP
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2005, 3639 : 221 - 235
12345