A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    41 Downloads (Pure)

    Abstract

    We present a decentralized key management architecture for wireless sensor networks (WSNs), covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Key deployment uses minimal key storage while key refreshment is based on the well studied scheme of Abdalla et al. The keying protocols involved uses only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe.
    Original languageEnglish
    Title of host publicationPersonal Wireless Communications
    Subtitle of host publicationIFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings
    EditorsMarco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu
    Place of PublicationBerlin
    PublisherSpringer
    Pages27-39
    Number of pages13
    ISBN (Electronic)978-3-540-39867-7
    ISBN (Print)978-3-540-20123-6
    DOIs
    Publication statusPublished - Sep 2003
    EventIFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003 - Venice, Italy
    Duration: 23 Sep 200325 Sep 2003
    Conference number: 8

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume2775
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    ConferenceIFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003
    Abbreviated titlePWC
    CountryItaly
    CityVenice
    Period23/09/0325/09/03

    Keywords

    • SCS-Cybersecurity
    • EC Grant Agreement nr.: FP5/34734
    • Wireless sensor networks
    • Key management
    • Protocol verification

    Fingerprint Dive into the research topics of 'A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks'. Together they form a unique fingerprint.

  • Cite this

    Law, Y. W., Corin, R., Etalle, S., & Hartel, P. H. (2003). A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. In M. Conti, S. Giordano, E. Gregori, & S. Olariu (Eds.), Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings (pp. 27-39). (Lecture Notes in Computer Science; Vol. 2775). Berlin: Springer. https://doi.org/10.1007/978-3-540-39867-7_3