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

    23 Citations (Scopus)
    46 Downloads (Pure)

    Fingerprint

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