Login / Signup
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols.
Stéphane Lafrance
John Mullins
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
cryptographic protocols
data analysis