Running-mode analysis of the SSL protocol

被引：0
|
作者：
Zhang, YQ [1 ]
Liu, XY [1 ]
Yang, B [1 ]
机构：
[1] Chinese Acad Sci, Grad Sch, Beijing, Peoples R China
来源：
ICOMP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING | 2005年
关键词：
Internet security; SSL protocol; running-mode analysis;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Secure Socket Layer (SSL) protocol is analyzed using a formal analysis method called the approach of the running-mode analysis. This analysis uncovers successfully some anomalies in the basic SSL handshake protocol. And we give some attacks on these anomalies.
引用
下载
收藏
页码：308 / 311
页数：4
相关论文
共 50 条
  • [21] Implementation of a Security Layer for the SSL/TLS Protocol
    Ordean, Mihai
    Giurgiu, Mircea
    2010 9TH INTERNATIONAL SYMPOSIUM ON ELECTRONICS AND TELECOMMUNICATIONS (ISETC), 2010, : 209 - 212
  • [22] Integration of the digital signature in the protocol SSL/TLS
    Serhrouchni, Ahmed
    Hajjeh, Ibrahim
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 2006, 61 (5-6): : 522 - 541
  • [23] TSSL: improving SSL/TLS protocol by trust model
    Kaljahi, Maryam Asadzadeh
    Payandeh, Ali
    Ghaznavi-Ghoushchi, Mohammad Bagher
    SECURITY AND COMMUNICATION NETWORKS, 2015, 8 (09) : 1659 - 1671
  • [24] A comprehensive study on security attacks on SSL/TLS Protocol
    Sirohi, Preeti
    Agarwal, Amit
    Tyagi, Sapna
    PROCEEDINGS ON 2016 2ND INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2016, : 893 - 897
  • [25] Research and realization of security proxy based on SSL protocol
    Wang, Yanhua
    Yang, Kuihe
    Zhang, Yun
    ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL II, 2007, : 264 - 267
  • [26] Investigation of the Applicability of SSL/TLS Protocol for VPN in APCS
    Rybin, Dmitry
    Piliugina, Karina
    Piliugin, Pavel
    PROCEEDINGS OF THE 2018 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2018, : 1318 - 1321
  • [27] Analysis of the Throughput in Selective Mode of Transport Protocol
    Kokshenev, Vladimir
    Mikheev, Pavel
    Suschenko, Sergey
    Tkachyov, Roman
    DISTRIBUTED COMPUTER AND COMMUNICATION NETWORKS, DCCN 2016, 2016, 678 : 168 - 181
  • [28] A high performance SSL IPSEC protocol aware security processor
    Carlson, D
    Brasili, D
    Hughes, A
    Jain, A
    Kiszely, T
    Kodandapani, P
    Vardharajan, A
    Xanthopoulos, T
    Yalala, V
    2003 IEEE INTERNATIONAL SOLID-STATE CIRCUITS CONFERENCE: DIGEST OF TECHNICAL PAPERS, 2003, 46 : 142 - +
  • [29] Design of safety system to improve the qualitative performance of SSL protocol
    Information Security Center, State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
    不详
    Beijing Youdian Daxue Xuebao, 2007, 6 (89-93):
  • [30] User requirements-aware security ranking in SSL protocol
    Fang Qi
    Zhe Tang
    Guojun Wang
    Jie Wu
    The Journal of Supercomputing, 2013, 64 : 762 - 776
12345