Process calculi and the verification of security protocols

• Autorzy: Boreale M. , Gorla D.
• Języki publikacji: EN

Abstrakty

EN

Recently there has been much interest towards using formal methods in the analysis of security protocols. Some recent approaches take advantage of concepts and techniques from the field of process calculi. Process calculi can be given a formal yet simple semantics, which permits rigorous definitions of such concepts as "attacker", "secrecy"" and "authentication". This feature has led to the development of solid reasoning methods and verification techniques, a few of which we outline in this paper.

Słowa kluczowe

EN

cryptographic protocols; Dolev-Yao model; observational equivalence; process calculi; spi calculus

PL

protokół kryptograficzny; kryptografia; bezpieczeństwo

• Wydawca: Instytut Łączności - Państwowy Instytut Badawczy
• Czasopismo: Journal of Telecommunications and Information Technology
• Rocznik: 2002
• Tom: nr 4
• Strony: 28--39
• Opis fizyczny: Bibliogr. 29 poz., tab.

Twórcy

autor

Boreale M.

autor

Gorla D.

• Dipartimento di Sistemi e Informatica, Universita di Firenze, Firenze, Italy,