{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T20:46:48Z","timestamp":1759092408956},"reference-count":30,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2010,3]]},"abstract":"<jats:p> Proof scores are documents of comprehensible plans to prove theorems. The proof score approach to systems analysis is a method in which proof scores are used to verify that systems enjoy properties (or analyze systems). In this paper, we describe a way to analyze electronic commerce protocols with the proof score approach, which has been developed and refined through several case studies conducted. <\/jats:p>","DOI":"10.1142\/s0218194010004712","type":"journal-article","created":{"date-parts":[[2010,6,4]],"date-time":"2010-06-04T04:20:18Z","timestamp":1275625218000},"page":"253-287","source":"Crossref","is-referenced-by-count":13,"title":["PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS"],"prefix":"10.1142","volume":"20","author":[{"given":"KAZUHIRO","family":"OGATA","sequence":"first","affiliation":[{"name":"School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"KOKICHI","family":"FUTATSUGI","sequence":"additional","affiliation":[{"name":"School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"rf2","first-page":"77","volume":"21","author":"Bella G.","journal-title":"IEEE J-SAC"},{"key":"rf3","first-page":"611","volume":"18","author":"Bellare M.","journal-title":"IEEE J-SAC"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0061-4"},{"key":"rf10","first-page":"74","volume":"6","author":"Diaconescu R.","journal-title":"J. UCS"},{"key":"rf11","first-page":"257","volume":"22","author":"Diaconescu R.","journal-title":"Computing and Informatics"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00124891"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0059-y"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0054-3"},{"key":"rf20","volume-title":"Theorem Proving and Algebra","author":"Goguen J."},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00275-3"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0057-0"},{"key":"rf29","volume-title":"Formal Aspects of Computing","author":"Jones C. B.","year":"2008"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0062-3"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00144-2"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"rf39","first-page":"16","volume":"4","author":"Millen J. K.","journal-title":"J. Telecomm. & Info. Tech."},{"key":"rf43","first-page":"783","volume":"17","author":"Nakano M.","journal-title":"IJSEKE"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"rf45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00480-5"},{"key":"rf54","first-page":"2804","volume":"91","author":"Ogata K.","journal-title":"IEICE Trans. Inf. & Syst. E"},{"key":"rf56","doi-asserted-by":"publisher","DOI":"10.1145\/24592.24594"},{"key":"rf57","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"Paulson L. C.","journal-title":"J. Comp. Security"},{"key":"rf58","doi-asserted-by":"publisher","DOI":"10.1145\/322510.322530"},{"key":"rf59","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0058-z"},{"key":"rf62","volume":"20","author":"Woodcock J.","journal-title":"Formal Asp. Comput."}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194010004712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T09:08:29Z","timestamp":1565168909000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194010004712"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":30,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2010,3]]}},"alternative-id":["10.1142\/S0218194010004712"],"URL":"https:\/\/doi.org\/10.1142\/s0218194010004712","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}