{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T15:06:54Z","timestamp":1780585614722,"version":"3.54.1"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1109\/icdew.2007.4401010","type":"proceedings-article","created":{"date-parts":[[2007,12,18]],"date-time":"2007-12-18T14:56:26Z","timestamp":1197989786000},"page":"307-314","source":"Crossref","is-referenced-by-count":1,"title":["The rigorous implementation of a fair exchange protocol for non-repudiable Web service interactions - a case study"],"prefix":"10.1109","author":[{"given":"N.","family":"Cook","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Robinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Shrivastava","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001499"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-639-6.ch004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/232335.232338"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1006\/jnca.1997.0056"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E"},{"key":"ref15","author":"nadalin","year":"2004","journal-title":"Web Services Security SOAP Message Security 1 0"},{"key":"ref16","author":"perrin","year":"2004","journal-title":"Digital Signature Service Core Protocols Elements and Bindings OASIS Committee Working Draft 26"},{"key":"ref17","author":"hallam-baker","year":"2005","journal-title":"XML Key Management Specification (XKMS 2 0) W3C Recommendation"},{"key":"ref18","year":"2005","journal-title":"IBM Microsoft and TIBCO Web Services Reliable Messaging Protocol (WS-Reliable Messaging)"},{"key":"ref19","year":"2004","journal-title":"NunniSoft Nunni FSM Generator"},{"key":"ref28","article-title":"A High-Level Protocol Specification Language for Industrial Security-Sensitive Protocols","author":"chevalier","year":"2004","journal-title":"Proc Workshop on Specification and Automated Processing of Security Requirements"},{"key":"ref4","article-title":"Relations Among Public Key Signature Systems, TR CS175","author":"even","year":"1980","journal-title":"Technion Israel Institute of Technology"},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1109\/AINA.2005.128","article-title":"Automatic Generation of the C# Code for Security Protocols Verified with Casper\/FDR","author":"jeon","year":"2005","journal-title":"Proc IEEE Int Conf on Advanced Inf Networking and Applications (AINA)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(02)00049-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596779"},{"key":"ref29","article-title":"Web Services Security: a preliminary study using Casper and FDR","author":"kleiner","year":"2004","journal-title":"Proc Automated Reasoning for Security Protocol Analysis (ARSPA)"},{"key":"ref5","article-title":"On the impossibility of fair exchange without a trusted third party","author":"pagnia","year":"1999","journal-title":"TR TUD-BS-1999-02 Dept of Comp Science TU Darmstadt"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/11513988_27","article-title":"The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications","author":"armando","year":"2005","journal-title":"Proc 17th Int Conf on Comp Aided Verification (CAV)"},{"key":"ref7","article-title":"Analysis of a Fair Exchange Protocol","author":"shmatikov","year":"2000","journal-title":"Proc Internet Soc Symp on Network and Dist Syst Security (NDSS)"},{"key":"ref2","author":"zhou","year":"2001","journal-title":"Non-repudiation in Electronic Commerce Artech House Computer Security Series"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311931"},{"key":"ref1","year":"2005","journal-title":"RosettaNet eBusiness Standards for the Global Supply Chain"},{"key":"ref20","author":"clark","year":"1999","journal-title":"Language (XPath) W3C Recommendation"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_21","article-title":"AGVI - Automatic Generation, Verification and Implementation of Security Protocols","volume":"2102","author":"song","year":"2001","journal-title":"Proc 13th Conf on Computer Aided Verification"},{"key":"ref21","author":"robinson","year":"2005","journal-title":"A Framework for the Rigorous Implementation of Security Protocols CS-TR 937 School of Comp"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2004.1283943"},{"key":"ref23","author":"didelot","year":"2003","journal-title":"COSP-J A Compiler for Security Protocols MSc Dissertation Comp Lab Oxford University"},{"key":"ref26","article-title":"Automatic Implementation System of Security Protocols Based on Formal Description Techniques","author":"mengual","year":"2004","journal-title":"Proc 7th IEEE Int Symp on Comp and Comm"},{"key":"ref25","article-title":"Generating Network Security Protocol Implementations from Formal Specifications","author":"tobler","year":"2004","journal-title":"Proc IFIP Workshop on Certification and Security in Inter-Organizational E-Services (CSES)"}],"event":{"name":"2007 IEEE 23rd International Conference on Data Engineering Workshop","location":"Istanbul","start":{"date-parts":[[2007,4,17]]},"end":{"date-parts":[[2007,4,20]]}},"container-title":["2007 IEEE 23rd International Conference on Data Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4400942\/4400943\/04401010.pdf?arnumber=4401010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T14:29:56Z","timestamp":1780583396000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4401010\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icdew.2007.4401010","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]}}}