A Coordination-based Methodology for Security Protocol Verification

被引：3
|
作者：
Baldi, Giacomo [1 ]
Bracciali, Andrea [1 ]
Ferrari, Gianluigi [1 ]
Tuosto, Emilio [1 ]
机构：
[1] Dipartimento Informat, Via F Buonarroti 2, I-56127 Pisa, Italy
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 121卷
关键词：
Formal methods; formal certification; security protocols; open systems; symbolic model checking;
D O I：
10.1016/j.entcs.2004.10.006
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The quest for the formal certification of properties of systems is one of the most challenging research issues in the field of formal methods. It requires the development of formal models together with effective verification techniques. In this paper, we describe a formal methodology for verifying security protocols based on ideas borrowed from the analysis of open systems, where applications interact with one another by dynamically sharing common resources and services in a not fully trusted environment. The methodology is supported by ASPASyA, a tool based on symbolic model checking techniques.
引用
收藏
页码：23 / 46
页数：24
相关论文
共 50 条
  • [31] Methodological Security Verification of a Registration Protocol
    Diaz, Jesus
    Arroyo, David
    Rodriguez, Francisco B.
    INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14, 2014, 299 : 453 - 462
  • [32] Security protocol specification and verification with AnBx
    Bugliesi, Michele
    Calzavara, Stefano
    Modersheim, Sebastian
    Modesti, Paolo
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2016, 30 : 46 - 63
  • [33] Automatic analyzer for security protocol verification
    Li, Xie-Hua
    Yang, Shu-Tang
    Li, Jian-Hua
    Zhu, Hong-Wen
    WMSCI 2006: 10TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS, 2006, : 104 - 109
  • [34] Coordination-based reactive resource-constrained project scheduling
    Joo, Byung Jun
    Chua, Tay Jin
    Cai, Tian Xiang
    Chua, Ping Chong
    52ND CIRP CONFERENCE ON MANUFACTURING SYSTEMS (CMS), 2019, 81 : 51 - 56
  • [35] Phosphines as building blocks in coordination-based self-assembly
    James, Stuart L.
    CHEMICAL SOCIETY REVIEWS, 2009, 38 (06) : 1744 - 1758
  • [36] Mechanochemistry of inorganic compounds and coordination-based materials: General discussion
    Suslick
    Dr Peters
    Balaz
    MacGillivray
    Dr Stolle
    Dr Friscic
    Beyer
    Galembeck
    Dr Maini
    Jones
    Dr Blair
    Bolm
    James
    Takacs
    Dr Lamaty
    Zhang
    Dr Irikura
    Dr Day
    Troebs
    Huskic
    Dr Pecharsky
    Sepelak
    Dr Gupta
    Dr Moores
    Rak
    Brekalo
    Mr Do
    Dr Lamaty
    Dr Khripin
    FARADAY DISCUSSIONS, 2014, 170 : 181 - 201
  • [37] Coordination-based molecular assemblies as highly efficient electrochromic materials
    Lahav, Michal
    Elool-Dov, Neta
    Shankar, Sreejith
    Van der Boom, Milko
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2016, 251
  • [38] Model coordination-based decentralized control of composite multivariable system
    V. N. Bukov
    A. M. Bronnikov
    N. I. Sel’vesyuk
    Automation and Remote Control, 2009, 70 : 1595 - 1605
  • [39] Model coordination-based decentralized control of composite multivariable system
    Bukov, V. N.
    Bronnikov, A. M.
    Sel'vesyuk, N. I.
    AUTOMATION AND REMOTE CONTROL, 2009, 70 (10) : 1595 - 1605
  • [40] Bottom-Up Assembly of Multicomponent Coordination-Based Oligomers
    Mondal, Prakash Chandra
    Lakshmanan, Jeyachandran Yekkoni
    Hamoudi, Hicham
    Zharnikov, Michael
    Gupta, Tarkeshwar
    JOURNAL OF PHYSICAL CHEMISTRY C, 2011, 115 (33): : 16398 - 16404
12345