{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T11:53:34Z","timestamp":1780574014363,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439134","type":"print"},{"value":"9783540456056","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45605-8_3","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:15:19Z","timestamp":1179267319000},"page":"17-36","source":"Crossref","is-referenced-by-count":12,"title":["Security Analysis of a Probabilistic Non-repudiation Protocol"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-44685-0_11","volume-title":"Proc. of the 12th Int. Conf. on Concurrency Theory","author":"A. Aldini","year":"2001","unstructured":"A. Aldini, \u201cProbabilistic Information Flow in a Process Algebra\u201d, in Proc. of the 12th Int. Conf. on Concurrency Theory, LNCS 2154, pp. 152\u2013168, Springer-Verlag, 2001"},{"key":"3_CR2","unstructured":"A. Aldini, \u201cOn the Extension of Non-interference with Probabilities\u201d, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002"},{"key":"3_CR3","unstructured":"A. Aldini, M. Bravetti, \u201cAn Asynchronous Calculus for Generative-Reactive Probabilistic Systems\u201d, in Proc. of the 8th Int. Workshop on Process Algebra and Performance Modeling, pp. 591\u2013605, Carleton Scientific, 2000"},{"key":"3_CR4","volume-title":"Technical Report UBLCS-2002-2","author":"A. Aldini","year":"2002","unstructured":"A. Aldini, M. Bravetti, R. Gorrieri, \u201cA Process Algebraic Approach for the Analysis of Probabilistic Non-interference\u201d, Technical Report UBLCS-2002-2, University of Bologna, Italy, 2002, \n                    ftp:\/\/ftp.cs.unibo.it\/pub\/techreports\/"},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Proc. of the 9th Int. Conf. on Computer Aided Verification","author":"C. Baier","year":"1997","unstructured":"C. Baier, H. Hermanns, \u201cWeak Bisimulation for Fully Probabilistic Processes\u201d, in Proc. of the 9th Int. Conf. on Computer Aided Verification, LNCS 1254, pp. 119\u2013130, Springer-Verlag, 1997"},{"issue":"6","key":"3_CR6","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1017\/S0960129599002984","volume":"10","author":"C. Baier","year":"2000","unstructured":"C. Baier, M. Kwiatkowska, \u201cDomain Equations for Probabilistic Processes\u201d, in Mathematical Structures in Computer Science 10(6), pp. 665\u2013717, 2000","journal-title":"Mathematical Structures in Computer Science"},{"key":"3_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-48224-5_35","volume-title":"Proc. of the 28th International Colloquium on Automata, Languages and Programming","author":"F. Breugel van","year":"2001","unstructured":"F. van Breugel, J. Worrell, \u201cTowards Quantitative Verification of Probabilistic Systems (extended abstract)\u201d, in Proc. of the 28th International Colloquium on Automata, Languages and Programming, LNCS 2076, pp. 421\u2013432, Springer-Verlag, 2001"},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48320-9_19","volume-title":"Proc. of the 10th Int. Conf. on Concurrency Theory","author":"J. Desharnais","year":"1999","unstructured":"J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, \u201cMetrics for Labeled Markov Processes\u201d, in Proc. of the 10th Int. Conf. on Concurrency Theory, LNCS 1664, pp. 258\u2013273, Springer-Verlag, 1999"},{"key":"3_CR9","unstructured":"A. Di Pierro, C. Hankin, H. Wiklicky, \u201cOn Approximate Non-Interference\u201d, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002"},{"issue":"1","key":"3_CR10","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, \u201cA Classification of Security Properties\u201d, Journal of Computer Security, 3(1):5\u201333, 1995","journal-title":"Journal of Computer Security"},{"key":"3_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design-Tutorial Lectures","author":"R. Focardi","year":"2001","unstructured":"R. Focardi, R. Gorrieri, \u201cClassification of Security Properties (Part I: Information Flow)\u201d, Foundations of Security Analysis and Design-Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.), LNCS 2171, pp. 331\u2013396, Springer-Verlag, 2001"},{"key":"3_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45022-X_31","volume-title":"Proc. of the 27th International Colloquium on Automata, Languages and Programming","author":"R. Focardi","year":"2000","unstructured":"R. Focardi, R. Gorrieri, F. Martinelli, \u201cNon Interference for the Analysis of Cryptographic Protocols\u201d, in Proc. of the 27th International Colloquium on Automata, Languages and Programming, LNCS 1853, pp. 354\u2013372, Springer-Verlag, 2000"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen, \u201cReactive, Generative and Stratified Models of Probabilistic Processes\u201d, in Information and Computation 121:59\u201380, 1995","journal-title":"Information and Computation"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J. Meseguer, \u201cSecurity Policy and Security Models\u201d, in Proc. of Symposium on Security and Privacy, pp. 11\u201320, IEEE CS Press, 1982","DOI":"10.1109\/SP.1982.10014"},{"key":"3_CR15","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, \u201cToward a Mathematical Foundation for Information Flow Security\u201d, Journal of Computer Security, 1:255\u2013294, 1992","journal-title":"Journal of Computer Security"},{"key":"3_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/BFb0023285","volume-title":"ACISP: Information Security and Privacy: Australasian Conference","author":"Y. Han","year":"1996","unstructured":"Y. Han, \u201cInvestigation of Non-repudiation Protocols\u201d, in ACISP: Information Security and Privacy: Australasian Conference, LNCS 1172, pp. 38\u201347, Springer-Verlag, 1996"},{"key":"3_CR17","unstructured":"O. Markowitch, Y. Roggeman, \u201cProbabilistic Non-Repudiation without Trusted Third Party\u201d, 2nd Conference on Security in Communication Networks, Amalfi, Italy, 1999"},{"key":"3_CR18","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989"},{"key":"3_CR19","unstructured":"P.Y.A. Ryan, \u201cA CSP Formulation of Non-Interference\u201d, Cipher, pp. 19\u201327, IEEE CS Press, 1991"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"A. Sabelfeld, D. Sands, \u201cProbabilistic Noninterference for Multi-threaded Programs\u201d, in Proc. of the 13th Computer Security Foundations Workshop, IEEE CS Press, 2000","DOI":"10.1109\/CSFW.2000.856937"},{"key":"3_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BFb0015027","volume-title":"Proc. of the 5th Int. Conf. on Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"R. Segala, N.A. Lynch, \u201cProbabilistic Simulations for Probabilistic Processes\u201d, in Proc. of the 5th Int. Conf. on Concurrency Theory, LNCS 836, pp. 481\u2013496, Springer-Verlag, 1994"},{"key":"3_CR22","unstructured":"G. Smith, \u201cWeak Probabilistic Bisimulation for Secure Information Flow\u201d, 2nd ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security, 2002"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"J. Zhou, D. Gollmann, \u201cAn Efficient Non-repudiation Protocol\u201d, in Proc. of the 10th Computer Security Foundations Workshop, pp. 126\u2013132, IEEE CS Press, 1997","DOI":"10.1109\/CSFW.1997.596801"}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods: Performance Modeling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45605-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T13:26:35Z","timestamp":1550323595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45605-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439134","9783540456056"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45605-8_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}