Quantifying information leakage in process calculi

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

Volumn 4052 LNCS, Issue , 2006, Pages 119-131

  Boreale, Michele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Information leakage; Information theory; Process calculi; Secrecy

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL MODELS; SECURITY SYSTEMS;

INFORMATION LEAKAGE; PROCESS CALCULI; SECRECY;

INFORMATION THEORY;

EID: 33746371722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_11     Document Type: Conference Paper

References (17)

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: The Spi-calculus. Information and Computation, 148(1): 1-70, 1999.
2. M. Boreale and R. De Nicola. Testing equivalence for mobile processes. Information and Computation, 120(2): 279-303, 1995.
3. M. Boreale and R. De Nicola. A symbolic semantics for the pi-calculus. Information and Computation, 126(1): 34-52, 1996.
4. R. De Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
5. R. Focardi and R. Gorrieri. A classification of security properties. Journal of Computer Security, (3): 5-34, 1995).
6. J.W. Gray, III. Towards a mathematical foundation for information flow security. In Proc. of 1991 IEEE Symposium on Research in Computer Security and Privacy, 1991.
7. M.C.B. Hennessy and H. Lin. Symbolic bisimulations. Theoretical Computer Science, 138(2): 353-389, 1995.
8. P. Harremoës and F. Topsøe. Inequalities between entropy and index of coincidence derived from information diagrams. IEEE Transactions on Information Theory, 47(7): 2944-2960, 2001.
9. P. Kocher. Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems. CRYPTO1996: 104-113, 1996.
10. P. Kocher, J. Jaffe and B. Jun. Differential Power Analysis. CRYPTO 1999: 388-397, 1999.
11. G. Lowe. Defining information flow quantity. Journal of Computer Security, 12(3-4): 619-653, 2004).
12. D. Clark, S. Hunt and P. Malacaria. Quantitative Analysis of the Leakage of Confidential Data. Electr. Notes Theor. Comput. Sci., 59(3), 2001.
13. J. Millen. Covert channel capacity. In Proc. of 1987 IEEE Symposium on Research in Computer Security and Privacy, 1987.
14. D. Sangiorgi and D. Walker. The pi-calculus: A Theory of Mobile Processes. Cambridge University Press, 2001.
15. F. Topsøe. Basic concepts, identities and inequalities - the Toolkit of Information Theory. Entropy, 3:162-190, 2001. Also available at http://www.math.ku.dk/~topsoe/toolkitfinal.pdf.
16. D. Volpano and G. Smith. Verifying Secrets and Relative Secrecy. In POPL 2000, 268-276, 2000.
17. J.T. Wittbold and D. Johnson. Information flow in nondeterministic systems. In Proc. of 1990 IEEE Symposium on Research in Computer Security and Privacy, 1990.