Login / Signup
Constraint solving for bounded-process cryptographic protocol analysis.
Jonathan K. Millen
Vitaly Shmatikov
Published in:
CCS (2001)
Keyphrases
</>
constraint solving
constraint satisfaction
cryptographic protocols
constraint logic programming
reinforcement learning
video sequences