CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY

Autor:	Amol H Shinde, A J Umbarkar, N R Pillai
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	Formal Verification Security Protocols Tools for Formal Analysis Computer engineering. Computer hardware TK7885-7895 Information technology T58.5-58.64
Zdroj:	ICTACT Journal on Communication Technology, Vol 8, Iss 2, Pp 1533-1539 (2017)
Druh dokumentu:	article
ISSN:	0976-0091 2229-6948
DOI:	10.21917/ijct.2017.0226
Popis:	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 protocols in terms of loops and attacks in protocols to improve security. In this paper, we discuss the brief history of formal methods and tools that are useful for the formal verification of the cryptographic protocols.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/f53ae92569a64429b3ddae8c661a27c1 Zobrazit plný text záznamu View record in DOAJ