A formally verified decentralized key management architecture for wireless sensor networks
Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter Hartel · 2003
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 o# simplicity and resources for higher security whereas the unsupervised realm vice versa. 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.