Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Goguen, J., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and privacy, pp. 11–20. IEEE Computer Society Press, Los Alamitos (1982)
Denning, D.E.R.: Cryptography and Data Security. Addison-Wesley, Reading (1982)
Millen, J.: Covert channel capacity. In: Proceeding IEEE Symposium on Resarch in Security and Privacy. IEEE Computer Society Press, Los Alamitos (1987)
Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symposium on Security and Privacy, pp. 144–161 (1990)
Clark, D., Hunt, S., Malacaria, P.: Quantitative analysis of the leakage of confidential data. ENTCS, vol. 59. Elsevier, Amsterdam (2002)
Malacaria, P.: Assessing security threats of looping constructs. In: POPL, Nice, France, pp. 225–235. ACM Press, New York (2007)
Pierro, A.D., Hankin, C., Wiklicky, H.: Approximate non-interference. In: CSFW, pp. 3–17 (2002)
Lowe, G.: Quantifying information flow. In: Proceedings IEEE Computer Security Foundations Workshop, pp. 18–31 (2002)
Boreale, M.: Quantifying information leakage in process calculi. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 119–131. Springer, Heidelberg (2006)
Mu, C., Clark, D.: Quantitative analysis of secure information flow via probabilistic semantics. In: ARES, pp. 49–57. IEEE Computer Society Press, Los Alamitos (2009)
de Bakker, J.W., Zucker, J.I.: Processes and the denotational semantics of concurrency. Information and Control 54, 70–120 (1982)
Kwiatkowska, M., Norman, G.: Probabilistic metric semantics for a simple language with recursion. In: Penczek, W., Szałas, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 419–430. Springer, Heidelberg (1996)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing (preliminary report). In: POPL, pp. 344–352 (1989)
Norman, G.: Metric Semantics for Reactive Probabilistic Processes. PhD thesis, School of Computer Science, University of Birmingham (1997)
Mu, C.: Jensen-shannon divergency as a measure of information flow in reactive processes. Technical Report TR-09-07, Department of Computer Science, King’s College London (2009)
Grosse, I., Bernaola-Galván, P., Carpena, P., Román-Roldán, R., Oliver, J., Stanley, H.E.: Analysis of symbolic sequences using the jensen-shannon divergence. Phys. Rev. E 65, 041905 (2002)
Lin, J.: Divergence measures based on the shannon entropy. IEEE Transactions on Information theory 37, 145–151 (1991)
Shannon, C.E.: A mathematical theory of communication. SIGMOBILE Mob. Comput. Commun. Rev. 5, 3–55 (1948)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mu, C. (2009). Measuring Information Flow in Reactive Processes. In: Qing, S., Mitchell, C.J., Wang, G. (eds) Information and Communications Security. ICICS 2009. Lecture Notes in Computer Science, vol 5927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11145-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-11145-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11144-0
Online ISBN: 978-3-642-11145-7
eBook Packages: Computer ScienceComputer Science (R0)