{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T16:08:37Z","timestamp":1787069317535,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642034589","type":"print"},{"value":"9783642034596","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03459-6_2","type":"book-chapter","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T23:16:08Z","timestamp":1251501368000},"page":"18-33","source":"Crossref","is-referenced-by-count":5,"title":["A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Bernardo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.scico.2005.07.010","volume":"63","author":"A. Aldini","year":"2006","unstructured":"Aldini, A.: Classification of security properties in a Linda-like process algebra. J. of Science of Computer Programming\u00a063, 16\u201338 (2006)","journal-title":"J. of Science of Computer Programming"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1016\/j.ress.2006.10.003","volume":"92","author":"A. Aldini","year":"2007","unstructured":"Aldini, A., Bernardo, M.: A formal approach to the integrated analysis of security and QoS. J. of Reliability Engineering & System Safety\u00a092, 1503\u20131520 (2007)","journal-title":"J. of Reliability Engineering & System Safety"},{"key":"2_CR3","doi-asserted-by":"publisher","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. J. of Computer Security\u00a012, 191\u2013245 (2004)","journal-title":"J. of Computer Security"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24631-2_1","volume-title":"Foundations of Security Analysis and Design II","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Di Pierro, A., Gorrieri, R., Hankin, C., Wiklicky, H.: Two formal approaches for approximating noninterference properties. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol.\u00a02946, pp. 1\u201343. Springer, Heidelberg (2004)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1142\/9789812770998_0008","volume-title":"10th Italian Conf. on Theoretical Computer Science","author":"M. Bernardo","year":"2007","unstructured":"Bernardo, M., Aldini, A.: Weak Markovian bisimilarity: abstracting from prioritized\/weighted internal immediate actions. In: 10th Italian Conf. on Theoretical Computer Science, pp. 39\u201356. World Scientific, Singapore (2007)"},{"key":"2_CR6","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 Comp. Science\u00a0290, 355\u2013406 (2003)","journal-title":"Theoretical Comp. Science"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-88625-9_6","volume-title":"Information and Communications Security","author":"A. Pierro Di","year":"2008","unstructured":"Di Pierro, A., Wiklicky, H.: Quantifying timing leaks and cost optimisation. In: Chen, L., Ryan, M.D., Wang, G. (eds.) ICICS 2008. LNCS, vol.\u00a05308, pp. 81\u201396. Springer, Heidelberg (2008)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Focardi, R., Martinelli, F., Gorrieri, R.: Information flow analysis in a discrete-time process algebra. In: IEEE Computer Security Foundations Workshop, pp. 170\u2013184 (2000)","DOI":"10.1109\/CSFW.2000.856935"},{"key":"2_CR9","doi-asserted-by":"publisher","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. J. of Computer Security\u00a03, 5\u201333 (1995)","journal-title":"J. of Computer Security"},{"key":"2_CR10","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 Comput.\u00a0121, 59\u201380 (1995)","journal-title":"Information and Comput."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policy and security models. In: IEEE Symp. on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Troina, A.: A classification of time and\/or probability dependent security properties. In: 3rd Int. Workshop on Quantitative Aspects of Programming Languages. ENTCS, vol.\u00a0153, pp. 177\u2013193 (2005)","DOI":"10.1016\/j.entcs.2005.10.038"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Mantel, H., Sudbrock, H.: Comparing countermeasures against interrupt-related covert channels in an information-theoretic framework. In: IEEE Computer Security Foundations Symposium, pp. 326\u2013340 (2007)","DOI":"10.1109\/CSF.2007.14"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"McLean, J.: Security models and information flow. In: IEEE Symp. on Research in Security and Privacy, pp. 180\u2013187 (1990)","DOI":"10.21236\/ADA462529"},{"key":"2_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"2_CR16","unstructured":"Roscoe, A.W., Reed, G.M., Forster, R.: The successes and failures of behavioural models. Millenial Perspectives in Computer Science (2000)"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P.Y.A. Ryan","year":"2001","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. J. of Computer Security\u00a09, 75\u2013103 (2001)","journal-title":"J. of Computer Security"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: IEEE Computer Security Foundations Workshop, pp. 200\u2013214 (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Smith, G.: Probabilistic noninterference through weak probabilistic bisimulation. In: IEEE Computer Security Foundations Workshop, pp. 3\u201313 (2003)","DOI":"10.1109\/CSFW.2003.1212701"},{"key":"2_CR20","volume-title":"Introduction to the numerical solution of Markov chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton (1994)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Volpano, D., Smith, G.: Probabilistic noninterference in a concurrent language. In: IEEE Computer Security Foundations Workshop, pp. 34\u201343 (1998)","DOI":"10.1109\/CSFW.1998.683153"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symp. on Research in Security and Privacy, pp. 144\u2013161 (1990)","DOI":"10.1109\/RISP.1990.63846"}],"container-title":["Lecture Notes in Computer Science","Foundations and Applications of Security Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03459-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T04:19:52Z","timestamp":1558498792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03459-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034589","9783642034596"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03459-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}