Conference paper
LBTool: A stochastic toolkit for leave-based key updates
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
Mathematical Statistics, Department of Informatics and Mathematical Modeling, Technical University of Denmark4
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.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2012 |
Pages: | 868-875 |
Proceedings: | 2012 IEEE Symposium on Computers and Communications (ISCC) |
ISBN: | 1467327115 , 1467327123 , 1467327131 , 9781467327114 , 9781467327121 and 9781467327138 |
ISSN: | 15301346 and 26427389 |
Types: | Conference paper |
DOI: | 10.1109/ISCC.2012.6249411 |
ORCIDs: | Nielson, Hanne Riis , Nielson, Flemming and Nielsen, Bo Friis |
Computational modeling Gold LBTool stochastic toolkit Mathematical model Security Stochastic processes Transient analysis Vectors compact formal model formal verification information and communication system leave-based key update model construction network key probability private key cryptography probability public key cryptography quantitative technique security area stochastic model checking system verification telecommunication computing time point transient analysis verification wireless sensor network wireless sensor networks