
	Information Technology Journal
	Year: 2014 \| Volume: 13 \| Issue: 4 \| Page No.: 601-613 DOI: 10.3923/itj.2014.601.613

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

Navigation


		Online First
		Current Issue
		Previous Issues
		Editorial Board
		Submit a Manuscript
		Guide to Authors
		Subscribe to E-alerts

Indexed In


		ASCI-Database
		Asian Digital Library
		Google Scholar

Science Alert