{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:20:18Z","timestamp":1742386818843},"publisher-location":"New York","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387240500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-24098-5_2","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T17:34:04Z","timestamp":1128360844000},"page":"13-26","source":"Crossref","is-referenced-by-count":3,"title":["Information Flow Analysis for Probabilistic Timed Automata"],"prefix":"10.1007","author":[{"given":"Ruggero","family":"Lanotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Maggiolo-Schettini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Troina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"A. Aldini, M. Bravetti, R. Gorrieri: A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. Journal of Computer Security, to appear."},{"key":"2_CR2","unstructured":"R. Alur, C. Courcoubetis, D. L. Dill: Verifying Automata Specifications of Probabilistic Real-Time Systems. Real-Time: Theory in Practice, Springer LNCS 600, 28\u201344, 1992."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D.L. Dill: A Theory of Timed Automata. Theoretical Computer Science 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"C. Baier, H. Hermanns: Weak Bisimulation for Fully Probabilistic Processes. Proc. of CAV'97, Springer LNCS 1254, 119\u2013130, 1997.","DOI":"10.1007\/3-540-63166-6_14"},{"issue":"2\u20133","key":"2_CR5","first-page":"137","volume":"54","author":"R. Barbuti","year":"2003","unstructured":"R. Barbuti, L. Tesei: A Decidable Notion of Timed Non-interference. Fundamenta Informaticae, 54(2\u20133): 137\u2013150, 2003.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0304-3975(01)00215-8","volume":"292","author":"D. Beauquier","year":"2003","unstructured":"D. Beauquier: On Probabilistic Timed Automata. Theoretical Computer Science, 292:65\u201384, 2003.","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"N. Evans, S. Schneider: Analysing Time Dependent Security Properties in CSP Using PVS. Proc. of Symp. on Research in Computer Security, Springer LNCS 1895, 222\u2013237, 2000.","DOI":"10.1007\/10722599_14"},{"issue":"1","key":"2_CR8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"R. Focardi, R. Gorrieri: A Classification of Security Properties. Journal of Computer Security, 3(1):5\u201333, 1995.","journal-title":"Journal of Computer Security"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"R. Focardi, R. Gorrieri, F. Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. Proc. of 13th CSFW, IEEE CS Press, 170\u2013184, 2000.","DOI":"10.1109\/CSFW.2000.856935"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, J. Meseguer: Security Policy and Security Models. Proc. of Symp. on Research in Security and Privacy, IEEE CS Press, 11\u201320, 1982.","DOI":"10.1109\/SP.1982.10014"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"255","DOI":"10.3233\/JCS-1992-13-405","volume":"1","author":"J. W. Gray III","year":"1992","unstructured":"J. W. Gray III. Toward a Mathematical Foundation for Information Flow Security. Journal of Computer Security, 1:255\u2013294, 1992.","journal-title":"Journal of Computer Security"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"P. R. Halmos: Measure Theory. Springer-Verlag, 1950.","DOI":"10.1007\/978-1-4684-9440-2"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"M. Kwiatkowska, G. Norman, R. Segala, J. Sproston: Automatic Verification of Real-time Systems with Discrete Probability Distribution. Theoretical Computer Science, 282:101\u2013150, 2002.","journal-title":"Theoretical Computer Science"},{"key":"2_CR14","unstructured":"M. Kwiatkowska, R. Norman, J. Sproston: Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability. Tech. rep. CSR-03-10, University of Birmingham, 2003."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"R. Lanotte, A. Maggiolo-Schettini, A. Troina: Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. Proc. of SEFM'03, IEEE CS Press, 34\u201343, 2003.","DOI":"10.1109\/SEFM.2003.1236205"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"D. McCullough: Noninterference and the Composability of Security Properties. Proc. of Symp. on Research in Security and Privacy, IEEE CS Press, 177\u2013186, 1988.","DOI":"10.1109\/SECPRI.1988.8110"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"J. K. Millen: Hookup Security for Synchronous Machines. Proc. of 3rd CSFW, IEEE CS Press, 84\u201390, 1990.","DOI":"10.1109\/CSFW.1990.128188"},{"key":"2_CR18","unstructured":"R. Milner: Communication and Concurrency. Prentice Hall, 1989."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"J. T. Wittbold, D. M. Johnson: Information Flow in Nondeterministic Systems. Proc. of Symp. on Research in Security and Privacy, IEEE CS Press, 144\u2013161, 1990.","DOI":"10.1109\/RISP.1990.63846"}],"container-title":["IFIP International Federation for Information Processing","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24098-5_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:50:31Z","timestamp":1619499031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387240500"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_2","relation":{},"subject":[]}}