{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:29:42Z","timestamp":1743118182077,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030242640"},{"type":"electronic","value":"9783030242657"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-24265-7_54","type":"book-chapter","created":{"date-parts":[[2019,7,17]],"date-time":"2019-07-17T23:19:24Z","timestamp":1563405564000},"page":"627-641","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Specification of Concurrent Enforcement UCON Model with CTL Logic"],"prefix":"10.1007","author":[{"given":"Xie","family":"Lili","sequence":"first","affiliation":[]},{"given":"Zhai","family":"Zhigang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,11]]},"reference":[{"issue":"1","key":"54_CR1","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/984334.984339","volume":"7","author":"J Park","year":"2004","unstructured":"Park, J., Sandhu, R.: The UCONABC Usage Control Model. ACM Trans. Inf. Syst. Secur. 7(1), 128\u2013174 (2004)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"54_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, X.W., Park, J., Presicce, F.P., et al.: A logical specification for usage control. In: Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, pp. 1\u201310. ACM, New York (2004)","DOI":"10.1145\/990036.990038"},{"issue":"4","key":"54_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/1108906.1108908","volume":"8","author":"XW Zhang","year":"2005","unstructured":"Zhang, X.W., Presicces, F.P., Sandhu, R., et al.: Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur. 8(4), 351\u2013387 (2005)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"54_CR4","doi-asserted-by":"crossref","unstructured":"Janicke, H., Cau, A., Zedan, H.: A note on the formalisation of UCON. In: Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, pp. 163\u2013168. ACM, New York (2007)","DOI":"10.1145\/1266840.1266867"},{"key":"54_CR5","doi-asserted-by":"crossref","unstructured":"Janicke, H., Cau, A., Siewe, F., et al.: Concurrent enforcement of usage control policies. In: Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks, pp. 111\u2013118. IEEE Computer Society, Washington (2008)","DOI":"10.1109\/POLICY.2008.44"},{"key":"54_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-74835-9_35","volume-title":"Computer Security \u2013 ESORICS 2007","author":"M Hilty","year":"2007","unstructured":"Hilty, M., Pretschner, A., Basin, D., Schaefer, C., Walter, T.: A policy language for distributed usage control. In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol. 4734, pp. 531\u2013546. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74835-9_35"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"Teig\u00e3o, R., Maziero, C., Santin, A.: A grammar for specifying usage control policies. In: 2007 IEEE International Conference on Communications, pp. 1379\u20131384. IEEE Computer Society, Washington (2007)","DOI":"10.1109\/ICC.2007.232"},{"key":"54_CR8","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Mori, P.: A model for usage control in GRID systems. In: Proceedings of the 3rd International Conference on Security and Privacy in Communication Networks, pp. 169\u2013175. IEEE, Washington (2007)","DOI":"10.1109\/SECCOM.2007.4550326"},{"key":"54_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/978-3-642-05151-7_11","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"B Katt","year":"2009","unstructured":"Katt, B., Zhang, X., Hafner, M.: Towards a usage control policy specification with Petri Nets. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5871, pp. 905\u2013912. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-05151-7_11"},{"key":"54_CR10","doi-asserted-by":"crossref","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S.: Monitoring security policies with metric first-order temporal logic. In: Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, pp. 23\u201333. ACM, New York (2010)","DOI":"10.1145\/1809842.1809849"},{"issue":"2","key":"54_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.cosrev.2010.02.002","volume":"4","author":"A Lazouski","year":"2010","unstructured":"Lazouski, A., Martinelli, F., Mori, P.: Usage control in computer security: a survey. Comput. Sci. Rev. 4(2), 81\u201399 (2010)","journal-title":"Comput. Sci. Rev."},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"Grompanopoulos, C., Gouglidis, A., Mavridis, I.: A use-based approach for enhancing UCON. In: Security and Trust Management, pp. 81\u201396 (2013)","DOI":"10.1007\/978-3-642-38004-4_6"},{"issue":"2","key":"54_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s10207-013-0205-x","volume":"13","author":"A Gouglidis","year":"2014","unstructured":"Gouglidis, A., Mavridis, I., Vincent, C.H.: Security policy verification for multi-domains in cloud systems. Int. J. Inf. Secur. 13(2), 97\u2013111 (2014)","journal-title":"Int. J. Inf. Secur."},{"key":"54_CR14","unstructured":"Zhou, C.H., Chen, W.H., Liu, Z.F.: Formal specification and security verification of usage control model based on PAT. Chin. J. Network Inf. Secur. (2016)"},{"key":"54_CR15","unstructured":"Gouglidis, A., Grompanopoulos, C., Mavridou, A.: Formal verification of usage control models: a case study of UseCON Using TLA+. http:\/\/cn.arxiv.org\/pdf\/1806.09848v1 . Accessed 2 Aug 2018"},{"issue":"3","key":"54_CR16","first-page":"465","volume":"55","author":"W Meijuan","year":"2018","unstructured":"Meijuan, W., Jian, W., Lihong, G., et al.: Inverted XML access control model based on ontology semantic dependency. CMC: Comput. Mater. Continua 55(3), 465\u2013482 (2018)","journal-title":"CMC: Comput. Mater. Continua"},{"key":"54_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004)","edition":"2"},{"issue":"3","key":"54_CR18","doi-asserted-by":"crossref","first-page":"603","DOI":"10.32604\/cmc.2018.03884","volume":"57","author":"W Suzhen","year":"2018","unstructured":"Suzhen, W., Lu, Z., Yanpiao, Z., et al.: Natural language semantic construction based on cloud database. CMC: Comput. Mater. Continua 57(3), 603\u2013619 (2018)","journal-title":"CMC: Comput. Mater. Continua"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-24265-7_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T10:25:43Z","timestamp":1695032743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-24265-7_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030242640","9783030242657"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-24265-7_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"incodldos2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icaisconf.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}