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