Comparative Analysis of Leakage Tools on Scalable Case Studies
(2015) 22nd International SPIN Workshop on Model Checking of Software (24.August.2015)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- Quantitative security techniques have been proven effective to measure the security of systems against various types of attackers. However, such techniques are often tested against small-scale academic examples. In this paper we use analyze two scalable, real life privacy case studies: the privacy of the energy consumption data of the users of a smart grid network and the secrecy of the voters' voting preferences with different types of voting protocols. We analyze both case studies with three state-of-the-art information leakage computation tools: LeakWatch, Moped-QLeak, and our tool QUAIL equipped with a new trace analysis algorithm. We highlight the relative advantages and drawbacks of the tools and compare their usability and effectiveness in analyzing the case studies.
- Affiliations
Citations
Biondi, F., Legay, A., & Quilbeuf, J. (2015). Comparative Analysis of Leakage Tools on Scalable Case Studies. Model Checking Software Lecture Notes in Computer Science. Published. 22nd International SPIN Workshop on Model Checking of Software. https://doi.org/10.1007/978-3-319-23404-5_17