Breaking and fixing the Helsinki protocol using SMV

被引：1
|
作者：
Zhang, YQ [1 ]
Xiao, GZ [1 ]
机构：
[1] Xidian Univ, Inst Informat Secur, Xian 710071, Peoples R China
来源：
ELECTRONICS LETTERS | 1999年 / 35卷 / 15期
关键词：
D O I：
10.1049/el:19990836
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
An analysis is made of the Helsinki protocol using SMV, a model checker. The results show that the Horng-Hsu attack is the only successful attack on the protocol, and a new modified Helsinki protocol is proposed which is immune to the attack and better than the previous revised Helsinki protocol.
引用
收藏
页码：1239 / 1240
页数：2
相关论文
共 50 条
  • [21] Breaking and Fixing Destructive Code Read Defenses
    Pewny, Jannik
    Koppe, Philipp
    Davi, Lucas
    Holz, Thorsten
    33RD ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2017), 2017, : 55 - 67
  • [22] Breaking and fixing public-key Kerberos
    Cervesato, Iliano
    Jaggard, Aaron D.
    Scedrov, Andre
    Tsay, Joe-Kai
    Walstad, Christopher
    INFORMATION AND COMPUTATION, 2008, 206 (2-4) : 402 - 424
  • [23] Breaking and Fixing Cryptophia's Short Combiner
    Mennink, Bart
    Preneel, Bart
    CRYPTOLOGY AND NETWORK SECURITY, CANS 2014, 2014, 8813 : 50 - +
  • [24] Breaking and fixing public-key Kerberos
    Cervesato, I.
    Jaggard, A. D.
    Scedrov, A.
    Tsay, J. -K.
    Walstad, C.
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 167 - +
  • [25] Breaking and Fixing Content-Based Filtering
    Dhiman, Mayank
    Jakobsson, Markus
    Yen, Ting-Fang
    PROCEEDINGS OF THE 2017 APWG SYMPOSIUM ON ELECTRONIC CRIME RESEARCH (ECRIME), 2017, : 52 - 56
  • [26] Breaking the conformal gauge by fixing time protocols
    Fatibene, Lorenzo
    Garruto, Simon
    Polistina, Maurizio
    INTERNATIONAL JOURNAL OF GEOMETRIC METHODS IN MODERN PHYSICS, 2015, 12 (04)
  • [27] Sigforgery: Breaking and Fixing Data Authenticity in Sigfox
    Ferreira, Loic
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I, 2021, 12674 : 331 - 350
  • [28] Phylogenetic Analysis Using an SMV Tool
    Ignacio Requeno, Jose
    Blanco, Roberto
    de Miguel Casado, Gregorio
    Manuel Colom, Jose
    5TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS (PACBB 2011), 2011, 93 : 167 - 174
  • [29] Breaking from and building on the past: Helsinki and Dublin after independence
    Niemi, Marjaana
    IRISH HISTORICAL STUDIES, 2017, 41 (160) : 238 - 255
  • [30] Verifying and fixing Password Authentication Protocol
    Ma, Xiaoqi
    McCrindle, Rachel
    Cheng, Xiaochun
    SNPD 2006: SEVENTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 324 - +
12345