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
Pages
35
From page
425
To page
459
Keywords
Compositionality , Security protocols , Automatic verification , Security properties , authentication , Confidentiality , Semantics , WiMAX
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262467
Link To Document