Login / Signup

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.

Michele BorealeMaria Grazia Buscemi
Published in: MFCS (2003)
Keyphrases
  • security protocols
  • low cost
  • smart card
  • modular exponentiation