{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:48:56Z","timestamp":1649040536951},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T00:00:00Z","timestamp":1322265600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1007\/s11432-011-4426-1","type":"journal-article","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T01:11:10Z","timestamp":1322269870000},"page":"149-164","source":"Crossref","is-referenced-by-count":1,"title":["A novel logic-based automatic approach to constructing compliant security policies"],"prefix":"10.1007","volume":"55","author":[{"given":"YiBao","family":"Bao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LiHua","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BinXing","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,26]]},"reference":[{"key":"4426_CR1","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu R, Coyne E J, Feinstein H L, et al. Role-based access control models. IEEE Comput, 1996, 29: 38\u201347","journal-title":"IEEE Comput"},{"key":"4426_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F. B. Schneider","year":"2000","unstructured":"Schneider F B. Enforceable security policies. ACM Trans Inform Syst Secur, 2000, 3: 30\u201350","journal-title":"ACM Trans Inform Syst Secur"},{"key":"4426_CR3","first-page":"1","volume-title":"Proceedings of the 2004 Workshop on Issues in the Theory of Security","author":"B. Sarna-Starosta","year":"2004","unstructured":"Sarna-Starosta B, Stoller S D. Policy analysis for security-enhanced Linux. In: Proceedings of the 2004 Workshop on Issues in the Theory of Security. New York: ACM Press, 2004. 1\u201312"},{"key":"4426_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ICAC.2007.31","volume-title":"4th International Conference on Autonomic Computing (ICAC\u201907)","author":"S. Kikuchi","year":"2007","unstructured":"Kikuchi S, Tsuchiya S, Adachi M, et al. Policy verification and validation framework based on model checking approach. In: 4th International Conference on Autonomic Computing (ICAC\u201907). Washington DC: IEEE Computer Society, 2007. 1\u20139"},{"key":"4426_CR5","unstructured":"Anderson J P. Computer Security Technology Planning Study. Technical Report ESD-TR-73-51. ESD\/AFSC, Hanscom AFB, Bedford, MA [NTIS AD-758 206]. Volumes I and II, 1972"},{"key":"4426_CR6","first-page":"159","volume-title":"4th Aerospace Computer Security Applications Conference","author":"G. King","year":"1988","unstructured":"King G, Smith W. An alternative implementation of the reference monitor concept. In: 4th Aerospace Computer Security Applications Conference. Washington DC: IEEE Computer Society, 1988. 159\u2013166"},{"key":"4426_CR7","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/11814771_51","volume-title":"IJCAR\u2019 06: International Joint Conference on 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: IJCAR\u2019 06: International Joint Conference on Automated Reasoning. New York: Springer, 2006. 632\u2013646"},{"key":"4426_CR8","first-page":"27","volume-title":"Proceedings of the 15th ACM Conference on Computer and Communications Security","author":"A. Haudhuri","year":"2008","unstructured":"Haudhuri A, Naldurg P, Rajamani S K, et al. EON: modeling and analyzing dynamic access control systems with logic programs. In: Proceedings of the 15th ACM Conference on Computer and Communications Security. New York: ACM, 2008. 27\u201331, 381\u2013390"},{"key":"4426_CR9","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"M. A. Harrison","year":"1976","unstructured":"Harrison M A, Ruzzo W L, Ullman J D. Protection in operating systems. Commun ACM, 1976, 19: 461\u2013471","journal-title":"Commun ACM"},{"key":"4426_CR10","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/52.28119","volume":"6","author":"D. R. Wallace","year":"1989","unstructured":"Wallace D R, Fujii R U. Software verification and validation: an overview. IEEE Software, 1989, 6: 10\u201317","journal-title":"IEEE Software"},{"key":"4426_CR11","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke E M, Emerson E A, Sistla A P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Progr Lang Sys, 1986, 8: 244","journal-title":"ACM Trans Progr Lang Sys"},{"key":"4426_CR12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"Holzmann G J. The model checker SPIN. IEEE Trans Software Eng, 1997, 23: 279\u2013295","journal-title":"IEEE Trans Software Eng"},{"key":"4426_CR13","volume-title":"Secure Computer Systems: a Mathematical Model. Technical Report ESD-TR-278, Vol 2","author":"L. J. LaPadula","year":"1973","unstructured":"LaPadula L J, Bell D E. Secure Computer Systems: a Mathematical Model. Technical Report ESD-TR-278, Vol 2. MA: The Mitre Corp., 1973"},{"key":"4426_CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","volume":"2","author":"T. Y. C. Woo","year":"1993","unstructured":"Woo T Y C, Lam S S. Authorizations in distributed systems: a new approach. J Comput Secur, 1993, 2: 107\u2013136","journal-title":"J Comput Secur"},{"key":"4426_CR15","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia S, Samarati P, Sapino M L, et al. Flexible support for multiple access control policies. ACM Trans Database Syst, 2001, 26: 214\u2013260","journal-title":"ACM Trans Database Syst"},{"key":"4426_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/CSF.2008.8","volume-title":"Proceedings of the 21st IEEE Computer Security Foundations Symposium","author":"Y. Gurevich","year":"2008","unstructured":"Gurevich Y, Neeman I. DKAL: distributed-knowledge authorization language. In: Proceedings of the 21st IEEE Computer Security Foundations Symposium. Washington DC: IEEE Computer Society, 2008. 149\u2013162"},{"key":"4426_CR17","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/POLICY.2004.1309162","volume-title":"5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004)","author":"M. Y. Becker","year":"2004","unstructured":"Becker M Y, Sewell P. Cassandra: distributed access control policies with tunable expressiveness. In: 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004). Washington DC: IEEE Computer Society, 2004. 159\u2013168"},{"key":"4426_CR18","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/SECPRI.2002.1004365","volume-title":"Proceedings of the 2002 IEEE Symposium on Security and Privacy","author":"J. DeTreville","year":"2002","unstructured":"DeTreville J. Binder, a logic-based security language. In: Proceedings of the 2002 IEEE Symposium on Security and Privacy. Washington DC: IEEE Computer Society, 2002. 105\u2013113"},{"key":"4426_CR19","first-page":"106","volume-title":"IEEE Symposium on Security and Privacy","author":"J. Trevor","year":"2001","unstructured":"Trevor J. Sd3: a trust management system with certified evaluation. In: IEEE Symposium on Security and Privacy. Washington DC: IEEE Computer Society, 2001. 106\u2013115"},{"key":"4426_CR20","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Program","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd J W. Foundations of Logic Program. 2nd ed. New York: Springer-Verlag, 1987. 17, 78\u201379","edition":"2nd ed."},{"key":"4426_CR21","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Proceedings of the International Workshop on Policies For Distributed Systems and Networks (Policy\u201901). LNCS","author":"N. Damianou","year":"2001","unstructured":"Damianou N, Dulay N, Lupu E, et al. The ponder policy specification language. In: Proceedings of the International Workshop on Policies For Distributed Systems and Networks (Policy\u201901). LNCS. London: Springer-Verlag, 2001. 18\u201338"},{"key":"4426_CR22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","unstructured":"Apt K R, Blair H A, Walker A. Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming. San Francisco: Kaufmann Publishers Inc., 1988. 89\u2013148"},{"key":"4426_CR23","first-page":"1070","volume-title":"Proceedings of ICLP\u201988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond M, Lifschitz V. The stable model memantics for logic programming. In: Proceedings of ICLP\u201988. Seattle: MIT Press, 1988. 1070\u20131080"},{"key":"4426_CR24","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1145\/116825.116838","volume":"38","author":"A. V. Gelder","year":"1991","unstructured":"Gelder A V, Ross K A, Schlipf J S. The well-founded semantics for general logic programs. J ACM, 1991, 38: 619\u2013649","journal-title":"J ACM"},{"key":"4426_CR25","first-page":"421","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemela","year":"1997","unstructured":"Niemela I, Simons P. Smodels \u2014 an implementation of the stable model and well-founded semantics for normal logic programs. In: Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning. London: Springer-Verlag, 1997. 421\u2013430"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4426-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-011-4426-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-011-4426-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:37:42Z","timestamp":1559403462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-011-4426-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,26]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["4426"],"URL":"https:\/\/doi.org\/10.1007\/s11432-011-4426-1","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,26]]}}}