@article{paperid:1058848,
author = {Mohsen Pourpouneh and Ramezanian, Rasoul},
title = {A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving},
journal = {ISeCure},
year = {2016},
volume = {8},
number = {1},
month = {January},
issn = {2008-2045},
pages = {1--22},
			numpages = {21},
keywords = {Cryptographic Protocols; Formal
Verification; Model Checking;
Theorem Proving.},
}