@article{paperid:1053968,
author = {Ramezanian, Rasoul},
title = {Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions},
journal = {ISeCure},
year = {2009},
volume = {1},
number = {1},
month = {January},
issn = {2008-2045},
pages = {55--67},
			numpages = {12},
keywords = {authentication; Process Algebra; Parallel Sessions; Security},
}