Approximate non-interference

Journal of Computer Security

Volumn 12, Issue 1 SPEC. ISS., 2004, Pages 37-81

  Di Pierro, Alessandra ^a   Hankin, Chris ^b   Wiklicky, Herbert ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EQUIVALENCE CLASSES; INFORMATION DISSEMINATION; INFORMATION USE; MARKOV PROCESSES; PROBABILITY; STATISTICAL METHODS;

INFORMATION FLOW; INFORMATION LEAKAGE;

SECURITY OF DATA;

EID: 0344875573     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/jcs-2004-12103     Document Type: Conference Paper

References (39)

1. A. Aldini, On the extension of non-interference with probabilities, in: Proceedings of WITS '02 Workshop on Issues in the Theory of Security, P. Syverson and J. Guttman, eds, Portland, 2002, http://www.dsi.unive.it/IFlPWG1_7/WITS2002.
2. J.A. Bergstra, A. Ponse and S.A. Smolka, eds, Handbook of Process Algebra, Elsevier Science, Amsterdam, 2001.
3. P. Billingsley, Probability and Measure, 2nd edn, Wiley & Sons, New York, 1986.
4. D. Clark, S. Hunt and P. Malacaria, Quantitative analysis of leakage of confidential data, in: QAPL 2001 - First International Workshop on Quantitative Aspects of Programming Laguages, Volume 59 of Electronic Notes in Theoretical Computer, 2002.
5. P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Symposium on Principles of Programming Languages (POPL), Los Angeles, 1977, pp. 238-252.
6. F.S. de Boer, A. Di Pierro and C. Palamidessi, Nondeterminism and infinite computations in constraint programming, Theoretical Computer Science 151(1) (1995), 37-78.
7. A. Di Pierro, C. Hankin and H. Wiklicky, Probabilistic confinement in a declarative framework, in: Declarative Programming - Selected Papers from AGP 2000 - La Havana, Cuba, Volume 48 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001, pp. 1-23.
8. A. Di Pierro, C. Hankin and H. Wiklicky, Analysing approximate confinement under uniform attacks, in: SAS 2002 - 9th International Symposium on Static Analysis, Volume 2477 of Lecture Notes in Computer Science, Springer, 2002, pp. 310-326.
9. A. Di Pierro and H. Wiklicky, An operational semantics for Probabilistic Concurrent Constraint Programming, in: ICCL '98 - International Conference on Computer Languages, P. Iyer, Y. Choo and D. Schmidt, eds, IEEE Computer Society Press, 1998, pp. 174-183.
10. A. Di Pierro and H. Wiklicky, Probabilistic Concurrent Constraint Programming: Towards a fully abstract model, in: MFCS '98 - Mathematical Foundations of Computer Science, L. Brim, J. Gruska and J. Zlatuska, eds, Volume 1450 of Lecture Notes in Computer Science, Berlin - New York, 1998, Springer-Verlag, pp. 446-455.
11. A. Di Pierro and H. Wiklicky, Quantitative observables and averages in Probabilistic Concurrent Constraint Programming, in: New Trends in Constraints - Selected Papers of the ERCIM/Compulog Workshop on Constraints, October 1999, Paphos, Cyprus, K.R. Apt, T. Kakas, E. Monfroy and F. Rossi, eds, number 1865 in Lecture Notes in Computer Science, Berlin-Heidelberg-New York, 2000. Springer-Verlag.
12. R. Focardi and R. Gorrieri, A classification of security properties for process algebras, Journal of Computer Security 3(1) (1995), 5-33.
13. R. Focardi and R. Gorrieri, Classification of security properties (Part I: Information Flow), in: Foundations of Security Analysis and Design - Tutorial Lectures, Volume 2171 of Lecture Notes in Computer Science, Springer, 2001, pp. 331-396.
14. J. Goguen and J. Meseguer, Security policies and security models, in: IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 1982, pp. 11-20.
15. J.W. Gray, III, Probabilistic interference, in: Proceedings of the IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 1990, pp. 170-179.
16. C.M. Grinstead and J.L. Snell, Introduction to Probability, second revised edition, American Mathematical Society, Providence, Rhode Island, 1997.
17. L. Henkin, J.D. Monk and A. Tarski, Cylindric Algebras (Part I), North-Holland, 1971.
18. R. Jagadeesan, J. Desharnais, V. Gupta and P. Panangaden, Approximating labelled Markov processes, in: Proceedings of LICS '2000, IEEE Computer Society Press, 2000.
19. B. Jonsson, W. Yi and K.G. Larsen, Probabilistic Extentions of Process Algebras, Elsevier Science, Amsterdam, 2001, Chapter 11, pp. 685-710, see [2].
20. P.C. Kocher, Cryptanalysis of Diffie-Hellman, RSA, DSS, and other cryptosystems using timing attacks, in: Advances in Cryptology, CRYPTO '95:15th Annual International Cryptology Conference, Santa Barbara, California, USA, D. Coppersmith, ed., Volume 963 of Lecture Notes in Computer Science, Berlin-Heidelberg-London, 1995, Springer-Verlag, pp. 171-183.
21. K.G. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation 94(1) (1991), 1-28.
22. P.D. Lincoln, J.C. Mitchell, M. Mitchell and A. Scedrov, A probabilistic poly-time framework for protocol analysis, in: ACM Conference on Computer and Communication Security (CCS-5), 1998.
23. G. Lowe, Quantifying information flow, in: Proceedings of CSFW15 - Computer Security Foundations Workshop, IEEE Computer Society Press, 2002.
24. L. Marcus, Formal dependence and independence relations in computer security, in: Haifa Logic Colloquium, 1995.
25. R. Milner, A Calculus of Communicating Systems, Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, Berlin-New York, 1980.
26. P.Y.A. Ryan, J. McLean, J. Millen and V. Gilgor, Non-interference, who needs it? in: Proceedings of the 14th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, IEEE, pp. 237-238.
27. P.Y.A. Ryan and S.A. Schneider, Process algebra and non-interference, Journal of Computer Security 9(1/2) (2001), 75-103. Special Issue on CSFW-12.
28. A. Sabelfeld and D. Sands, A per model of secure information flow in sequential programs, in: ESOP '99, number 1576 in Lecture Notes in Computer Science, Springer-Verlag, 1999, pp. 40-58.
29. A. Sabelfeld and D. Sands, Probabilistic noninterference for multi-threaded programs, in: Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000, pp. 200-214.
30. V.A. Saraswat and M. Rinard, Concurrent constraint programming, in: Symposium on Principles of Programming Languages (POPL), ACM, 1990, pp. 232-245.
31. V.A. Saraswat, M. Rinard and P. Panangaden, Semantics foundations of concurrent constraint programming, in: Symposium on Principles of Programming Languages (POPL), ACM, 1991, pp. 333-353.
32. J. Shao, Mathematical Statistics, Springer-Texts in Statistics, Springer-Verlag, New York-Berlin-Heidelberg, 1999.
33. G. Smith and D. Volpano, Secure information flow in a multi-threaded imperative language, in: Symposium on Principles of Programming Languages (POPL '98), San Diego, California, 1998, ACM, pp. 355-364.
34. G. Smith and D. Volpano, Verifying secrets and relative secrecy, in: Symposium on Principles of Programming Languages (POPL '00), Boston, Massachusetts, 2000, ACM, pp. 368-376.
35. F. van Breugel and J. Worrell, Towards quantitative verification of probabilistic transition systems, in: ICALP: 28th International Colloquium on Automata, Languages and Programming, Volume 2076 of Lecture Notes in Computer Science, Springer-Verlag, 2001, pp. 421-432.
36. R.J. van Glabbeek, S.A. Smolka and B. Steffen, Reactive, generative and stratified models of probabilistic processes, Information and Computation 121 (1995), 59-80.
37. D. Volpano and G. Smith, Confinement properties for programming languages, SIGACT News 29(3) (1998), 33-42.
38. D. Volpano and G. Smith, Probabilistic noninterference in a concurrent language, in: Proceedings of the 11th IEEE Computer Security Foundations Workshop (CSFW '98), Washington-Brussels-Tokyo, 1998, IEEE, pp. 34-43.
39. D.G. Weber, Quantitative hook-up security for covert channel analysis, in: Proceedings of the 1988 Workshop on the Foundations of Computer Security, Franconia, New Hampshire, 1988.