{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:55:14Z","timestamp":1725540914176},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642107719"},{"type":"electronic","value":"9783642107726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10772-6_22","type":"book-chapter","created":{"date-parts":[[2009,11,13]],"date-time":"2009-11-13T07:37:49Z","timestamp":1258097869000},"page":"292-300","source":"Crossref","is-referenced-by-count":1,"title":["Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking"],"prefix":"10.1007","author":[{"given":"Indranil","family":"Saha","sequence":"first","affiliation":[]},{"given":"Debapriyay","family":"Mukhopadhyay","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","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)","DOI":"10.1007\/3-540-45605-8_3"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Aldini, A., Di Pierro, A.: On Quantitative Analysis of Probabilistic Protocols. In: Proc. 2nd Workshop on Quantitative Aspects of Programming Languages (QAPL 2004). ENTCS, vol.\u00a0112, pp. 131\u2013148 (2004)","DOI":"10.1016\/j.entcs.2004.01.019"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/3-540-44685-0_37","volume-title":"CONCUR 2001 - Concurrency Theory","author":"S. Kremer","year":"2001","unstructured":"Kremer, S., Raskin, J.-F.: A game-based verification of non-repudiation and fair exchange protocols. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, p. 551. Springer, Heidelberg (2001)"},{"key":"22_CR5","unstructured":"Markowitch, O., Roggeman, Y.: Probabilistic non-repudiation without trusted third party. In: Proceedings of the 2nd Conference on Security in Communication Networks (1999)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Maggiolo-schettini, A., Troina, A.: Automatic Analysis of a Non-Repudiation Protocol. In: Proceedings of QAPL 2004. Elsevier ENTCS, pp. 113\u2013129 (2004)","DOI":"10.1016\/j.entcs.2004.01.020"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0034842","volume-title":"Advances in Cryptology - ASIACRYPT \u201996","author":"J. Zhou","year":"1996","unstructured":"Zhou, J., Gollman, D.: Observations on non-repudiation. In: Kim, K.-c., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol.\u00a01163, pp. 133\u2013144. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10772-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:34:42Z","timestamp":1606185282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10772-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642107719","9783642107726"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10772-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}