Login / Signup

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.

Paulo MateusJohn C. MitchellAndre Scedrov
Published in: CONCUR (2003)
Keyphrases
  • cryptographic protocols
  • low cost
  • real time
  • probabilistic model
  • deterministic finite state automata
  • software engineering
  • lightweight