Login / Signup
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.
Paulo Mateus
John C. Mitchell
Andre Scedrov
Published in:
CONCUR (2003)
Keyphrases
</>
cryptographic protocols
low cost
real time
probabilistic model
deterministic finite state automata
software engineering
lightweight