A formally verified decentralized key management architecture for wireless sensor networks

Y.W. Law, R.J. Corin, S. Etalle, P.H. Hartel

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    23 Citaten (Scopus)

    Samenvatting

    We present a decentralized key management architecture for wireless sensor networks, covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Balance between security and energy consumption is achieved by partitioning a system into two interoperable security realms: the supervised realm trades off simplicity and resources for higher security whereas in the unsupervised realm the vice versa is true. Key deployment uses minimal key storage while key refreshment is based on the well-studied scheme of Abdalla et al. The keying protocols involved use only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe
    Originele taal-2Engels
    TitelPersonal Wireless Communications (Proceedings IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003)
    RedacteurenM. Conti, S. Giordano, E. Gregori, S. Olariu
    UitgeverijSpringer
    Pagina's27-39
    ISBN van geprinte versie3-540-20123-8
    DOI's
    StatusGepubliceerd - 2003

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume2775
    ISSN van geprinte versie0302-9743

    Vingerafdruk Duik in de onderzoeksthema's van 'A formally verified decentralized key management architecture for wireless sensor networks'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit