Login / Signup

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models.

Alfredo PirontiRiccardo Sisto
Published in: DepCoS-RELCOMEX (2008)
Keyphrases
  • security protocols
  • cryptographic algorithms
  • authentication protocol
  • security mechanisms
  • web services