Login / Signup
Process Algebraic Analysis of Cryptographic Protocols.
Michele Boreale
Rocco De Nicola
Rosario Pugliese
Published in:
FORTE (2000)
Keyphrases
</>
cryptographic protocols
resource constrained