{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:14Z","timestamp":1750219994928,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,21]],"date-time":"2022-10-21T00:00:00Z","timestamp":1666310400000},"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":[[2022,10,21]]},"DOI":"10.1145\/3569966.3570088","type":"proceedings-article","created":{"date-parts":[[2022,12,20]],"date-time":"2022-12-20T22:24:41Z","timestamp":1671575081000},"page":"445-450","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Extending Take-Grant Model for More Flexible Privilege Propagation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1588-6783","authenticated-orcid":false,"given":"Lianghao","family":"Shen","sequence":"first","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1233-5679","authenticated-orcid":false,"given":"Yusong","family":"Tan","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6030-7085","authenticated-orcid":false,"given":"Pian","family":"Tao","sequence":"additional","affiliation":[{"name":"Support Center, KylinSoft Co., Ltd, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2890-260X","authenticated-orcid":false,"given":"Pan","family":"Dong","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2258-0854","authenticated-orcid":false,"given":"Jun","family":"Ma","sequence":"additional","affiliation":[{"name":"College of Computer, National University of Defense Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"33","volume-title":"Proceedings 17th Annual FOCS Conference","author":"Jones R.J.","unstructured":"A.K. Jones , R.J. Lipton , and L. Snyder . 1976. A linear time algorithm for deciding security , Proceedings 17th Annual FOCS Conference , pages 33 - 41 . A.K. Jones, R.J. Lipton, and L. Snyder. 1976. A linear time algorithm for deciding security, Proceedings 17th Annual FOCS Conference, pages 33-41."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675753"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1996-4404"},{"key":"e_1_3_2_1_7_1","volume-title":"Technical Report UCB\/EECS-2006-26, University of California","author":"Mettler D.","year":"2006","unstructured":"A. M. Mettler and D. Wagner . 2006 . The Joe-E language specification (draft). Technical Report UCB\/EECS-2006-26, University of California , Berkeley . A. M. Mettler and D. Wagner. 2006. The Joe-E language specification (draft). Technical Report UCB\/EECS-2006-26, University of California, Berkeley."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11580850_14"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743574"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_11"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848454"},{"key":"e_1_3_2_1_15_1","first-page":"44","volume-title":"Proceedings of the 4th Workshop on Systems Software Verification (SSV \u201909)","author":"Andrew Boyton","year":"2009","unstructured":"Andrew Boyton . 2009 . A verified shared capability model . In Proceedings of the 4th Workshop on Systems Software Verification (SSV \u201909) . pages 25\u2013 44 . Andrew Boyton. 2009. A verified shared capability model. In Proceedings of the 4th Workshop on Systems Software Verification (SSV \u201909). pages 25\u201344."}],"event":{"name":"CSSE 2022: 2022 5th International Conference on Computer Science and Software Engineering","acronym":"CSSE 2022","location":"Guilin China"},"container-title":["Proceedings of the 5th International Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569966.3570088","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3569966.3570088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:37Z","timestamp":1750182577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3569966.3570088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,21]]},"references-count":10,"alternative-id":["10.1145\/3569966.3570088","10.1145\/3569966"],"URL":"https:\/\/doi.org\/10.1145\/3569966.3570088","relation":{},"subject":[],"published":{"date-parts":[[2022,10,21]]},"assertion":[{"value":"2022-12-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}