{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T22:27:03Z","timestamp":1730240823813,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icect.2004.1319738","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"229-235","source":"Crossref","is-referenced-by-count":3,"title":["Formal specification and verification of the SET\/A protocol with an approach"],"prefix":"10.1109","author":[{"given":"V.S.W.","family":"Lam","sequence":"first","affiliation":[]},{"given":"J.","family":"Padget","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Automated Equivalence Checking of UML Statechart Diagrams Using the MWB","year":"0","author":"lam","key":"19"},{"journal-title":"Deliverable D19 Static Analysers","year":"2004","author":"buchholtz","key":"22"},{"key":"17","first-page":"877","article-title":"On execution semantics of UML statechart diagrams using the ?-calculus","author":"lam","year":"2003","journal-title":"Proceedings of the International Conference on Software Engineering Research and Practice"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260217"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"15"},{"journal-title":"Failures-Divergence Refinement FDR2 User Manual","year":"2003","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.1999.805074"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/WECWIS.2000.853873"},{"key":"11","first-page":"147","article-title":"Model checking electronic commerce protocols","author":"heintze","year":"1996","journal-title":"Proceedings of the Second Usenix Workshop on Electronic Commerce"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.637148"},{"key":"21","first-page":"428","article-title":"The mobility workbench: A tool for the ?-calculus","volume":"818","author":"victor","year":"1994","journal-title":"CAV '94"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"3"},{"journal-title":"OMG Unified Modeling Language Specification Version 1 5","year":"0","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316717"},{"journal-title":"Software Agents","year":"1997","author":"bradshaw","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000517"},{"key":"7","first-page":"80","article-title":"An agent-based secure internet payment system for mobile computing","volume":"1402","author":"roma?o","year":"1998","journal-title":"Proceedings of TREC '98"},{"journal-title":"NuSMV 2 1 User Manual","year":"0","author":"cavada","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"9","first-page":"121","article-title":"Representing agent interaction protocols in UML","volume":"1957","author":"odell","year":"2001","journal-title":"Proceedings of the First International Workshop AOSE 2000"},{"volume":"1 3","journal-title":"SET Secure Electronic Transaction Books","year":"1997","key":"8"}],"event":{"name":"Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004.","start":{"date-parts":[[2004,7,9]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2004,7,9]]}},"container-title":["Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9218\/29236\/01319738.pdf?arnumber=1319738","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T00:36:53Z","timestamp":1489451813000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319738\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icect.2004.1319738","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}