
	Information Technology Journal
	Year: 2011 \| Volume: 10 \| Issue: 6 \| Page No.: 1068-1091 DOI: 10.3923/itj.2011.1068.1091

A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model

Bo Meng

Abstract: Security protocols and cryptographic primitive play a very important role in information security world. People have paid a serious attention to the methods to verify security properties in security protocols and cryptographic primitives. From 1980's two distinct approaches: Symbolic approach and computational approach have been proposedd for it. Recently, significant advances have been made in verification on security properties in security protocols and cryptographic primitives and these two approaches. In this study we survey the existing results on the fields including symmetric encryption, public key encryption, digital signature, hush function, secrecy, key cycles, information flow, secrecy, automatic proof, deniable authentication protocol, electronic payment protocol and internet voting protocol in symbolic model and computational model. The survey processes in two lines: One line follows the trace of emergence and developments of verification on security properties in security protocols and cryptographic primitives. The other line is to discuss what methods are usedd and how to verify these security properties during the developments. Finally we give the existing results on verification on security properties in security protocols and cryptographic primitives in symbolic model and computational model.

PDF Fulltext XML References Citation Report Citation

RELATED ARTICLES:

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

•	Automatic Verification of Security Properties of OAuth 2.0 Protocol with Cryptoverif in Computational Model

•	UC Secure Network Coding Against Pollution Attacks

•	Two-layer Cellular Automata Based Cryptography

•	Formalizing Deniability

•	A Critical Review of Receipt-Freeness and Coercion-Resistance

•	Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model

•	Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif

How to cite this article:

Bo Meng , 2011. A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model. Information Technology Journal, 10: 1068-1091.

DOI: 10.3923/itj.2011.1068.1091

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

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