Probabilistic confinement in a declarative framework

Electronic Notes in Theoretical Computer Science

Volumn 48, Issue , 2001, Pages 108-130

  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

COMPUTER SYSTEMS; CONSTRAINT THEORY; PROBABILISTIC LOGICS; SEMANTICS; SPREADSHEETS; STATISTICAL METHODS; VECTORS; WEB BROWSERS;

CONSTRAINT PROGRAMMING; DECLARATIVE PROGRAMMING; INFORMATION FLOW; PROBABILISTIC PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0012799565     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00152-5     Document Type: Conference Paper

References (20)

1. Center for High Assurance Computing Systems, The Navy Handbook for the computer security certification of trusted systems (1998), draft version on http://chacs.nrl.navy.mil/main.html.
2. de Boer F.S., Di Pierro A., Palamidessi C. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science. 151:1995;37-78
3. Di Pierro A. and H. Wiklicky, An operational semantics for Probabilistic Concurrent Constraint Programming, in: P. Iyer, Y. Choo and D. Schmidt, editors, ICCL'98 - International Conference on Computer Languages (1998), pp. 174-183.
4. Di Pierro A. and H. Wiklicky, Probabilistic Concurrent Constraint Programming: Towards a fully abstract model, in: L. Brim, J. Gruska and J. Zlatuska, editors, MFCS'98 - Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 1450 (1998), pp. 446-455.
5. Di Pierro A. and H. Wiklicky, Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation, in: M. Gabbrielli and F. Pfenning, editors, Proceedings of PPDP'00 - Principles and Practice of Declarative Programming, ACM SIGPLAN (2000), pp. 127-138.
6. Di Pierro A. and H. Wiklicky, Quantitative observables and averages in Probabilistic Concurrent Constraint Programming, in: K. Apt, T. Kakas, E. Monfroy and F. Rossi, editors, New Trends in Constraints - Selected Papers of the ERCIM/Compulog Workshop on Constraints, October 1999, Paphos, Cyprus, number 1865 in Lecture Notes in Computer Science (2000), pp. 212-236.
7. Di Pierro A. and H. Wiklicky, Measuring the precision of abstract interpretations, in: Proceedings of LOPSTR'00 - 10th International Workshop on Logic-Based Program Synthesis and Transformation, London, UK, Lecture Notes in Computer Science (2001), pp. 1-18.
8. Goguen J. and J. Meseguer, Security Policies and Security Models, in: Proceedings of the IEEE Symposium on Security and Privacy (1982), pp. 11-20.
9. Gray, III, J. W., Probabilistic interference, in: Proceedings of the IEEE Symposium on Security and Privacy (1990), pp. 170-179.
10. Gupta V., R. Jagadeesan and V. A. Saraswat, Probabilistic concurrent constraint programming, in: Proceedings of CONCUR 97: Concurrency Theory, number 1576 in Lecture Notes in Computer Science (1997), pp. 243-257.
11. Lampson B.W. A Note on the Confinement Problem. Communications of the ACM. 16:1973;613-615
12. Nielson F., Nielson H.R., Hankin C. Principles of Program Aanalysis. 1999;Springer Verlag, Berlin - Heidelberg
13. Sabelfeld A., Sands D. A per model of secure information flow in sequential programs. ESOP'99, number 1576 in Lecture Notes in Computer Science. 1999;40-58
14. Sabelfeld A. and D. Sands, Probabilistic noninterference for multi-threaded programs, in: Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000, pp. 200-214.
15. Saraswat, V. A. and M. Rinard, Concurrent constraint programming, in: Symposium on Principles of Programming Languages (POPL'90) (1990), pp. 232-245.
16. Saraswat, V. A., M. Rinard and P. Panangaden, Semantics foundations of concurrent constraint programming, in: Symposium on Principles of Programming Languages (POPL'91) (1991), pp. 333-353.
17. Smith G. and D. Volpano, Secure information flow in a multi-threaded imperative language, in: Symposium on Principles of Programming Languages (POPL'98) (1998), pp. 355-364.
18. Smith G. and D. Volpano, Verifying secrets and relative secrecy, in: Symposium on Principles of Programming Languages (POPL'00) (2000), pp. 368-376.
19. Volpano D., Smith G. Confinement properties for programming languages. SIGACT News. 29:1998;33-42
20. Volpano D. and G. Smith, Probabilistic noninterference in a concurrent language, in: Proceedings of the 11th IEEE Computer Security Foundations Workshop (CSFW '98) (1998), pp. 34-43.