An NP Decision Procedure for Protocol Insecurity with XOR.

Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani

Published in: LICS (2003)

Keyphrases

decision makers
computational complexity
decision making
np complete
lightweight
search algorithm
iterative procedure
np hard
sensor networks
electronic commerce
decision problems
influence diagrams
formal analysis
security analysis
decision processes
network protocols