{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:54:58Z","timestamp":1742385298371},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4920,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1016\/s1571-0661(04)00152-5","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"108-130","source":"Crossref","is-referenced-by-count":8,"special_numbering":"C","title":["Probabilistic Confinement in a Declarative Framework"],"prefix":"10.1016","volume":"48","author":[{"given":"Alessandra","family":"Di Pierro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hankin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Wiklicky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB1","unstructured":"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."},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(95)00047-Z","article-title":"Nondeterminism and Infinite Computations in Constraint Programming","volume":"151","author":"de Boer","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"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\u2013183.","DOI":"10.1109\/ICCL.1998.674168"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"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\u2013455.","DOI":"10.1007\/BFb0055794"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB5","unstructured":"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\u2013138."},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB6","unstructured":"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 \u2014 Selected Papers of the ERCIM\/Compulog Workshop on Constraints, October 1999, Paphos, Cyprus, number 1865 in Lecture Notes in Computer Science (2000), pp. 212\u2013236."},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Di Pierro A. and H. Wiklicky, Measuring the precision of abstract interpretations, in: Proceedings of LOPSTR'00 \u2013 10th International Workshop on Logic-Based Program Synthesis and Transformation, London, UK, Lecture Notes in Computer Science (2001), pp. 1\u201318.","DOI":"10.1007\/3-540-45142-0_9"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Goguen J. and J. Meseguer, Security Policies and Security Models, in: Proceedings of the IEEE Symposium on Security and Privacy (1982), pp. 11\u201320.","DOI":"10.1109\/SP.1982.10014"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Gray, III, J. W., Probabilistic interference, in: Proceedings of the IEEE Symposium on Security and Privacy (1990), pp. 170\u2013179.","DOI":"10.1109\/RISP.1990.63848"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"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\u2013257.","DOI":"10.1007\/3-540-63141-0_17"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB11","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/362375.362389","article-title":"A Note on the Confinement Problem","volume":"16","author":"Lampson","year":"1973","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB12","series-title":"\u201cPrinciples of Program Aanalysis\u201d","author":"Nielson","year":"1999"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB13","series-title":"ESOP'99, number 1576 in Lecture Notes in Computer Science","first-page":"40","article-title":"A per model of secure information flow in sequential programs","author":"Sabelfeld","year":"1999"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB14","doi-asserted-by":"crossref","unstructured":"Sabelfeld A. and D. Sands, Probabilistic noninterference for multi-threaded programs, in: Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000, pp. 200\u2013214.","DOI":"10.1109\/CSFW.2000.856937"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A. and M. Rinard, Concurrent constraint programming, in: Symposium on Principles of Programming Languages (POPL'90) (1990), pp. 232\u2013245.","DOI":"10.1145\/96709.96733"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB16","doi-asserted-by":"crossref","unstructured":"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\u2013353.","DOI":"10.1145\/99583.99627"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB17","doi-asserted-by":"crossref","unstructured":"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\u2013364.","DOI":"10.1145\/268946.268975"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB18","unstructured":"Smith G. and D. Volpano, Verifying secrets and relative secrecy, in: Symposium on Principles of Programming Languages (POPL'00) (2000), pp. 368\u2013276."},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/300307.300311","article-title":"Confinement properties for programming languages","volume":"29","author":"Volpano","year":"1998","journal-title":"SIGACT News"},{"key":"10.1016\/S1571-0661(04)00152-5_NEWBIB20","doi-asserted-by":"crossref","unstructured":"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\u201343.","DOI":"10.1109\/CSFW.1998.683153"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001525?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001525?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T06:57:23Z","timestamp":1550213843000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":20,"alternative-id":["S1571066104001525"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00152-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}