A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Yee Wei Law; Ricardo Corin; Sandro Etalle; Pieter H. Hartel

doi:10.1007/978-3-540-39867-7_3

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Yee Wei Law
, Ricardo Corin
, Sandro Etalle
, Pieter H. Hartel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

44 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 language	English
Title of host publication	Personal Wireless Communications
Subtitle of host publication	IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings
Editors	Marco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu
Place of Publication	Berlin
Publisher	Springer
Pages	27-39
Number of pages	13
ISBN (Electronic)	978-3-540-39867-7
ISBN (Print)	978-3-540-20123-6
DOIs	https://doi.org/10.1007/978-3-540-39867-7_3
Publication status	Published - Sept 2003
Event	IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003 - Venice, Italy Duration: 23 Sept 2003 → 25 Sept 2003 Conference number: 8

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2775
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003
Abbreviated title	PWC
Country/Territory	Italy
City	Venice
Period	23/09/03 → 25/09/03

Keywords

SCS-Cybersecurity
EC Grant Agreement nr.: FP5/34734
Wireless sensor networks
Key management
Protocol verification

Access to Document

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, S. & Hartel, P. H., Mar 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-03-07)
Research output: Book/Report › Report › Other research output

File

Cite this

Law, Y. W., Corin, R., 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.), Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings (pp. 27-39). (Lecture Notes in Computer Science; Vol. 2775). Springer. https://doi.org/10.1007/978-3-540-39867-7_3

Law, Yee Wei ; Corin, Ricardo ; Etalle, Sandro et al. / A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. 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 = "SCS-Cybersecurity, EC Grant Agreement nr.: FP5/34734, Wireless sensor networks, Key management, Protocol verification",

author = "Law, \{Yee Wei\} and Ricardo Corin and Sandro Etalle and Hartel, \{Pieter H.\}",

year = "2003",

month = sep,

doi = "10.1007/978-3-540-39867-7\_3",

language = "English",

isbn = "978-3-540-20123-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "27--39",

editor = "Marco Conti and Silvia Giordano and Enrico Gregori and Stephan Olariu",

booktitle = "Personal Wireless Communications",

address = "Germany",

note = "IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003, PWC ; Conference date: 23-09-2003 Through 25-09-2003",

}

Law, YW, Corin, R, 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), Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. Lecture Notes in Computer Science, vol. 2775, Springer, Berlin, pp. 27-39, IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003, Venice, Italy, 23/09/03. https://doi.org/10.1007/978-3-540-39867-7_3

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. / Law, Yee Wei; Corin, Ricardo; Etalle, Sandro et al.
Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. 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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Law, Yee Wei

AU - Corin, Ricardo

AU - Etalle, Sandro

AU - Hartel, Pieter H.

N1 - Conference code: 8

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 - SCS-Cybersecurity

KW - EC Grant Agreement nr.: FP5/34734

KW - Wireless sensor networks

KW - Key management

KW - Protocol verification

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

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

M3 - Conference contribution

SN - 978-3-540-20123-6

T3 - Lecture Notes in Computer Science

SP - 27

EP - 39

BT - Personal Wireless Communications

A2 - Conti, Marco

A2 - Giordano, Silvia

A2 - Gregori, Enrico

A2 - Olariu, Stephan

PB - Springer

CY - Berlin

T2 - IFIP-TC6 8th International Conference on Personal Wireless Communications, PWC 2003

Y2 - 23 September 2003 through 25 September 2003

ER -

Law YW, Corin R, 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, Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. Berlin: Springer. 2003. p. 27-39. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-39867-7_3

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Cite this