Login / Signup

Using SPIN to Model Cryptographic Protocols.

Li YongjianXue Rui
Published in: ITCC (2) (2004)
Keyphrases
  • formal model
  • probabilistic model
  • real time
  • similarity measure
  • access control
  • end to end