Information flow in interactive systems

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

Volumn 6269 LNCS, Issue , 2010, Pages 102-116

  Alvim, Mário S ^a   Andrés, Miguel E ^b   Palamidessi, Catuscia ^a  

^a INRIA   (France)

^b Institute for Computing and Information Sciences   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

CHANNELS WITH MEMORY; CONTINUOUS FUNCTIONS; INFORMATION FLOWS; INFORMATION LEAKAGE; INFORMATION-THEORETIC APPROACH; INTERACTIVE SYSTEM; KANTOROVICH METRIC; NOISY CHANNEL;

INFORMATION THEORY;

EID: 78249253926     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15375-4_8     Document Type: Conference Paper

References (22)

1. Alvim, M.S., Andrés, M.E., Palamidessi, C.: Information Flow in Interactive Systems (2010), http://hal.archives-ouvertes.fr/inria-00479672/en/
2. Andrés, M.E., Palamidessi, C., van Rossum, P., Smith, G.: Computing the leakage of information-hiding systems. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 373-389. Springer, Heidelberg (2010)
3. Bohannon, A., Pierce, B.C., Sjöberg, V., Weirich, S., Zdancewic, S.: Reactive noninterference. In: Proc. of CCS, pp. 79-90. ACM, New York (2009)
4. Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: Anonymity protocols as noisy channels. Inf. and Comp. 206(2-4), 378-401 (2008)
5. Clark, D., Hunt, S., Malacaria, P.: Quantified interference for a while language. In: Proc. of QAPL 2004. ENTCS, vol. 112, pp. 149-166. Elsevier, Amsterdam (2005)
6. Cover, T.M., Thomas, J.A.: Elements of Information Theory. J. Wiley & Sons, Inc., Chichester (1991)
7. Deng, Y., Chothia, T., Palamidessi, C., Pang, J.: Metrics for action-labelled quantitative transition systems. In: Proc. of QAPL. ENTCS, vol. 153, pp. 79-96. Elsevier, Amsterdam (2006)
8. Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.: The metric analogue of weak bisimulation for probabilistic processes. In: Proc. of LICS, pp. 413-422. IEEE, Los Alamitos (2002)
9. Ebay website, http://www.ebay.com/
10. Ebid website, http://www.ebid.net/
11. Kantorovich, L.: On the transfer of masses (in Russian). Doklady Akademii Nauk 5(1), 1-4 (1942);
12. Translated in Management Science 5(1), 1-4 (1958)
13. Malacaria, P.: Assessing security threats of looping constructs. In: Proc. of POPL, pp. 225-235. ACM, New York (2007)
14. Massey, J.L.: Causality, feedback and directed information. In: Proc. of the 1990 Intl. Symposium on Information Theory and its Applications (1990)
15. Mercadolibre website, http://www.mercadolibre.com/
16. Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis. Tech. Rep. MIT/LCS/TR-676 (1995)
17. Smith, G.: On the foundations of quantitative information flow. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 288-302. Springer, Heidelberg (2009)
18. Stajano, F., Anderson, R.J.: The cocaine auction protocol: On the power of anonymous broadcast. In: Information Hiding, pp. 434-447 (1999)
19. Subramanian, S.: Design and verification of a secure electronic auction protocol. In: Proc. of SRDS, pp. 204-210. IEEE, Los Alamitos (1998)
20. Tatikonda, S., Mitter, S.K.: The capacity of channels with feedback. IEEE Transactions on Information Theory 55(1), 323-349 (2009)
21. van Breugel, F., Worrell, J.: Towards quantitative verification of probabilistic transition systems. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 421-432. Springer, Heidelberg (2001) (Pubitemid 33300818)
22. Vickrey, W.: Counterspeculation, Auctions, and Competitive Sealed Tenders. The Journal of Finance 16(1), 8-37 (1961)