Napredna pretraga

Pregled bibliografske jedinice broj: 995070

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols


Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols // Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 / Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko (ur.).
Fredericksburg, Virginia, USA: Springer, Cham, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


Naslov
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

Autori
Alturki, Musab A. ; Kanovich, Max ; Ban Kirigin, Tajana ; Nigam, Vivek ; Scedrov, Andre ; Talcott, Carolyn

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 / Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko - : Springer, Cham, 2019, 192-213

ISBN
978-3-030-19052-1

Skup
Meadows Festschrift

Mjesto i datum
Fredericksburg, Virginia, USA, 23-24.5.2019.

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Multiset Rewriting, Security Protocols, Distance-bounding protocols, Dolev-Yao intruder, Computational Complexity

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Ustanove
Sveučilište u Rijeci - Odjel za matematiku

Autor s matičnim brojem:
Tajana Ban-Kirigin, (229313)

Časopis indeksira:


  • Scopus


Citati