Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Rocznik
Tom
Strony
28--39
Opis fizyczny
Bibliogr. 29 poz., tab.
Twórcy
autor
autor
- Dipartimento di Sistemi e Informatica, Universita di Firenze, Firenze, Italy, boreale@dsi.unifi.it
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BPS2-0018-0091