TY  - RPRT
TI  - Implementing a Unification Algorithm for Protocol Analysis with XOR
AU  - Max Tuengerthal
AU  - Ralf Kuesters
AU  - Mathieu Turuani
PY  - 2006
UR  - https://arxiv.org/abs/cs/0610014
ID  - cs/0610014
ER  -