A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Y.W. Law, R.J. Corin, Sandro Etalle, Pieter H. Hartel

    Research output: Book/ReportReportOther research output

    24 Citations (Scopus)
    62 Downloads (Pure)


    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages14
    Publication statusPublished - Mar 2003

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)


    • EWI-5841
    • EC Grant Agreement nr.: FP5/34734
    • IR-56972
    • SCS-Cybersecurity

    Cite this