Bisimulation through probabilistic testing (preliminary report)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A mathematical theory of communication
ACM SIGMOBILE Mobile Computing and Communications Review
Probabilistic Metric Semantics for a Simple Language with Recursion
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Assessing security threats of looping constructs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quantifying information leakage in process calculi
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
| Hi-index | 0.00 |
This paper outlines an approach for measuring information flow within reactive probabilistic systems. First, we present the probabilistic model of reactive labelled transition system with input-output actions. Second, we present the language and semantics for simple reactive processes, and investigate the quantified information flow analysis over this semantics. Third, we define a metric over the semantics and then present a method to compute the leakage in reactive processes. The metric we considered is the square root of the Jensen-Shannon divergence: the quantitative information is contained in the distance between state transformations given by a process metric. Finally, we show that there is a connection between our leakage definition and mutual information in the framework of information theory.