Login / Signup

Symbolic protocol verification with dice: process equivalences in the presence of probabilities.

Vincent ChevalRaphaëlle CrubilléSteve Kremer
Published in: CSF (2022)
Keyphrases
  • metadata
  • data model
  • design process
  • model checking
  • symbolic representation
  • security analysis