Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 1100856

Improving the ISO/IEC 11770 standard for key management techniques

Cremers, Cas; Horvat, Marko
Improving the ISO/IEC 11770 standard for key management techniques // Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893 / Chen, L. ; Mitchell, C. (ur.).
Cham: Springer, 2014. str. 215-235 doi:10.1007/978-3-319-14054-4_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

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

Naslov
Improving the ISO/IEC 11770 standard for key management techniques
(Improving the ISO/IEC 11770 Standard for Key Management Techniques)

Autori
Cremers, Cas ; Horvat, Marko

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

Izvornik
Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893 / Chen, L. ; Mitchell, C. - Cham : Springer, 2014, 215-235

Skup
International Conference on Research in Security Standardisation

Mjesto i datum
London, Ujedinjeno Kraljevstvo, 16.12.2014. - 17.12.2014

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

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

Sažetak
We provide the first systematic analysis of the ISO/IEC 11770standard for key management techniques [18, 19], which describes a setof key exchange, key authentication, and key transport protocols. Weanalyse the claimed security properties, as well as additional modernrequirements on key management protocols, for 30 protocols and theirvariants. Our formal, tool-supported analysis of the protocols uncoversseveral incorrect claims in the standard. We provide concrete suggestionsfor 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 // Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893 / Chen, L. ; Mitchell, C. (ur.).
Cham: Springer, 2014. str. 215-235 doi:10.1007/978-3-319-14054-4_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Cremers, C. & Horvat, M. (2014) Improving the ISO/IEC 11770 standard for key management techniques. U: Chen, L. & Mitchell, C. (ur.)Security Standardisation Research.SSR 2014. Lecture Notes in Computer Science, vol 8893 doi:10.1007/978-3-319-14054-4_13.
@article{article, author = {Cremers, Cas and Horvat, Marko}, year = {2014}, pages = {215-235}, DOI = {10.1007/978-3-319-14054-4\_13}, keywords = {Formal analysis, ISO, Protocol standards, Security protocols}, doi = {10.1007/978-3-319-14054-4\_13}, title = {Improving the ISO/IEC 11770 standard for key management techniques}, keyword = {Formal analysis, ISO, Protocol standards, Security protocols}, publisher = {Springer}, publisherplace = {London, Ujedinjeno Kraljevstvo} }
@article{article, author = {Cremers, Cas and Horvat, Marko}, year = {2014}, pages = {215-235}, DOI = {10.1007/978-3-319-14054-4\_13}, keywords = {Formal analysis, ISO, Protocol standards, Security protocols}, doi = {10.1007/978-3-319-14054-4\_13}, title = {Improving the ISO/IEC 11770 Standard for Key Management Techniques}, keyword = {Formal analysis, ISO, Protocol standards, Security protocols}, publisher = {Springer}, publisherplace = {London, Ujedinjeno Kraljevstvo} }

Č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.