Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66869" target="_blank" >RIV/00216305:26230/06:PU66869 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison
Original language description
Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application.
Czech name
Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání
Czech description
Článek pojednává o modálních logikách používaných pro analýzu bezpečnostních protokolů.<br>

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 7th International Carpathian Control Conference
ISBN
80-248-1066-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
401-404
Publisher name
VŠB-Technical University of Ostrava
Place of publication
Ostrava
Event location
Rožnov pod Radhoštěm
Event date
May 28, 2006
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)