LBTool: A stochastic toolkit for leave-based key updates

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

    4 Downloads (Pure)

    Abstract

    Quantitative techniques have been successfully employed in verification of information and communication systems. However, the use of such techniques are still rare in the area of security. In this paper, we present a toolkit that implements transient analysis on a key update method for wireless sensor networks. The analysis aims to find out the probability of a network key being compromised at a specific time point, which result in fluctuations over time for a specific key update method called Leave-based key update. For such a problem, the use of current tools is limited in many ways such as rapidly constructing a compact formal model, computing the time point where the risk is maximum, or terminating the transient analysis after the fluctuations disappear and system stabilizes. Our toolkit, LBTool, is not only resolving the above-mentioned issues, but also demonstrating how to construct models in an analytical way and how to speed up the analysis by eliminating redundant computations. The toolkit can be generalized to other key update methods by replacing the analytical model construction.
    Original languageEnglish
    Title of host publication2012 IEEE Symposium on Computers and Communications
    PublisherIEEE
    Publication date2012
    Pages868-875
    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

    Keywords

    • Key management
    • Stochastic model checking
    • Verification

    Cite this

    Yuksel, E., Nielson, H. R., Nielson, F., & Nielsen, B. F. (2012). LBTool: A stochastic toolkit for leave-based key updates. In 2012 IEEE Symposium on Computers and Communications (pp. 868-875). IEEE. https://doi.org/10.1109/ISCC.2012.6249411