{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T21:46:26Z","timestamp":1757540786271},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_18","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"243-258","source":"Crossref","is-referenced-by-count":10,"title":["A Knowledge-Based Verification Method for Dynamic Access Control Policies"],"prefix":"10.1007","author":[{"given":"Masoud","family":"Koleini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/JCS-2008-16101","volume":"16","author":"N. Zhang","year":"2008","unstructured":"Zhang, N., Ryan, M., Guelev, D.P.: Synthesising verified access control systems through model checking. J. Comput. Secur.\u00a016(1), 1\u201361 (2008)","journal-title":"J. Comput. Secur."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1109\/CSF.2009.14","volume-title":"CSF 2009: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium","author":"M.Y. Becker","year":"2009","unstructured":"Becker, M.Y.: Specification and analysis of dynamic authorisation policies. In: CSF 2009: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium, pp. 203\u2013217. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"18_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/11814771_51","volume-title":"Automated Reasoning","author":"D.J. Dougherty","year":"2006","unstructured":"Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Specifying and reasoning about dynamic access-control policies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 632\u2013646. Springer, Heidelberg (2006)"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/775412.775442","volume-title":"SACMAT 2003: Proceedings of the Eighth ACM Symposium on Access Control Models and Technologies","author":"P. Naldurg","year":"2003","unstructured":"Naldurg, P., Campbell, R.H.: Dynamic access control: preserving safety and trust for network defense operations. In: SACMAT 2003: Proceedings of the Eighth ACM Symposium on Access Control Models and Technologies, pp. 231\u2013237. ACM, New York (2003)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: ICSE 2005: Proceedings of the 27th International Conference on Software Engineering, pp. 196\u2013205. ACM, New York (2005)","DOI":"10.1145\/1062455.1062502"},{"key":"18_CR6","unstructured":"Becker, M.Y., Gordon, A.D., Fournet, C.: SecPAL: Design and semantics of a decentralised authorisation language. Technical report, Microsoft Research, Cambridge (September 2006)"},{"key":"18_CR7","first-page":"114","volume-title":"Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust management framework. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy, pp. 114\u2013130. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"18_CR8","unstructured":"Bell, D., LaPadula., L.J.: Secure computer systems: Mathematical foundations and model. Technical report, The Mitre Corporation (1976)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Bell, D.E.: Looking back at the bell-la padula model. In: ACSAC 2005: Proceedings of the 21st Annual Computer Security Applications Conference, pp. 337\u2013351. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/CSAC.2005.37"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1805974.1805976","volume":"13","author":"M.Y. Becker","year":"2010","unstructured":"Becker, M.Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Trans. Inf. Syst. Secur.\u00a013(3), 1\u201328 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: Pddl2.1: An extension to pddl for expressing temporal planning domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Koleini, M., Ryan, M.: A knowledge-based verification method for dynamic access control policies. Technical report, University of Birmingham, School of Computer Science (2010), http:\/\/www.cs.bham.ac.uk\/~mdr\/research\/projects\/11-AccessControl\/poliver\/","DOI":"10.1007\/978-3-642-24559-6_18"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,12]],"date-time":"2021-12-12T05:03:49Z","timestamp":1639285429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}