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 条
  • [21] STMAC: Spatio-Temporal Coordination-Based MAC Protocol for Driving Safety in Urban Vehicular Networks
    Jeong, Jaehoon
    Shen, Yiwen
    Jeong, Sangsoo
    Lee, Sejun
    Jeong, Hwanseok
    Oh, Tae
    Park, Taejoon
    Ilyas, Muhammad Usman
    Son, Sang Hyuk
    Du, David H. C.
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018, 19 (05) : 1520 - 1536
  • [22] Coordination-based molecular nanomaterials for biomedically relevant applications
    Wang, Chunfei
    Wang, Wenjing
    Tan, Jingyun
    Zhang, Xuanjun
    Yuan, Daqiang
    Zhou, Hong-Cai
    COORDINATION CHEMISTRY REVIEWS, 2021, 438
  • [23] Creating Coordination-Based Cavities in a Multiresponsive Supramolecular Gel
    Wei, Shi-Chao
    Pan, Mei
    Fan, Yuan-Zhong
    Liu, Haoliang
    Zhang, Jianyong
    Su, Cheng-Yong
    CHEMISTRY-A EUROPEAN JOURNAL, 2015, 21 (20) : 7418 - 7427
  • [24] Coordination-based dependencies for partner selection in virtual organisations
    Zarvic, Novica
    Seifert, Marcus
    PPS MANAGEMENT, 2008, 13 (04): : 18 - 20
  • [25] A Decomposition and Coordination-Based Method for Chiller Plant Optimization
    Zhang, Danxu
    Luh, Peter B.
    Fan, James
    Gupta, Shalabh
    2015 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS ENGINEERING (ICCSE), 2015,
  • [26] A coordination-based model for transition metal alloy nanoparticles
    Roling, Luke T.
    Choksi, Tej S.
    Abild-Pedersen, Frank
    NANOSCALE, 2019, 11 (10) : 4438 - 4452
  • [27] Dynamic Coordination-Based Reinforcement Learning for Driving Policy
    Si, Huaiwei
    Tan, Guozhen
    Peng, Yanfei
    Li, Jianping
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [28] Coordination-based symmetric and asymmetric bilayers on gold surfaces
    Moav, T
    Hatzor, A
    Cohen, H
    Libman, J
    Rubinstein, I
    Shanzer, A
    CHEMISTRY-A EUROPEAN JOURNAL, 1998, 4 (03) : 502 - 507
  • [29] Integration of task and data parallelism:: A coordination-based approach
    Díaz, M
    Rubio, B
    Soler, E
    Troya, JM
    HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 173 - 182
  • [30] Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning
    Tozicka, Jan
    Jakubuv, Jan
    Komenda, Antonin
    TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XXVIII, 2018, 10780 : 66 - 92
12345