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 条
  • [41] Experimental comparison of automatic tools for the formal analysis of cryptographic protocols
    Cheminod, M.
    Bertolotti, I. Cibrario
    Durante, L.
    Sisto, R.
    Valenzano, A.
    DEPCOS - RELCOMEX '07: INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 153 - +
  • [42] Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
    State Key Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
    不详
    不详
    Chin J Electron, 2007, 4 (701-706):
  • [43] Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
    Xiao, Meihua
    Xue, Jinyun
    CHINESE JOURNAL OF ELECTRONICS, 2007, 16 (04): : 701 - 706
  • [44] Spectrometric methods in pharmaceutical analysis of glycosaminoglycans: the state-of-the-art
    Karel Nesměrák
    Rudolf Pospíchal
    Monatshefte für Chemie - Chemical Monthly, 2020, 151 : 1185 - 1192
  • [45] Spectrometric methods in pharmaceutical analysis of glycosaminoglycans: the state-of-the-art
    Nesmerak, Karel
    Pospichal, Rudolf
    MONATSHEFTE FUR CHEMIE, 2020, 151 (08): : 1185 - 1192
  • [46] Cardiac Computed Tomography Protocols in Structural Heart Disease: A State-of-the-Art Review
    Chamberlin, Jordan H.
    Baruah, Dhiraj
    Smith, Carter
    Mcguire, Aaron
    Maisuria, Dhruw
    Kabakus, Ismail M.
    SEMINARS IN ROENTGENOLOGY, 2024, 59 (01) : 7 - 19
  • [47] State-of-the-art methods and results in tool condition monitoring: a review
    Adam G. Rehorn
    Jin Jiang
    Peter E. Orban
    The International Journal of Advanced Manufacturing Technology, 2005, 26 : 693 - 710
  • [48] State-of-the-Art and Comparative Review of Adaptive Sampling Methods for Kriging
    Fuhg, Jan N.
    Fau, Amelie
    Nackenhorst, Udo
    ARCHIVES OF COMPUTATIONAL METHODS IN ENGINEERING, 2021, 28 (04) : 2689 - 2747
  • [49] Blast behaviour prediction and simulation methods: A state-of-the-art review
    Sharaf, Tarek
    Ismail, Sara
    Elghandour, Mohamed
    Turk, Ahmed
    STRUCTURAL ENGINEERING AND MECHANICS, 2024, 92 (02) : 207 - 226
  • [50] State-of-the-art methods and results in tool condition monitoring: a review
    Rehorn, AG
    Jiang, J
    Orban, PE
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2005, 26 (7-8): : 693 - 710
12345