{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:41Z","timestamp":1762458821508},"publisher-location":"Berlin, Heidelberg","reference-count":59,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209553"},{"type":"electronic","value":"9783540246312"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24631-2_1","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T08:34:59Z","timestamp":1280738099000},"page":"1-43","source":"Crossref","is-referenced-by-count":10,"title":["Two Formal Approaches for Approximating Noninterference Properties"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Di Pierro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","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":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-44685-0_11","volume-title":"CONCUR 2001 - Concurrency Theory","author":"A. Aldini","year":"2001","unstructured":"Aldini, A.: Probabilistic Information Flow in a Process Algebra. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 152\u2013168. Springer, Heidelberg (2001)"},{"key":"1_CR2","unstructured":"Aldini, A.: On the Extension of Non-interference with Probabilities. In: Guttman, J. (ed.) Proc. of WITS 2002 \u2013 2nd Workshop on Issues in the Theory of Security, Portland, OR, USA (2002)"},{"key":"1_CR3","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Noninterference. Journal of Computer Security (to appear)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45605-8_3","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"A. Aldini","year":"2002","unstructured":"Aldini, A., Gorrieri, R.: Security Analysis of a Probabilistic Non-repudiation Protocol. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 17\u201336. Springer, Heidelberg (2002)"},{"key":"1_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608841","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J.C.M. Baeten","year":"1995","unstructured":"Baeten, J.C.M., Bergstra, J.A., Smolka, S.A.: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Information and Computation\u00a0121, 234\u2013255 (1995)","journal-title":"Information and Computation"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Computer Aided Verification","author":"C. Baier","year":"1997","unstructured":"Baier, C., Hermanns, H.: Weak Bisimulation for Fully Probabilistic Processes. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 119\u2013130. Springer, Heidelberg (1997)"},{"key":"1_CR8","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science Publishers B.V., Amsterdam (2001)"},{"key":"1_CR9","unstructured":"Bernardo, M.: Theory and Application of Extended Markovian Process Algebra. Ph.D. Thesis, University of Bologna, Italy (1999), ftp:\/\/ftp.cs.unibo.it\/pub\/techreports\/99-13.ps.gz"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/inco.1998.2706","volume":"144","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. Information and Computation\u00a0144(2), 83\u2013154 (1998)","journal-title":"Information and Computation"},{"key":"1_CR11","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1986","unstructured":"Billingsley, P.: Probability and Measure, 2nd edn. Wiley & Sons, New York (1986)","edition":"2"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. Ph.D. Thesis, University of Bologna, Italy (2002), http:\/\/www.cs.unibo.it\/~bravetti","DOI":"10.1007\/3-540-45605-8_14"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","volume":"290","author":"M. Bravetti","year":"2003","unstructured":"Bravetti, M., Aldini, A.: Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds. Theoretical Computer Science\u00a0290(1), 355\u2013406 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"1_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/S1571-0661(05)80749-2","volume":"39","author":"Mario Bravetti","year":"2000","unstructured":"Bravetti, M., Bernardo, M.: Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. In: Proc. of 1st Workshop on Models for Time-Critical Systems (MTCS 2000), State College (PA). ENTCS, vol.\u00a039(3) (2000)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-48224-5_35","volume-title":"Automata, Languages and Programming","author":"F. Breugel van","year":"2001","unstructured":"van Breugel, F., Worrell, J.: Towards Quantitative Verification of Probabilistic Systems (extended abstract). In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 421\u2013432. Springer, Heidelberg (2001)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/3-540-44667-2_5","volume-title":"Process algebra and markov chains","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Hermanns, H.: EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, p. 183. Springer, Heidelberg (2001)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Cachin, C., Kursawe, K., Shoup, V.: Random Oracles in Constantipole: Practical Asynchronous Byzantine Agreement Using Cryptography (extended abstract). In: Proc. of 19th Symposium on Principles of Distributed Computing, pp. 123\u2013132. ACM Press, New York (2000)","DOI":"10.1145\/343477.343531"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools. Performance 2002","year":"2002","unstructured":"Calzarossa, M.C., Tucci, S. (eds.): Performance 2002. LNCS, vol.\u00a02459. Springer, Heidelberg (2002)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Clark, D., Hunt, S., Malacaria, P.: Quantitative Analysis of Leakage of Confidential Data. In: QAPL 2001 - First International Workshop on Quantitative Aspects of Programming Laguages. Electronic Notes in Theoretical Computer Science, vol.\u00a059, Elsevier, Amsterdam (2002)","DOI":"10.1016\/S1571-0661(04)00290-7"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(95)00047-Z","volume":"151","author":"F.S. Boer de","year":"1995","unstructured":"de Boer, F.S., Di Pierro, A., Palamidessi, C.: Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science\u00a0151(1), 37\u201378 (1995)","journal-title":"Theoretical Computer Science"},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-48320-9_19","volume-title":"CONCUR\u201999 Concurrency Theory","author":"Jos\u00e9e Desharnais","year":"1999","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labeled markov systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 258\u2013273. Springer, Heidelberg (1999)"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/LICS.2002.1029849","volume-title":"Proc. of 17th Symposium on Logic in Computer Science (LICS)","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. In: Proc. of 17th Symposium on Logic in Computer Science (LICS), pp. 413\u2013422. IEEE CS Press, Los Alamitos (2002)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic Confinement in a Declarative Framework. In: Declarative Programming \u2013 Selected Papers from AGP 2000 \u2013 La Havana, Cuba. Electronic Notes in Theoretical Computer Science, vol.\u00a048, Elsevier, Amsterdam (2001)","DOI":"10.1016\/S1571-0661(04)00152-5"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-45789-5_23","volume-title":"Static Analysis","author":"A. Pierro Di","year":"2002","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Analysing Approximate Confinement under Uniform Attacks. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 310\u2013326. Springer, Heidelberg (2002)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate Non-interference. In: Proc. of 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, pp. 3\u201317 (2002)","DOI":"10.1109\/CSFW.2002.1021803"},{"key":"1_CR26","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Measuring the Confinement of Concurrent Probabilistic Systems. In: Gorrieri, R. (ed.) Proc. of WITS 2003 \u2013 Workshop on Issues in the Theory of Security, Warsaw, Poland (2003), http:\/\/www.dsi.unive.it\/IFIPWG1_7\/wits2003.html"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate Non-interference. Journal of Computer Security (2003) (to appear)","DOI":"10.3233\/JCS-2004-12103"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Quantitative Relations and Approximate Process Equivalences. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 508\u2013522. Springer, Heidelberg (2003) (to appear)","DOI":"10.1007\/978-3-540-45187-7_33"},{"key":"1_CR29","first-page":"174","volume-title":"Proc. of ICCL 1998 \u2013 Int. Conf. on Computer Languages","author":"A. Pierro Di","year":"1998","unstructured":"Di Pierro, A., Wiklicky, H.: An Operational Semantics for Probabilistic Concurrent Constraint Programming. In: Iyer, P., Choo, Y., Schmidt, D. (eds.) Proc. of ICCL 1998 \u2013 Int. Conf. on Computer Languages, pp. 174\u2013183. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/BFb0055794","volume-title":"Mathematical Foundations of Computer Science 1998","author":"A. Pierro Di","year":"1998","unstructured":"Di Pierro, A., Wiklicky, H.: Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 446\u2013455. Springer, Heidelberg (1998)"},{"key":"1_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-44654-0_11","volume-title":"New Trends in Constraints","author":"A. Pierro Di","year":"2000","unstructured":"Di Pierro, A., Wiklicky, H.: Quantitative Observables and Averages in Probabilistic Concurrent Constraint Programming. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol.\u00a01865, p. 212. Springer, Heidelberg (2000)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policy and Security Models. In: Proc. of Symposium on Security and Privacy (SSP 1982), pp. 11\u201320. IEEE CS Press, Los Alamitos (1982)","DOI":"10.1109\/SP.1982.10014"},{"issue":"1","key":"1_CR33","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A Classification of Security Properties. Journal of Computer Security\u00a03(1), 5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design","year":"2001","unstructured":"Focardi, R., Gorrieri, R. (eds.): FOSAD 2000. LNCS, vol.\u00a02171, p. 331. Springer, Heidelberg (2001)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, Generative and Stratified Models of Probabilistic Processes. Information and Computation\u00a0121, 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: Probabilistic Interference. In: Proc. of Symposium on Security and Privacy (SSP 1990), pp. 170\u2013179. IEEE CS Press, Los Alamitos (1990)","DOI":"10.1109\/RISP.1990.63848"},{"key":"1_CR37","doi-asserted-by":"crossref","first-page":"255","DOI":"10.3233\/JCS-1992-13-405","volume":"1","author":"J.W. Gray III","year":"1992","unstructured":"Gray III, J.W.: Toward a Mathematical Foundation for Information Flow Security. Journal of Computer Security\u00a01, 255\u2013294 (1992)","journal-title":"Journal of Computer Security"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Gray III, J.W., Syverson, P.F.: A Logical Approach to Multilevel Security of Probabilistic Systems. In: Proc. of Symposium on Security and Privacy (SSP 1992), pp. 164\u2013176. IEEE CS Press, Los Alamitos (1992)","DOI":"10.1109\/RISP.1992.213263"},{"key":"1_CR39","unstructured":"Grinstead, C.M., Snell, J.L.: Introduction to Probability. American Mathematical Society, Providence, Rhode Island, second revised edition (1997)"},{"key":"1_CR40","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-79917-4_2","volume-title":"Quantitative Methods in Parallel Systems","author":"P. G. Harrison","year":"1995","unstructured":"Harrison, P., Strulo, B.: Stochastic Process Algebra for Discrete Event Simulation. In: Quantitative Methods in Parallel Systems, ESPRIT Basic Research Series, pp. 18\u201337. Springer, Heidelberg (1995)"},{"key":"1_CR41","volume-title":"Cylindric Algebras (Part I)","author":"L. Henkin","year":"1971","unstructured":"Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras (Part I). North-Holland, Amsterdam (1971)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Herzog, U., Hillston, J., Mertsiotakis, V., Rettelbach, M.: Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling. In: 7th Conf. on Formal Description Techniques (FORTE 1994), pp. 449\u2013451 (1994)","DOI":"10.1007\/978-0-387-34878-0_36"},{"key":"1_CR43","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"1_CR44","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"1_CR45","unstructured":"Kocher, P.C.: Cryptanalysis of Diffie-Hellman, RSA, DSS, and Other Cryptosystems Using Timing Attacks. In: Coppersmith, D. (ed.) CRYPTO 1995. LNCS, vol.\u00a0963, pp. 171\u2013183. Springer, Heidelberg (1995)"},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/288090.288117","volume-title":"ACM Conf. on Computer and Communications Security","author":"P.D. Lincoln","year":"1998","unstructured":"Lincoln, P.D., Mitchell, J.C., Mitchell, M., Scedrov, A.: A Probabilistic Poly-time Framework for Protocol Analysis. In: ACM Conf. on Computer and Communications Security, pp. 112\u2013121. ACM Press, New York (1998)"},{"key":"1_CR47","unstructured":"Markowitch, O., Roggeman, Y.: Probabilistic Non-Repudiation Without Trusted Third Party. In: 2nd Conf. on Security in Communication Networks, Amalfi, Italy (1999)"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security Models and Information Flow. In: Proc. of Symposium on Security and Privacy (SSP 1990), pp. 180\u2013189. IEEE CS Press, Los Alamitos (1990)","DOI":"10.1109\/RISP.1990.63849"},{"key":"1_CR49","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"1_CR50","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/CSFW.2001.930149","volume-title":"Proc. of 14th Computer Security Foundations Workshop (CSFW 2001)","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A., McLean, J., Millen, J., Gligor, V.: Non-interference: Who needs It? In: Proc. of 14th Computer Security Foundations Workshop (CSFW 2001), pp. 237\u2013238. IEEE CS Press, Los Alamitos (2001)"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-49099-X_4","volume-title":"Programming Languages and Systems","author":"A. Sabelfeld","year":"1999","unstructured":"Sabelfeld, A., Sands, D.: A Per Model of Secure Information Flow in Sequential Programs. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 40\u201358. Springer, Heidelberg (1999)"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multithreaded Programs. In: Proc. of 13th Computer Security Foundations Workshop (CSFW 2000), pp. 200\u2013215. IEEE CS Press, Los Alamitos (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"issue":"1","key":"1_CR53","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-Based Information Flow Security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"1_CR54","first-page":"232","volume-title":"Symposium on Principles of Programming Languages (POPL)","author":"V.A. Saraswat","year":"1990","unstructured":"Saraswat, V.A., Rinard, M.: Concurrent constraint programming. In: Symposium on Principles of Programming Languages (POPL), pp. 232\u2013245. ACM Press, New York (1990)"},{"key":"1_CR55","first-page":"333","volume-title":"Symposium on Principles of Programming Languages (POPL)","author":"V.A. Saraswat","year":"1991","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: Semantics foundations of concurrent constraint programming. In: Symposium on Principles of Programming Languages (POPL), pp. 333\u2013353. ACM Press, New York (1991)"},{"key":"1_CR56","series-title":"Springer Texts in Statistics","volume-title":"Mathematical Statistics","author":"J. Shao","year":"1999","unstructured":"Shao, J.: Mathematical Statistics. Springer Texts in Statistics. Springer, Heidelberg (1999)"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Smith, G.: A new Type System for Secure Information Flow. In: Proc. of 14th Computer Security Foundations Workshop (CSFW 2001), pp. 115\u2013125. IEEE CS Press, Los Alamitos (2001)","DOI":"10.1109\/CSFW.2001.930141"},{"key":"1_CR58","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/CSFW.2003.1212701","volume-title":"Proc. of 16th Computer Security Foundations Workshop (CSFW 2003)","author":"G. Smith","year":"2003","unstructured":"Smith, G.: Probabilistic Noninterference through Weak Probabilistic Bisimulation. In: Proc. of 16th Computer Security Foundations Workshop (CSFW 2003), pp. 3\u201313. IEEE CS Press, Los Alamitos (2003)"},{"key":"1_CR59","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/CSFW.1995.518560","volume-title":"Proc. of 8th Computer Security Foundations Workshop (CSFW 1995)","author":"P. Syverson","year":"1995","unstructured":"Syverson, P., Gray III, J.W.: The Epistemic Representation of Information Flow Security in Probabilistic Systems. In: Proc. of 8th Computer Security Foundations Workshop (CSFW 1995), pp. 152\u2013166. IEEE CS Press, Los Alamitos (1995)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Security Analysis and Design II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24631-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T22:53:12Z","timestamp":1559343192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24631-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209553","9783540246312"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24631-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}