A semiring-based trace semantics for processes with applications to information leakage analysis

IFIP Advances in Information and Communication Technology

Volumn 323 AICT, Issue , 2010, Pages 340-354

  Boreale, Michele ^a   Clark, David ^b   Gorla, Daniele ^c  

^a UNIVERSITY OF FLORENCE   (Italy)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMPOSITIONAL SEMANTICS; DEGREE OF DEPENDENCY; FINAL COALGEBRAS; FORMAL POWER SERIES; INFORMATION LEAKAGE; PROCESS CALCULI; REASONING ABOUT PROGRAMS; TRACE SEMANTICS;

CALCULATIONS;

EID: 84880715202     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-15240-5_25     Document Type: Article

References (26)

1. Aldini, A., Di Pierro, A.: A quantitative approach to noninterference for probabilistic systems. ENTC, vol. 99 (2004)
2. Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: Proc. of IEEE CSF (2009)
3. Backes, M.: Quantifying probabilistic information flow in computational reactive systems. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 336-354. Springer, Heidelberg (2005)
4. Backes, M., Kopf, B., Ribalchenko, A.: Automatic discovery and quantification of information leaks. In: IEEE Symposium on Security and Privacy (2009)
5. Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M., Silva, A.: Deriving syntax and axioms for quantitative regular behaviours. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 146-162. Springer, Heidelberg (2009)
6. Boreale, M.: Quantifying information leakage in process calculi. Information and Computation 207(6), 699-725 (2009)
7. Boreale, M., Gadducci, F.: Processes as formal power series: A coinductive approach to denotational semantics. Theoretical Computer Science 360(1-3), 440-458 (2006)
8. Boreale, M., Clark, D., Gorla, D.: A Semiring-based Trace Semantics for Processes with Applications to Information Leakage Analysis. Extended version of the present paper, http://www.dsi.uniromal.it/~gorla/papers
9. Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: Anonymity protocols as noisy channels. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2006. LNCS, vol. 4661, pp. 281-300. Springer, Heidelberg (2007)
10. Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: On the bayes risk in informationhiding protocols. Journal of Computer Security 16(5), 531-571 (2008)
11. Chen, H., Malacaria, P.: Quantitative analysis of leakage for multi-threaded programs. In: Proc. of PLAS, pp. 31-40. ACM, New York (2007)
12. Chong, S., Myers, A.C.: Security policies for downgrading. In: Proc. of CCS, pp. 189-209. ACM, New York (2004)
13. Clark, D., Hunt, S., Malacaria, P.: Quantitative analysis of the leakage of confidential data. ENTCS, vol. 59 (2002)
14. Clark, D., Hunt, S., Malacaria, P.: A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security 15(3), 321-371 (2007)
15. Focardi, R., Gorrieri, R.: A classification of security properties for process algebras. Journal of Computer Security 3(1), 5-33 (1995)
16. Goguen, J., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11-20 (1982)
17. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
18. Kuich, W., Salomaa, A.: Semirings, automata, languages. Theoretical Computer Science 5 (1986)
19. Lowe, G.: Quantifying information flow. In: Proc. of CSFW. IEEE, Los Alamitos (2002)
20. Mu, C.: Measuring information flow in reactive processes. In: Qing, S., Mitchell, C.J., Wang, G. (eds.) ICICS 2009. LNCS, vol. 5927, pp. 211-225. Springer, Heidelberg (2009)
21. Mu, C., Clark, D.: An abstraction quantifying information flow over probabilistic semantics. In: Proc. of QAPL. Elsevier, Amsterdam (2009)
22. Mu, C., Clark, D.: Quantitative analysis of secure information flow via probabilistic semantics. In: Proc. of ARES. IEEE, Los Alamitos (2009)
23. Rutten, J.J.M.M.: Behavioural di_erential equations: a coinductive calculus of streams, automata, and power series. Theoretical Computer Science 308(1-3), 1-53 (2003)
24. Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selelcted Areas in Communications 21(1) (2003)
25. Sabelfeld, A., Sands, D.: Dimensions and principles of declassification. In: Proc. of CSFW, pp. 255-269. IEEE, Los Alamitos (2005)
26. Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: Proc. IEEE Symp. on Security and Privacy, pp. 144-161. IEEE, Los Alamitos (1990)