Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 1100859

Improving the ISO/IEC 11770 standard for key management techniques

Cremers, Cas; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // International Journal of Information Security, 15 (2015), 6; 659-673 doi:10.1007/s10207-015-0306-9 (međunarodna recenzija, članak, znanstveni)

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

Naslov
Improving the ISO/IEC 11770 standard for key management techniques

Autori
Cremers, Cas ; Horvat, Marko

Izvornik
International Journal of Information Security (1615-5262) 15 (2015), 6; 659-673

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Formal analysis ; ISO ; Protocol standards ; Security protocols

Sažetak
We provide the first systematic analysis of the ISO/IEC 11770 standard for key management techniques (2009, 2009), which describes a set of key establishment, key agreement, and key transport protocols. We analyse the claimed security properties, as well as additional modern requirements on key management protocols, for over 30 pro- tocols and their variants. Our formal, tool-supported analysis of the protocols uncovers several incorrect claims in the stan- dard. We provide concrete suggestions for improving the standard.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb

Profili:

Avatar Url Marko Horvat (autor)

Poveznice na cjeloviti tekst rada:

doi link.springer.com doi.org

Citiraj ovu publikaciju:

Cremers, Cas; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // International Journal of Information Security, 15 (2015), 6; 659-673 doi:10.1007/s10207-015-0306-9 (međunarodna recenzija, članak, znanstveni)
Cremers, C. & Horvat, M. (2015) Improving the ISO/IEC 11770 standard for key management techniques. International Journal of Information Security, 15 (6), 659-673 doi:10.1007/s10207-015-0306-9.
@article{article, author = {Cremers, Cas and Horvat, Marko}, year = {2015}, pages = {659-673}, DOI = {10.1007/s10207-015-0306-9}, keywords = {Formal analysis, ISO, Protocol standards, Security protocols}, journal = {International Journal of Information Security}, doi = {10.1007/s10207-015-0306-9}, volume = {15}, number = {6}, issn = {1615-5262}, title = {Improving the ISO/IEC 11770 standard for key management techniques}, keyword = {Formal analysis, ISO, Protocol standards, Security protocols} }
@article{article, author = {Cremers, Cas and Horvat, Marko}, year = {2015}, pages = {659-673}, DOI = {10.1007/s10207-015-0306-9}, keywords = {Formal analysis, ISO, Protocol standards, Security protocols}, journal = {International Journal of Information Security}, doi = {10.1007/s10207-015-0306-9}, volume = {15}, number = {6}, issn = {1615-5262}, title = {Improving the ISO/IEC 11770 standard for key management techniques}, keyword = {Formal analysis, ISO, Protocol standards, Security protocols} }

Časopis indeksira:


  • Current Contents Connect (CCC)
  • Web of Science Core Collection (WoSCC)
    • Science Citation Index Expanded (SCI-EXP)
    • SCI-EXP, SSCI i/ili A&HCI
  • Scopus

Citati:

    Altmetrijski pokazatelji:


    Podijeli:





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