Login / Signup

Constraint solving for bounded-process cryptographic protocol analysis.

Jonathan K. MillenVitaly Shmatikov
Published in: CCS (2001)
Keyphrases
  • constraint solving
  • constraint satisfaction
  • cryptographic protocols
  • constraint logic programming
  • reinforcement learning
  • video sequences