A formally verified decentralized key management architecture for wireless sensor networks

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

    Research output: Book/ReportReportAcademic

    21 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages13
    Publication statusPublished - 2003

    Publication series

    NameCTIT Technical Report
    VolumeTR-CTIT-03-07

    Cite this

    Law, Y. W., Corin, R. J., Etalle, S., & Hartel, P. H. (2003). A formally verified decentralized key management architecture for wireless sensor networks. (CTIT Technical Report; Vol. TR-CTIT-03-07). Universiteit Twente.