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

Ralf Küsters Tomasz Truderung

Published in: J. Autom. Reason. (2011)

Keyphrases

statistical analysis
formal analysis
data mining
theoretical framework
quantitative analysis
databases
neural network
genetic algorithm
optimal solution