%0 Journal Article
%T A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving
%A Mohsen Pourpouneh
%A  Ramezanian, Rasoul
%J ISeCure
%@ 2008-2045
%D 2016