Automated Reasoning for Security Protocol Analysis

被引：0
|
作者：
Alessandro Armando
David Basin
Jorge Cuellar
Michaël Rusinowitch
Luca Viganò
机构：
[1] Università di Genova,
[2] ETH Zurich,undefined
[3] Siemens AG,undefined
[4] LORIA-INRIA-Lorraine,undefined
来源：
Journal of Automated Reasoning | 2006年 / 36卷
关键词：
Security Protocol; Automate Reasoning; Group Protocol; Dictionary Attack; Probabilistic Encryption;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 3
页数：2
相关论文
共 50 条
  • [1] Automated reasoning for security protocol analysis
    Armando, Alessandro
    Basin, David
    Cuellar, Jorge
    Rusinowitch, Michael
    Vigano, Luca
    [J]. JOURNAL OF AUTOMATED REASONING, 2006, 36 (1-2) : 1 - 3
  • [2] Automated Reasoning for Security Protocol Analysis -: Preface
    Degano, Pierpaolo
    Vigano, Luca
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 367 (1-2) : 1 - 1
  • [3] Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06)
    Degano, Pierpaolo
    Kusters, Ralf
    Vigano, Luca
    Zdancewic, Steve
    [J]. INFORMATION AND COMPUTATION, 2008, 206 (2-4) : 129 - 129
  • [4] Automated Security Protocol Analysis With the AVISPA Tool
    Vigano, Luca
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 61 - 86
  • [5] Formal Reasoning for Security Protocol Correctness
    Adi, Kamel
    Pene, Liviu
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 63 - +
  • [6] Using Automated Model Analysis for Reasoning about Security of Web Protocols
    Kumar, Apurva
    [J]. 28TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2012), 2012, : 289 - 298
  • [7] Automated Reasoning towards Quantitative Security Assurance
    Zhou, Zhengshu
    Zhi, Qiang
    Yamamoto, Shuichiro
    Liang, Zilong
    [J]. PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019), 2019, : 394 - 399
  • [8] CHECKMATE: Automated Game-Theoretic Security Reasoning
    Brugger, Lea Salome
    Kovacs, Laura
    Komel, Anja Petkovic
    Rain, Sophie
    Rawson, Michael
    [J]. PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1407 - 1421
  • [9] Formal Security Analysis of Authentication in SNMPv3 Protocol by An Automated Tool
    Asadi, Sepideh
    Shahhoseini, Hadi Shahriar
    [J]. 2012 SIXTH INTERNATIONAL SYMPOSIUM ON TELECOMMUNICATIONS (IST), 2012, : 1060 - 1064
  • [10] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
    Lujo Bauer
    Sandro Etalle
    Jerry den Hartog
    Luca Viganò
    [J]. Journal of Automated Reasoning, 2011, 46 : 223 - 224
12345