AnBx: Automatic generation and verification of security protocols implementations

被引：0
|
作者：
School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 156-173期
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Abstract modeling - Automatic Generation - Consistency checks - Java codes - Java implementation - Model driven development approaches - Security goals - Security protocols
引用
收藏
相关论文
共 50 条
  • [31] 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,
  • [32] Generic verification of security protocols
    Khan, AS
    Mukund, M
    Suresh, SP
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2005, 3639 : 221 - 235
  • [33] Automatic Formal Verification of Block Cipher Implementations
    Smith, Eric Whitman
    Dill, David L.
    2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2008, : 45 - 51
  • [34] Formal verification of security protocol implementations: a survey
    Avalle, Matteo
    Pironti, Alfredo
    Sisto, Riccardo
    FORMAL ASPECTS OF COMPUTING, 2014, 26 (01) : 99 - 123
  • [35] Formally sound implementations of security protocols with Java']JavaSPI
    Sisto, Riccardo
    Copet, Piergiuseppe Bettassa
    Avalle, Matteo
    Pironti, Alfredo
    FORMAL ASPECTS OF COMPUTING, 2018, 30 (02) : 279 - 317
  • [36] An analysis of conformance issues in implementations of standardized security protocols
    Izquierdo, Antonio
    Sierra, Jose M.
    Torres, Joaquin
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (01) : 246 - 251
  • [37] Verified reference implementations of WS-security protocols
    Bhargavan, Karthikeyan
    Fournet, Cedric
    Gordon, Andrew D.
    WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 88 - 106
  • [38] Automated Verification of Accountability in Security Protocols
    Kuennemann, Robert
    Esiyok, Ilkan
    Backes, Michael
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 397 - 413
  • [39] A Modeling and Verification Framework for Security Protocols
    Lilli, Mario
    RIGOROUS STATE-BASED METHODS, ABZ 2021, 2021, 12709 : 158 - 161
  • [40] Automatic approximation for the verification of cryptographic protocols
    Oehl, F
    Cece, G
    Kouchnarenko, O
    Sinclair, D
    FORMAL ASPECTS OF SECURITY, 2003, 2629 : 33 - 48
12345