Conference paper
Key Update Assistant for Resource-Constrained Networks
Department of Informatics and Mathematical Modeling, Technical University of Denmark1
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
Key update is a challenging task in resource-constrained networks where limitations in terms of computation, memory, and energy restrict the proper use of security mechanisms. We present an automated tool that computes the optimal key update strategy for any given resource-constrained network. We developed a push-button solution - powered by stochastic model checking - that network designers can easily benefit from, and it paves the way for consumers to set up key update related security parameters.
Key Update Assistant, as we named it, runs necessary model checking operations and determines the optimal key update strategy that satisfies given security and performance requirements.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2012 |
Pages: | 000075-000081 |
Proceedings: | 2012 IEEE Symposium on Computers and Communications (ISCC) |
Series: | I E E E International Symposium on Computers and Communications |
ISBN: | 1467327115 , 1467327123 , 1467327131 , 9781467327114 , 9781467327121 and 9781467327138 |
ISSN: | 15301346 and 26427389 |
Types: | Conference paper |
DOI: | 10.1109/ISCC.2012.6249271 |
ORCIDs: | Nielson, Hanne Riis and Nielson, Flemming |
Computational modeling Key management Measurement Power demand Probabilistic logic Security Stochastic processes Zigbee automated tool cryptography key update assistant network designers pus button solution resource constrained network resource constrained networks security mechanisms stochastic model checking verification wireless sensor networks