Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case.

Helmut Seidl Kumar Neeraj Verma

Published in: RTA (2009)

Keyphrases

first order logic
artificial intelligence
search space
data sets
neural network
security protocols