%0 Journal Article
%T Process Algebraic Modeling of Authentication Protocols for Analysis of Parallel Multi-Session Executions
%A Ramezanian, Rasoul
%J ISeCure
%@ 2008-2045
%D 2009