crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 995070

Zbornik radova

Autori: Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Naslov: A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
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 (ur.). - Springer, Cham , 2019. 192-213 (ISBN: 978-3-030-19052-1).
ISSN: 0302-9743
Skup: Meadows Festschrift
Mjesto i datum: Fredericksburg, Virginia, USA, 23-24.5.2019.
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.
Rad je indeksiran u
bazama podataka:
Scopus
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Cjeloviti rad (više od 1500 riječi)
Vrsta recenzije: Međunarodna recenzija
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Matematika,Računarstvo
URL Internet adrese: https://link.springer.com/chapter/10.1007/978-3-030-19052-1_13
Upisao u CROSBI: Tajana Ban Kirigin (bank@math.uniri.hr), 11. Tra. 2019. u 10:08 sati



Verzija za printanje   za tiskati


upomoc
foot_4