Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach

Ralf Kuesters, Tomasz Truderung

In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils do…