Secure Information Flow Analysis Using the PRISM Model Checker
- 3 December 2019
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 154-172
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Low-deterministic security for low-nondeterministic programsJournal of Computer Security, 2018
- Scalable Approximation of Quantitative Information Flow in Programs2017
- HyLeak: Hybrid Analysis Tool for Information Leakage2017
- Tool Demonstration: JOANA2016
- Model checking the observational determinism security property using PROMELA and SPINFormal Aspects of Computing, 2015
- Comparative Analysis of Leakage Tools on Scalable Case Studies2015
- A new algorithm for low-deterministic securityInternational Journal of Information Security, 2014
- LeakWatch: Estimating Information Leakage from Java Programs2014
- Model-Checking Secure Information Flow for Multi-threaded Programs2012
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988