{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:56:28Z","timestamp":1773510988225,"version":"3.50.1"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T00:00:00Z","timestamp":1636588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science foundation","doi-asserted-by":"crossref","award":["2020M682658"],"award-info":[{"award-number":["2020M682658"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2022,5,31]]},"abstract":"<jats:p>\n            At present, clients can outsource lots of complex and abundant computation, e.g., Internet of things (IoT), tasks to clouds by the \u201cpay as you go\u201d model. Outsourcing computation can save costs for clients and fully utilize the existing cloud infrastructures. However, it is hard for clients to trust the clouds even if blockchain is used as the trusted platform. In this article, we utilize the verification method as SETI@home by only two rational clouds, who hope to maximize their utilities. Utilities are defined as the incomes of clouds when they provide computation results to clients. More specifically, one client outsources two jobs to two clouds and each job contains\n            <jats:italic>n<\/jats:italic>\n            tasks, which include\n            <jats:italic>k<\/jats:italic>\n            identical sentinels. Two clouds can either honestly compute each task or collude on the identical sentinel tasks by agreeing on random values. If the results of identical sentinels are identical, then client regards the jobs as correctly computed without verification. Obviously, rational clouds have incentives to deviate by collusion and provide identical random results for a higher income. We discuss how to prevent collusion by using deposits, e.g., bit-coins. Furthermore, utilities for each cloud can be automatically assigned by a smart contract. We prove that, given proper parameters, two rational clouds will honestly send correct results to the client without collusion.\n          <\/jats:p>","DOI":"10.1145\/3423558","type":"journal-article","created":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T15:24:41Z","timestamp":1636644281000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Collusion-free for Cloud Verification toward the View of Game Theory"],"prefix":"10.1145","volume":"22","author":[{"given":"Hongyang","family":"Yan","sequence":"first","affiliation":[{"name":"Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou and Peng Cheng Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nan","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Information Engineering, East China Jiaotong University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kang","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Computing, Hong Kong Polytechnic University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yilei","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Qufu Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoyu","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Information Science and Engineering, Qufu Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,11]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/581571.581573"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/103418.103428"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516681"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44381-1_24"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2287807"},{"key":"e_1_3_2_7_2","article-title":"A Next-generation Smart Contract and Decentralized Application Platform","author":"Buterin Vitalik","year":"2014","unstructured":"Vitalik Buterin. 2014. A Next-generation Smart Contract and Decentralized Application Platform. White Paper (2014).","journal-title":"White Paper"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53644-5_3"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046759"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.163"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2854901"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2300753"},{"key":"e_1_3_2_13_2","first-page":"460","article-title":"Step by step toward creating a safe smart contract: Lessons and insights from a cryptocurrency lab.","volume":"2015","author":"Delmolino Kevin","year":"2015","unstructured":"Kevin Delmolino, Mitchell Arnett, Ahmed E. Kosba, Andrew Miller, and Elaine Shi. 2015. Step by step toward creating a safe smart contract: Lessons and insights from a cryptocurrency lab.IACR Cryptol. ePrint Arch. 2015 (2015), 460.","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.22113"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134032"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.5555\/1881412.1881445"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-42045-0_16"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/1374376.1374396"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.22072"},{"key":"e_1_3_2_20_2","first-page":"15","volume-title":"Proceedings of the IBM Workshop on Cryptography and Security in Clouds","author":"Kamara Seny","year":"2011","unstructured":"Seny Kamara and Mariana Raykova. 2011. Secure outsourced computation in a multi-tenant cloud. In Proceedings of the IBM Workshop on Cryptography and Security in Clouds. 15\u201316."},{"key":"e_1_3_2_21_2","volume-title":"Proceedings of the Annual Workshop on the Economics of Information Security (WEIS\u201914)","author":"Khouzani M. H. R.","year":"2014","unstructured":"M. H. R. Khouzani, Viet Pham, and Carlos Cid. 2014. Incentive engineering for outsourced computation in the face of collusion. In Proceedings of the Annual Workshop on the Economics of Information Security (WEIS\u201914)."},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1515\/9780691215747"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660380"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795284959"},{"key":"e_1_3_2_25_2","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. https:\/\/courses.cs.washington.edu\/courses\/csep552\/18wi\/papers\/nakamoto-bitcoin.pdf."},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34266-0_18"},{"key":"e_1_3_2_27_2","volume-title":"A Course in Game Theory","author":"Osborne M.","year":"2004","unstructured":"M. Osborne and A. Rubinstein. 2004. A Course in Game Theory. MIT Press, Cambridge, MA."},{"key":"e_1_3_2_28_2","volume-title":"A Course in Game Theory","author":"Osborne Martin J.","year":"1994","unstructured":"Martin J. Osborne and Ariel Rubinstein. 1994. A Course in Game Theory. MIT Press, Cambridge, MA."},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.47"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12601-2_5"},{"key":"e_1_3_2_31_2","unstructured":"The Folding@home project. [n.d.]. Stanford University. Retrieved from http:\/\/www.stanford.edu\/group\/pandegroup\/cosm\/."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362805"},{"key":"e_1_3_2_33_2","first-page":"17","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS\u201912)","volume":"1","author":"Setty Srinath T. V.","year":"2012","unstructured":"Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish. 2012. Making argument systems for outsourced computation practical (sometimes). In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201912), Vol. 1. 17."},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2306383"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2306397"},{"key":"e_1_3_2_36_2","article-title":"Socially-conforming cooperative computation in cloud networks","author":"Tao Li","year":"2018","unstructured":"Li Tao, Brij Bhooshan Gupta, and Roberto Metere. 2018. Socially-conforming cooperative computation in cloud networks. J. Parallel Distrib. Comput. 117 (2018), 274\u2013280.","journal-title":"J. Parallel Distrib. Comput."},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.10.057"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1002\/int.22241"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2812755"}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3423558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3423558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:50Z","timestamp":1750197710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3423558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,11]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,5,31]]}},"alternative-id":["10.1145\/3423558"],"URL":"https:\/\/doi.org\/10.1145\/3423558","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"value":"1533-5399","type":"print"},{"value":"1557-6051","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,11]]},"assertion":[{"value":"2020-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}