{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T10:51:38Z","timestamp":1777805498066,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer Security"],"published-print":{"date-parts":[[2004,2,1]]},"abstract":"<jats:p>We define several security properties for the analysis of probabilistic noninterference as a conservative extension of a classical, nondeterministic, process-algebraic approach to information flow theory. We show that probabilistic covert channels (that are not observable in the nondeterministic setting) may be revealed through our approach and that probabilistic information can be exploited to give an estimate of the amount of confidential information flowing to unauthorized users. Finally, we present a case study showing that the expressiveness of the calculus we adopt makes it possible to model and analyze real concurrent systems.<\/jats:p>","DOI":"10.3233\/jcs-2004-12202","type":"journal-article","created":{"date-parts":[[2016,5,18]],"date-time":"2016-05-18T03:29:29Z","timestamp":1463542169000},"page":"191-245","source":"Crossref","is-referenced-by-count":46,"title":["A process-algebraic approach for the analysis of probabilistic noninterference"],"prefix":"10.1177","volume":"12","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[{"name":"Istituto di Scienze e Tecnologie dell'Informazione, Universit\u00e0 di Urbino, Piazza della Repubblica 13, 61029 Urbino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[{"name":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2004,2,1]]},"container-title":["Journal of Computer Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JCS-2004-12202","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/JCS-2004-12202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T20:43:18Z","timestamp":1777495398000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/JCS-2004-12202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2,1]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,2,1]]}},"alternative-id":["10.3233\/JCS-2004-12202"],"URL":"https:\/\/doi.org\/10.3233\/jcs-2004-12202","relation":{},"ISSN":["0926-227X","1875-8924"],"issn-type":[{"value":"0926-227X","type":"print"},{"value":"1875-8924","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,2,1]]}}}