Computing Information Flow Using Symbolic Model-Checking
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Specification and verification (program logics, model checking, etc.) (68Q60) Measures of information, entropy (94A17)
Recommendations
- Model Checking Information Flow in Reactive Systems
- Precise quantitative information flow analysis -- a symbolic approach
- An automata based approach for verifying information flow properties
- Symbolic and structural model-checking
- scientific article; zbMATH DE number 1507203
- Symbolic model checking of software
- An algebraic approach for reasoning about information flow
Cited in
(13)- Sampling automata and programs
- Quantifying leakage in the presence of unreliable sources of information
- Hybrid statistical estimation of mutual information and its application to information flow
- Precise quantitative information flow analysis -- a symbolic approach
- An automata based approach for verifying information flow properties
- Model Checking Information Flow in Reactive Systems
- The complexity of quantitative information flow in recursive programs
- Scalable approximation of quantitative information flow in programs
- A Logical System for Modular Information Flow Verification
- Computing the leakage of information-hiding systems
- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2978540)
