LBTool: A stochastic toolkit for leave-based key updates

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

View graph of relations

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
StatePublished

Conference

Conference2012 IEEE Symposium on Computers and Communications (ISCC)
CountryTurkey
CityCappadocia
Period01/07/1204/07/12
Internet addresshttp://www.ieee-iscc.org/
CitationsWeb of Science® Times Cited: No match on DOI

Keywords

  • Key management, Stochastic model checking, Verification
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 10214647