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 http://arxiv.org/abs/0808.0634 2008 CoRR abs/0808.0634 db/journals/corr/corr0808.html#abs-0808-0634 informal publication