Login / Signup

Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.

Ramaswamy RamanujamS. P. Suresh
Published in: FSTTCS (2003)
Keyphrases
  • machine learning
  • case study
  • first order logic
  • transitive closure