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/Report › Report › Academic

Name	CTIT Technical Report
Volume	TR-CTIT-03-07

Cite this

TY - BOOK

T1 - A formally verified decentralized key management architecture for wireless sensor networks

AU - Law, Y.W.

AU - Corin, R.J.

AU - Etalle, S.

AU - Hartel, P.H.

PY - 2003

Y1 - 2003

UR - http://www.ub.utwente.nl/webdocs/ctit/1/000000b7.pdf

M3 - Report

T3 - CTIT Technical Report

BT - A formally verified decentralized key management architecture for wireless sensor networks

PB - Universiteit Twente

CY - Enschede

ER -