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