Sciweavers

LICS
2003
IEEE

108views Automated Reasoning» more LICS 2003»

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or

14 years 4 months ago

We present decidability results for the veriﬁcation of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...

Hubert Comon-Lundh, Vitaly Shmatikov

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers