Title of article
Hierarchical combination of intruder theories
Author/Authors
Yannick Chevalier، نويسنده , , Michaël Rusinowitch، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
26
From page
352
To page
377
Keywords
Cryptographic protocols , Combination of decision procedures , Dolev–Yao intruder , equational theories
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262464
Link To Document