Subscribe Now Subscribe Today
Science Alert
 
Blue
   
Curve Top
Information Technology Journal
  Year: 2014 | Volume: 13 | Issue: 4 | Page No.: 601-613
DOI: 10.3923/itj.2014.601.613
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model

Bo Meng, Leyuan Niu, Yitong Yang and Zimao Li

Abstract:
In modern society, many transactions have been processed through web-based applications. In order to protect those critical applications against attacks, Transport Layer Security (TLS) protocol has been implemented and widely deployed. The related literatures show that security analysis of TLS 1.2 protocol where cipher suite is RSA encryption has not been implemented with mechanized tool in computational model. Hence in this study, Blanchet calculus is used to analyze TLS 1.2 protocol where cipher suite is RSA encryption with mechanized tool crypto verif in computational model. The term, process and correspondence are used to model authentication in TLS 1.2 protocol where cipher suite is RSA encryption. The result shows that TLS 1.2 protocol where Cipher suite is RSA encryption has the pre master key confidentiality and authentication from server to client. The first mechanized analysis on TLS 1.2 protocol where Cipher suite is RSA encryption is implemented in computational model with active adversary in this study.
PDF Fulltext XML References Citation Report Citation
 RELATED ARTICLES:
  •    A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model
How to cite this article:

Bo Meng, Leyuan Niu, Yitong Yang and Zimao Li, 2014. Mechanized Verification of Security Properties of Transport Layer Security 1.2 Protocol with Crypto Verif in Computational Model. Information Technology Journal, 13: 601-613.

DOI: 10.3923/itj.2014.601.613

URL: https://scialert.net/abstract/?doi=itj.2014.601.613

COMMENT ON THIS PAPER
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

Curve Bottom