Cryptographic Protocols Specification and Verification Tools-a Survey

@inproceedings{Shinde2017CryptographicPS,
  title={Cryptographic Protocols Specification and Verification Tools-a Survey},
  author={Amol H. Shinde and A. J. Umbarkar and N. Rajesh Pillai},
  year={2017}
}
Cryptographic protocols cannot guarantee the secure operations by merely using state-of-the-art cryptographic mechanisms. Validation of such protocols is done by using formal methods. Various specialized tools have been developed for this purpose and are being used to validate real life cryptographic protocols. These tools give feedback to the designers of… CONTINUE READING