Title of article :
Easy intruder deduction problems with homomorphisms
Author/Authors :
Stéphanie Delaune، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2006
Pages :
6
From page :
213
To page :
218
Keywords :
Automatic theorem proving , Security protocols , formal methods
Journal title :
Information Processing Letters
Serial Year :
2006
Journal title :
Information Processing Letters
Record number :
130210
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=130210
بازگشت