Login / Signup
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.
John Mullins
Stéphane Lafrance
Published in:
Inf. Softw. Technol. (2003)
Keyphrases
</>
cryptographic protocols
cost effective
distributed systems
low cost
e government
computer systems