Computing Information Flow Using Symbolic Model-Checking
From MaRDI portal
Publication:2978540
DOI10.4230/LIPIcs.FSTTCS.2014.505zbMath1360.68359OpenAlexW2284036458MaRDI QIDQ2978540
Rohit Chadha, Umang Mathur, Stefan Schwoon
Publication date: 25 April 2017
Full work available at URL: https://hal.archives-ouvertes.fr/hal-01110118
Specification and verification (program logics, model checking, etc.) (68Q60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Measures of information, entropy (94A17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Quantifying leakage in the presence of unreliable sources of information ⋮ Hybrid statistical estimation of mutual information and its application to information flow ⋮ Upper bound computation of information leakages for unbounded recursion ⋮ An automated quantitative information flow analysis for concurrent programs
This page was built for publication: Computing Information Flow Using Symbolic Model-Checking
