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 条
  • [21] Asymptotic energy efficiency analysis for the state-of-the-art relaying protocols
    Wang Y.-N.
    Zhang J.-H.
    Xu W.
    Journal of China Universities of Posts and Telecommunications, 2011, 18 (06): : 8 - 13
  • [22] Asymptotic energy efficiency analysis for the state-of-the-art relaying protocols
    WANG Yu-ning
    The Journal of China Universities of Posts and Telecommunications, 2011, 18 (06) : 8 - 13
  • [23] State-of-the-art methods for inverse design of an enclosed environment
    Liu, Wei
    Zhang, Tengfei
    Xue, Yu
    Zhai, Zhiqiang
    Wang, Jihong
    Wei, Yun
    Chen, Qingyan
    BUILDING AND ENVIRONMENT, 2015, 91 : 91 - 100
  • [24] Object Detection: A Comprehensive Review of the State-of-the-Art Methods
    Kumar, Akhil
    Kalia, Arvind
    Sharma, Akashdeep
    INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2020, 11 (01): : 52 - 75
  • [25] State-of-the-art review and benchmarking of barcode localization methods
    Vezzali, Enrico
    Bolelli, Federico
    Santi, Stefano
    Grana, Costantino
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2025, 147
  • [26] State-of-the-Art Methods for Brain Tissue Segmentation: A Review
    Dora L.
    Agrawal S.
    Panda R.
    Abraham A.
    Panda, Rutuparna (r-ppanda@yahoo.co.in), 2017, Institute of Electrical and Electronics Engineers Inc., United States (10) : 235 - 249
  • [27] Design and analysis of cryptographic protocols for RFID
    State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
    Jisuanji Xuebao, 2006, 4 (581-589):
  • [28] Fatigue test setups and analysis methods for asphalt mixture: A state-of-the-art review
    Cheng, Huailei
    Sun, Lijun
    Wang, Yuhong
    Liu, Liping
    Chen, Xingyu
    JOURNAL OF ROAD ENGINEERING, 2022, 2 (04) : 279 - 308
  • [29] Fatigue test setups and analysis methods for asphalt mixture:A state-of-the-art review
    Huailei Cheng
    Lijun Sun
    Yuhong Wang
    Liping Liu
    Xingyu Chen
    Journal of Road Engineering, 2022, 2 (04) : 279 - 308
  • [30] Knowledge Representation and Reasoning Methods in the Concept Development of Product Design: A State-of-the-Art Review
    Wang, Zuoxu
    Zheng, Pai
    Lee, Ching-Hung
    Chen, Chun-Hsien
    TRANSDISCIPLINARY ENGINEERING METHODS FOR SOCIAL INNOVATION OF INDUSTRY 4.0, 2018, 7 : 478 - 487
12345