- Tytuł:
- Process calculi and the verification of security protocols
- Autorzy:
-
Boreale, M.
Gorla, D. - Powiązania:
- https://bibliotekanauki.pl/articles/309407.pdf
- Data publikacji:
- 2002
- Wydawca:
- Instytut Łączności - Państwowy Instytut Badawczy
- Tematy:
-
protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus - Opis:
- 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.
- Źródło:
-
Journal of Telecommunications and Information Technology; 2002, 4; 28-39
1509-4553
1899-8852 - Pojawia się w:
- Journal of Telecommunications and Information Technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł