{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T05:21:19Z","timestamp":1736054479853,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291138"},{"type":"electronic","value":"9783540319986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560326_16","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:29:26Z","timestamp":1127831366000},"page":"206-220","source":"Crossref","is-referenced-by-count":1,"title":["A Probabilistic Property-Specific Approach to Information Flow"],"prefix":"10.1007","author":[{"given":"Dani\u00e8le","family":"Beauquier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie","family":"Duflot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-2004-12202","volume":"12","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A process-algebraic approach for the analysis of probabilistic noninterference. Journal of Computer Security\u00a012, 191\u2013246 (2004)","journal-title":"Journal of Computer Security"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/CSFW.2004.1310735","volume-title":"17th IEEE Computer Security Foundations Workshop","author":"G. Barthe","year":"2004","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: 17th IEEE Computer Security Foundations Workshop, pp. 100\u2013114. IEEE Computer Society, Los Alamitos (2004)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.entcs.2004.01.018","volume":"112","author":"D. Clark","year":"2005","unstructured":"Clark, D., Hunt, S., Malacaria, P.: Quantified interference for a while language. Electronic Notes Theoretical Computer Science\u00a0112, 149\u2013166 (2005)","journal-title":"Electronic Notes Theoretical Computer Science"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/964001.964017","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Giacobazzi","year":"2004","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 186\u2013197. ACM, New York (2004)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proc. IEEE Symp. on Security and Privacy, pp. 11\u201320 (April 1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/RISP.1991.130769","volume-title":"Proc. 1991 IEEE Symposium on Security and Privacy","author":"J.W. Gray III","year":"1991","unstructured":"Gray III, J.W.: Toward a mathematical foundation for information flow security. In: Proc. 1991 IEEE Symposium on Security and Privacy, pp. 21\u201335. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: Probabilistic interference. In: Proc. IEEE Symp. on Security and Privacy, pp. 170\u2013179 (May 1990)","DOI":"10.1109\/RISP.1990.63848"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Secrecy in multiagent systems. In: Proc. IEEE Computer Security Foundations Workshop (2002)","DOI":"10.1109\/CSFW.2002.1021805"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Quantifying information flow. In: Proc. IEEE Computer Security Foundations Workshop, pp. 18\u201331 (June 2002)","DOI":"10.1109\/CSFW.2002.1021804"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Possibilistic definitions of security \u2013 An assembly kit. In: Proc. IEEE Computer Security Foundations Workshop, pp. 185\u2013199 (June 2002)","DOI":"10.1109\/CSFW.2000.856936"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Specifications for multi-level security and hook-up property. In: Proc. IEEE Symp. on Security and Privacy, pp. 161\u2013166 (April 1987)","DOI":"10.1109\/SP.1987.10009"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security models and information flow. In: Proc. IEEE Symp. on Security and Privacy, pp. 180\u2013187 (May 1990)","DOI":"10.21236\/ADA462529"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"McLean, J.: A general theory of composition for trace sets closed under selective interleaving functions. In: Proc. IEEE Symp. on Security and Privacy, pp. 79\u201393 (May 1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"16_CR14","unstructured":"O\u2019Halloran, C.: A calculus of information flow. In: Proc. of the European Symposium on Research in Security and Privacy (ESoRiCS 1990), pp. 180\u2013187 (1990)"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-2004-12103","volume":"12","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate non-interference. Journal of Computer Security\u00a012, 37\u201382 (2004)","journal-title":"Journal of Computer Security"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: Proc. IEEE Computer Security Foundations Workshop, pp. 200\u2013214 (July 2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"16_CR17","unstructured":"Slissenko, A.: On probabilistic modeling of information flow. Talk at a working seminar of LACL (2004)"},{"key":"16_CR18","first-page":"74","volume-title":"Proc. IEEE Symp. on Security and Privacy","author":"A. Zakinthinos","year":"1997","unstructured":"Zakinthinos, A., Lee, E.S.: A general theory of security properties. In: Proc. IEEE Symp. on Security and Privacy, pp. 74\u2013102. IEEE Computer Society Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Computer Network Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560326_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:52:28Z","timestamp":1736005948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560326_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291138","9783540319986"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11560326_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}