Key Update Assistant for Resource-Constrained Networks

Ender Yuksel, Hanne Riis Nielson, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    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.
    Original languageEnglish
    Title of host publication2012 IEEE Symposium on Computers and Communications (ISCC)
    PublisherIEEE
    Publication date2012
    Pages000075-000081
    ISBN (Print)978-1-4673-2712-1
    ISBN (Electronic)978-1-4673-2711-4
    DOIs
    Publication statusPublished - 2012
    Event2012 IEEE Symposium on Computers and Communications (ISCC) - Cappadocia, Turkey
    Duration: 1 Jul 20124 Jul 2012
    http://www.ieee-iscc.org/

    Conference

    Conference2012 IEEE Symposium on Computers and Communications (ISCC)
    CountryTurkey
    CityCappadocia
    Period01/07/201204/07/2012
    Internet address
    SeriesI E E E International Symposium on Computers and Communications
    ISSN1530-1346

    Fingerprint Dive into the research topics of 'Key Update Assistant for Resource-Constrained Networks'. Together they form a unique fingerprint.

    Cite this