Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.

Ralf Küsters Tomasz Truderung Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. 129-138 2008 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1455770.1455788 conf/ccs/2008 db/conf/ccs/ccs2008.html#KustersT08