CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY
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 cryptographi...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
ICT Academy of Tamil Nadu
2017-06-01
|
| Series: | ICTACT Journal on Communication Technology |
| Subjects: | |
| Online Access: | http://ictactjournals.in/ArticleDetails.aspx?id=3091 |