Login / Signup
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach
Ralf Küsters
Tomasz Truderung
Published in:
CoRR (2008)
Keyphrases
</>
data analysis
np hard
databases
artificial intelligence
formal analysis
communication protocol