Measuring information flow in reactive processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5927 LNCS, Issue , 2009, Pages 211-225

  Mu, Chunyan ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION FLOW ANALYSIS; INFORMATION FLOWS; INPUT-OUTPUT; JENSEN-SHANNON DIVERGENCE; LABELLED TRANSITION SYSTEMS; MUTUAL INFORMATIONS; PROBABILISTIC MODELS; PROBABILISTIC SYSTEMS; QUANTITATIVE INFORMATION; REACTIVE PROCESS; SQUARE ROOTS; STATE TRANSFORMATION;

INFORMATION THEORY; NETWORK SECURITY;

SEMANTICS;

EID: 76549131363     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11145-7_17     Document Type: Conference Paper

References (18)

1. 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)
2. Denning, D.E.R.: Cryptography and Data Security. Addison-Wesley, Reading (1982)
3. Millen, J.: Covert channel capacity. In: Proceeding IEEE Symposium on Resarch in Security and Privacy. IEEE Computer Society Press, Los Alamitos (1987)
4. Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symposium on Security and Privacy, pp. 144-161 (1990)
5. Clark, D., Hunt, S., Malacaria, P.: Quantitative analysis of the leakage of confidential data. ENTCS, vol. 59. Elsevier, Amsterdam (2002)
6. Malacaria, P.: Assessing security threats of looping constructs. In: POPL, Nice, France, pp. 225-235. ACM Press, New York (2007)
7. Pierro, A.D., Hankin, C., Wiklicky, H.: Approximate non-interference. In: CSFW, pp. 3-17 (2002)
8. Lowe, G.: Quantifying information flow. In: Proceedings IEEE Computer Security Foundations Workshop, pp. 18-31 (2002)
9. 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)
10. 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)
11. de Bakker, J.W., Zucker, J.I.: Processes and the denotational semantics of concurrency. Information and Control 54, 70-120 (1982)
12. 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)
13. Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing (preliminary report). In: POPL, pp. 344-352 (1989)
14. Norman, G.: Metric Semantics for Reactive Probabilistic Processes. PhD thesis, School of Computer Science, University of Birmingham (1997)
15. 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)
16. 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)
17. Lin, J.: Divergence measures based on the shannon entropy. IEEE Transactions on Information theory 37, 145-151 (1991)
18. Shannon, C.E.: A mathematical theory of communication. SIGMOBILE Mob. Comput. Commun. Rev. 5, 3-55 (1948)