DMCA

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

by Ralf Küsters , Tomasz Truderung
Citations:14 - 0 self