A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

39 Downloads (Pure)

Abstract

We present a decentralized key management architecture for wireless sensor networks (WSNs), covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Key deployment uses minimal key storage while key refreshment is based on the well studied scheme of Abdalla et al. The keying protocols involved uses only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe.
Original languageUndefined
Title of host publication4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC)
EditorsMarco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu
Place of PublicationBerlin
PublisherSpringer
Pages27-39
Number of pages13
ISBN (Print)3-540-20123-8
DOIs
Publication statusPublished - Sep 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
Volume2775

Keywords

  • IR-41382
  • EC Grant Agreement nr.: FP5/34734
  • METIS-214081
  • SCS-Cybersecurity
  • EWI-837

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. In M. Conti, S. Giordano, E. Gregori, & S. Olariu (Eds.), 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC) (pp. 27-39). (Lecture Notes in Computer Science; Vol. 2775). Berlin: Springer. https://doi.org/10.1007/978-3-540-39867-7_3
Law, Y.W. ; Corin, R.J. ; Etalle, Sandro ; Hartel, Pieter H. / A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC). editor / Marco Conti ; Silvia Giordano ; Enrico Gregori ; Stephan Olariu. Berlin : Springer, 2003. pp. 27-39 (Lecture Notes in Computer Science).
@inproceedings{d271e3a5f82542f6a334d752bf604d86,
title = "A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks",
abstract = "We present a decentralized key management architecture for wireless sensor networks (WSNs), covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Key deployment uses minimal key storage while key refreshment is based on the well studied scheme of Abdalla et al. The keying protocols involved uses only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe.",
keywords = "IR-41382, EC Grant Agreement nr.: FP5/34734, METIS-214081, SCS-Cybersecurity, EWI-837",
author = "Y.W. Law and R.J. Corin and Sandro Etalle and Hartel, {Pieter H.}",
note = "Imported from DIES",
year = "2003",
month = "9",
doi = "10.1007/978-3-540-39867-7_3",
language = "Undefined",
isbn = "3-540-20123-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "27--39",
editor = "Marco Conti and Silvia Giordano and Enrico Gregori and Stephan Olariu",
booktitle = "4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC)",

}

Law, YW, Corin, RJ, Etalle, S & Hartel, PH 2003, A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. in M Conti, S Giordano, E Gregori & S Olariu (eds), 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC). Lecture Notes in Computer Science, vol. 2775, Springer, Berlin, pp. 27-39. https://doi.org/10.1007/978-3-540-39867-7_3

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. / Law, Y.W.; Corin, R.J.; Etalle, Sandro; Hartel, Pieter H.

4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC). ed. / Marco Conti; Silvia Giordano; Enrico Gregori; Stephan Olariu. Berlin : Springer, 2003. p. 27-39 (Lecture Notes in Computer Science; Vol. 2775).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

AU - Law, Y.W.

AU - Corin, R.J.

AU - Etalle, Sandro

AU - Hartel, Pieter H.

N1 - Imported from DIES

PY - 2003/9

Y1 - 2003/9

N2 - We present a decentralized key management architecture for wireless sensor networks (WSNs), covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Key deployment uses minimal key storage while key refreshment is based on the well studied scheme of Abdalla et al. The keying protocols involved uses only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe.

AB - We present a decentralized key management architecture for wireless sensor networks (WSNs), covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Key deployment uses minimal key storage while key refreshment is based on the well studied scheme of Abdalla et al. The keying protocols involved uses only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe.

KW - IR-41382

KW - EC Grant Agreement nr.: FP5/34734

KW - METIS-214081

KW - SCS-Cybersecurity

KW - EWI-837

U2 - 10.1007/978-3-540-39867-7_3

DO - 10.1007/978-3-540-39867-7_3

M3 - Conference contribution

SN - 3-540-20123-8

T3 - Lecture Notes in Computer Science

SP - 27

EP - 39

BT - 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC)

A2 - Conti, Marco

A2 - Giordano, Silvia

A2 - Gregori, Enrico

A2 - Olariu, Stephan

PB - Springer

CY - Berlin

ER -

Law YW, Corin RJ, Etalle S, Hartel PH. A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. In Conti M, Giordano S, Gregori E, Olariu S, editors, 4th IFIP TC6/WG6.8 Int. Conf on Personal Wireless Communications (PWC). Berlin: Springer. 2003. p. 27-39. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-39867-7_3