Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

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 (VA), Sjedinjene Američke Države: Springer, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

CROSBI ID: 995070 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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, 2019, 192-213

ISBN
978-3-030-19052-1

Skup
Catherine Meadows Festschrift Symposium

Mjesto i datum
Fredericksburg (VA), Sjedinjene Američke Države, 22.05.2019. - 23.05.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

Projekti:
HRZZ-UIP-05-2017-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)

Ustanove:
Sveučilište u Rijeci, Fakultet za matematiku

Profili:

Avatar Url Tajana Ban Kirigin (autor)

Poveznice na cjeloviti tekst rada:

doi link.springer.com

Citiraj ovu publikaciju:

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 (VA), Sjedinjene Američke Države: Springer, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Alturki, M., Kanovich, M., Ban Kirigin, T., Nigam, V., Scedrov, A. & Talcott, C. (2019) A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. U: Guttman, J., Landwehr, C., Meseguer, J. & Pavlovic, D. (ur.)Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 doi:10.1007/978-3-030-19052-1_13.
@article{article, author = {Alturki, Musab A. and Kanovich, Max and Ban Kirigin, Tajana and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn}, year = {2019}, pages = {192-213}, DOI = {10.1007/978-3-030-19052-1\_13}, keywords = {Multiset Rewriting, Security Protocols, Distance-bounding protocols, Dolev-Yao intruder, Computational Complexity}, doi = {10.1007/978-3-030-19052-1\_13}, isbn = {978-3-030-19052-1}, title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols}, keyword = {Multiset Rewriting, Security Protocols, Distance-bounding protocols, Dolev-Yao intruder, Computational Complexity}, publisher = {Springer}, publisherplace = {Fredericksburg (VA), Sjedinjene Ameri\v{c}ke Dr\v{z}ave} }
@article{article, author = {Alturki, Musab A. and Kanovich, Max and Ban Kirigin, Tajana and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn}, year = {2019}, pages = {192-213}, DOI = {10.1007/978-3-030-19052-1\_13}, keywords = {Multiset Rewriting, Security Protocols, Distance-bounding protocols, Dolev-Yao intruder, Computational Complexity}, doi = {10.1007/978-3-030-19052-1\_13}, isbn = {978-3-030-19052-1}, title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols}, keyword = {Multiset Rewriting, Security Protocols, Distance-bounding protocols, Dolev-Yao intruder, Computational Complexity}, publisher = {Springer}, publisherplace = {Fredericksburg (VA), Sjedinjene Ameri\v{c}ke Dr\v{z}ave} }

Časopis indeksira:


  • Scopus

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





    Contrast
    Increase Font
    Decrease Font
    Dyslexic Font
    CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.