Title of article :
A framework for compositional verification of security protocols
Author/Authors :
Suzana Andova، نويسنده , , Cas Cremers، نويسنده , , Kristian Gj?steen، نويسنده , , Sjouke Mauw، نويسنده , , Stig F. Mj?lsnes، نويسنده , , Sa?a Radomirovi?، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Compositionality , Security protocols , Automatic verification , Security properties , authentication , Confidentiality , Semantics , WiMAX
Journal title :
Information and Computation
Journal title :
Information and Computation
