A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols (CROSBI ID 674728)
Prilog sa skupa u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn
engleski
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
Catherine Meadows has played an important role in the advancement of formal methods for protocol security verification. Her insights on the use of, for example, narrowing and rewriting logic has made possible the automated discovery of new attacks and the shaping of new protocols. Meadows has also investigated other security aspects, such as, distance-bounding protocols and denial of service attacks. We have been greatly inspired by her work. This paper describes the use of Multiset Rewriting for the specification and verification of timing aspects of protocols, such as network delays, timeouts, timed intruder models and distance-bounding properties. We detail these timed features with a number of examples and describe decidable fragments of related verification problems.
Multiset Rewriting ; Security Protocols ; Distance-bounding protocols ; Dolev-Yao intruder ; Computational Complexity
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
192-213.
2019.
nije evidentirano
objavljeno
10.1007/978-3-030-19052-1_13
Podaci o matičnoj publikaciji
Lecture notes in computer science
Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko
Springer
978-3-030-19052-1
0302-9743
1611-3349
Podaci o skupu
Catherine Meadows Festschrift Symposium
predavanje
22.05.2019-23.05.2019
Fredericksburg (VA), Sjedinjene Američke Države