{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:12:11Z","timestamp":1725466331528},"publisher-location":"New York","reference-count":16,"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_4","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T13:34:04Z","timestamp":1128346444000},"page":"41-54","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis of a Fair Payment Protocol"],"prefix":"10.1007","author":[{"given":"Jan","family":"Cederquist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Torabi","family":"Dashti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Asokan, N. (1998). Fairness in electronic commerce. PhD thesis, University of Waterloo."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bella, G. and Paulson, L. C. (2001). Mechanical proofs about a non-repudiation protocol. In Boulton, R. J. and Jackson, P. B., editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, volume 2152 of LNCS, pages 91\u2013104. Springer-Verlag.","DOI":"10.1007\/3-540-44755-5_8"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume":"2102","author":"S. Blom","year":"2001","unstructured":"Blom, S., Fokkink, W., Groote, J. F., van Langevelde, I., Lisser, B., and van de Pol, J. (2001). \u03bcCRL: A toolset for analysing algebraic specifications. In Proceedings of the 13th International Conference on Computer Aided Verification, volume 2102 of LNCS, pages 250\u2013254. Springer-Verlag.","journal-title":"Proceedings of the 13th International Conference on Computer Aided Verification"},{"key":"4_CR4","series-title":"Technical Report","volume-title":"Formal analysis of a fair payment protocol","author":"J. Cederquist","year":"2004","unstructured":"Cederquist, J. and Dashti, M. (2004). Formal analysis of a fair payment protocol. Technical Report SEN-R0410, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands."},{"key":"4_CR5","volume-title":"16th Annual Symposium on Logic in Computer Science-LICS'01","author":"I. Cervesato","year":"2001","unstructured":"Cervesato, I. (2001). The Dolev-Yao Intruder is the Most Powerful Attacker. In Halpern, J., editor, 16th Annual Symposium on Logic in Computer Science-LICS'01, Boston, MA. IEEE Computer Society Press."},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"IT-29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D. and Yao, A. C. (1983). On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(2): 198\u2013208.","journal-title":"IEEE Transactions on Information Theory"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., and Sighireanu, M. (1996). CADP: A protocol validation and verification toolbox. In Alur, R. and Henzinger, T. A., editors, Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of LNCS, pages 437\u2013440. Springer-Verlag.","DOI":"10.1007\/3-540-61474-5_97"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Groote, J. and Ponse, A. (1995). The syntax and semantics of \u03bcCRL. In Ponse, A., Verhoef, C., and van Vlijmen, S. F. M., editors, Algebra of Communicating Processes '94, Workshops in Computing Series, pages 26\u201362. Springer-Verlag.","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Kremer, S. and Raskin, J. (2001). A game-based verification of non-repudiation and fair exchange protocols. In Larsen, K. and Nielsen, M., editors, Proceedings of the 12th International Conference on Concurrency Theory, volume 2154 of LNCS, pages 551\u2013565. Springer-Verlag.","DOI":"10.1007\/3-540-44685-0_37"},{"key":"4_CR10","first-page":"251","volume":"1785","author":"R. Mateescu","year":"2000","unstructured":"Mateescu, R. (2000). Efficient diagnostic generation for boolean equation systems. In Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000, volume 1785 of LNCS, pages 251\u2013265. Springer-Verlag.","journal-title":"Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000"},{"key":"4_CR11","unstructured":"Pagnia, H. and G\u00e4rtner, F. C. (1999). On the impossibility of fair exchange without a trused third party. Technical Report TUD-BS-1999-02, Department of Computer Science, Darmstadt University of Technology."},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/comjnl\/46.1.55","volume":"46","author":"H. Pagnia","year":"2003","unstructured":"Pagnia, H., Vogt, H., and G\u00e4rtner, F. C. (2003). Fair exchange. The Computer Journal, 46(1):55\u20137.","journal-title":"The Computer Journal"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Schneider, S. (1998). Formal analysis of a non-repudiation protocol. In Proceedings of The 11th Computer Security Foundations Workshop, pages 54\u201365. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1998.683155"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1016\/S0304-3975(01)00141-4","volume":"283","author":"V. Shmatikov","year":"2002","unstructured":"Shmatikov, V. and Mitchell, J. C. (2002). Finitestate analysis of two contract signing protocols. Theoretical Computer Sciene, 283(2):419\u2013450.","journal-title":"Theoretical Computer Sciene"},{"key":"4_CR15","first-page":"101","volume":"2232","author":"H. Vogt","year":"2001","unstructured":"Vogt, H., Pagnia, H., and G\u00e4rtner, F. C. (2001). Using smart cards for fair exchange. In Electronic Commerce \u2014 WELCOM 2001, volume 2232 of LNCS, pages 101\u2013113. Springer-Verlag.","journal-title":"Electronic Commerce \u2014 WELCOM 2001"},{"key":"4_CR16","unstructured":"Zhou, J. and Gollmann, D. (1998). Towards verification of non-repudiation protocols. In International Refinement Workshop and Formal Methods Pacific '98: Proceedings of IRW\/FMP '98, Discrete Mathematics and Theoretical Computer Science Series, pages 370\u2013380. Springer-Verlag."}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T00:50:31Z","timestamp":1619484631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387240500"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_4","relation":{},"subject":[]}}