Three systems for cryptographic protocol analysis

Autor:	Catherine Meadows, R. Kemmerer, J. Millen
Rok vydání:	1994
Předmět:	Authentication Cryptographic primitive Theoretical computer science Computer science Applied Mathematics Key distribution Cryptographic protocol Formal methods Computer Science Applications Prolog sort Protocol (object-oriented programming) computer Software computer.programming_language
Zdroj:	Journal of Cryptology. 7:79-130
ISSN:	1432-1378 0933-2790
Popis:	Three experimental methods have been developed to help apply formal methods to the security verification of cryptographic protocols of the sort used for key distribution and authentication. Two of these methods are based on Prolog programs, and one is based on a general-purpose specification and verification system. All three combine algebraic with state-transition approaches. For purposes of comparison, they were used to analyze the same example protocol with a known flaw.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6c068a2c53c0ad87d4a529c4eb8c9eb7 https://doi.org/10.1007/bf00197942 Zobrazit plný text záznamu Full text from SpringerLink