Formal methods for the analysis and design of cryptographic protocols: A state-of-the-art review

被引：0
|
作者：
Gritzalis, S
Nikitakos, N
Georgiadis, P
机构：
来源：
COMMUNICATIONS AND MULTIMEDIA SECURITY, VOL 3 | 1997年
关键词：
cryptographic protocols; protocol analysis tools; open networks and distributed systems security;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A state-of-the-art review is presented concerning formal methods for the design and analysis of cryptographic protocols over open networks and distributed systems. The most commonly followed approaches to the applications of related formal methods are reviewed, followed by the examination of robustness principles and application limitations as rules of thumb. Finally the modern trends for the use of formal methods in the design of new cryptographic protocols are discussed.
引用
收藏
页码：119 / 132
页数：6
相关论文
共 50 条
  • [31] Experimental investigation of design and retrofit methods for blast load mitigation - A state-of-the-art review
    Draganic, Hrvoje
    Gazic, Goran
    Varevac, Damir
    ENGINEERING STRUCTURES, 2019, 190 : 189 - 209
  • [32] State-of-the-art review of symmetric and asymmetric friction connections: seismic behavior and design methods
    Kim E.
    Fan K.
    Jia L.-J.
    Gongcheng Lixue/Engineering Mechanics, 2021, 38 (05): : 22 - 37and49
  • [33] State-of-the-art review
    Langhoff-Roos, Jens
    ACTA OBSTETRICIA ET GYNECOLOGICA SCANDINAVICA, 2016, 95 (09) : 963 - 964
  • [34] STATE-OF-THE-ART REVIEW
    Filipiak, Krzysztof J.
    KARDIOLOGIA POLSKA, 2013, 71 (05)
  • [35] State-of-the-art review on Twitter Sentiment Analysis
    Alshammari, Norah Fahad
    AlMansour, Amal Abdullah
    2019 2ND INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS & INFORMATION SECURITY (ICCAIS), 2019,
  • [36] A literature review on the state-of-the-art in patent analysis
    Abbas, Assad
    Zhang, Limin
    Khan, Samee U.
    WORLD PATENT INFORMATION, 2014, 37 : 3 - 13
  • [37] State-of-the-Art Method in Prosthetic Hand Design: A Review
    Triwiyanto, T.
    Rahmawati, Triana
    Pawana, I. Putu Alit
    Lamidi, L.
    Hamzah, Torib
    Pudji, Andjar
    Mak'ruf, Muhammad Ridha
    Torib, Sari Luthfiyah
    JOURNAL OF BIOMIMETICS BIOMATERIALS AND BIOMEDICAL ENGINEERING, 2021, 50 : 15 - 24
  • [38] Review and analysis for state-of-the-art NLP models
    Dikshit S.
    Dixit R.
    Shukla A.
    International Journal of Systems, Control and Communications, 2023, 15 (01) : 48 - 78
  • [39] POSITION CLASSIFICATION - A STATE-OF-THE-ART REVIEW AND ANALYSIS
    FRANK, MS
    PUBLIC PERSONNEL MANAGEMENT, 1982, 11 (03) : 239 - 247
  • [40] State-of-the-Art Review on Seismic Design of Steel Structures
    Uang, Chia-Ming
    Bruneau, Michel
    JOURNAL OF STRUCTURAL ENGINEERING, 2018, 144 (04)
12345