Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.

Hubert Comon-Lundh Vitaly Shmatikov

Published in: LICS (2003)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint satisfaction problems
constraint solver
decision making
decision makers
constraint programming
decision rules
finite domain
reinforcement learning
np complete
decision problems
constraint solvers