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.
|Title of host publication||2012 IEEE Symposium on Computers and Communications (ISCC)|
|Publication status||Published - 2012|
|Event||2012 IEEE Symposium on Computers and Communications (ISCC) - Cappadocia, Turkey|
Duration: 1 Jul 2012 → 4 Jul 2012
|Conference||2012 IEEE Symposium on Computers and Communications (ISCC)|
|Period||01/07/2012 → 04/07/2012|
|Series||I E E E International Symposium on Computers and Communications|