{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:01:57Z","timestamp":1750309317621,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636187","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"300-304","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-2263-2318","authenticated-orcid":false,"given":"Bangjie","family":"Zhu","sequence":"first","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6213-5520","authenticated-orcid":false,"given":"Jiaqi","family":"Yin","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University, Xian, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3923-7972","authenticated-orcid":false,"given":"Sini","family":"Chen","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0214-8565","authenticated-orcid":false,"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FRB of St. Louis Review","author":"Sch\u00e4r F.","year":"2021","unstructured":"Sch\u00e4r F. Decentralized finance: On blockchain-and smart contract-based financial markets[J]. FRB of St. Louis Review, 2021."},{"key":"e_1_3_2_1_2_1","volume-title":"Delegate contract signing mechanism based on smart contract[J]. Plos one","author":"Xiong W","year":"2022","unstructured":"Xiong W, Hu Y. Delegate contract signing mechanism based on smart contract[J]. Plos one, 2022, 17(8): e0273424."},{"volume-title":"Communicating Sequential Processes","author":"Hoare","unstructured":"C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice-Hall.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","volume-title":"ISoLA","author":"Sun J","year":"2008","unstructured":"Sun J, Liu Y, Dong J S. Model checking CSP revisited: Introducing a process analysis toolkit[C]\/\/Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13--15, 2008. Proceedings 3. Springer Berlin Heidelberg, 2008: 307--322. Temporal Logic (ITL). Proceedings of the Spring Congress on Engineering and Technology. 2012: 1--6."}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '24","name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","location":"Avila Spain"},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636187","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:54Z","timestamp":1750291434000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":4,"alternative-id":["10.1145\/3605098.3636187","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636187","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}