{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:52Z","timestamp":1740107872143,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,1,24]],"date-time":"2017-01-24T00:00:00Z","timestamp":1485216000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["Grants 61672553, 61331013"],"award-info":[{"award-number":["Grants 61672553, 61331013"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"National Science Centre of Poland","doi-asserted-by":"crossref","award":["BEETHOVEN, UMO-2014\/15\/G\/HS1\/04514"],"award-info":[{"award-number":["BEETHOVEN, UMO-2014\/15\/G\/HS1\/04514"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s00500-017-2497-7","type":"journal-article","created":{"date-parts":[[2017,1,24]],"date-time":"2017-01-24T09:22:24Z","timestamp":1485249744000},"page":"751-757","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Deontic STIT logic, from logical paradox to security policy"],"prefix":"10.1007","volume":"22","author":[{"given":"Lirong","family":"Qiu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,24]]},"reference":[{"issue":"4","key":"2497_CR1","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s12652-010-0026-y","volume":"1","author":"L Barolli","year":"2010","unstructured":"Barolli L, Takizawa M (2010) Special issue on emerging trends in ubiquitous computing systems. J Ambient Intell Humaniz Comput 1(4):235\u2013237","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"2497_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choice in our indeterminist world","author":"N Belnap","year":"2001","unstructured":"Belnap N, Perloff M, Xu M (2001) Facing the future: agents and choice in our indeterminist world. Oxford University Press, Oxford"},{"issue":"2","key":"2497_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"JM Broersen","year":"2011","unstructured":"Broersen JM (2011) Deontic epistemic stit logic distinguishing modes of mens rea. J Appl Logic 9(2):137\u2013152","journal-title":"J Appl Logic"},{"key":"2497_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"R Chisholm","year":"1963","unstructured":"Chisholm R (1963) Contrary-to-duty imperatives and deontic logic. Analysis 24:33\u201336","journal-title":"Analysis"},{"issue":"9","key":"2497_CR5","doi-asserted-by":"crossref","first-page":"1697","DOI":"10.1007\/s00500-014-1250-8","volume":"18","author":"J Choi","year":"2014","unstructured":"Choi J, Choi C, Ko B-K, Kim P (2014) A method of DDoS attack detection using HTTP packet pattern and rule engine in cloud computing environment. Soft Comput 18(9):1697\u20131703","journal-title":"Soft Comput"},{"issue":"1","key":"2497_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/JCS-2012-0459","volume":"21","author":"F Cuppens","year":"2013","unstructured":"Cuppens F, Cuppens-Boulahia N, Elrakaiby Y (2013) Formal specification and management of security policies with collective group obligations. J Comput Secur 21(1):149\u2013190","journal-title":"J Comput Secur"},{"key":"2497_CR7","doi-asserted-by":"crossref","unstructured":"Cuppens-Boulahia N, Cuppens F (2008) Specifying intrusion detection and reaction policies: an application of deontic logic. In: van der Meyden R, van der Torre Leendert WN (eds) Deontic logic in computer science, 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15\u201318, 2008. Proceedings, volume 5076 of Lecture Notes in Computer Science, pp 65\u201380. Springer","DOI":"10.1007\/978-3-540-70525-3_7"},{"issue":"3","key":"2497_CR8","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1093\/jigpal\/4.3.369","volume":"4","author":"R Demolombe","year":"1996","unstructured":"Demolombe R, Jones AJI (1996) Integrity constraints revisited. Logic J IGPL 4(3):369\u2013383","journal-title":"Logic J IGPL"},{"key":"2497_CR9","unstructured":"Gabbay Dov\u00a0M, Robaldo L, Sun X, van\u00a0der Torre L, Baniasadi Z (2014) Toward a linguistic interpretation of deontic paradoxes\u2014beth-reichenbach semantics approach for a new analysis of the miners scenario. In: Deontic logic and normative systems\u201412th international conference, DEON 2014, Ghent, Belgium, July 12\u201315, 2014. Proceedings, pp 108\u2013123"},{"key":"2497_CR10","doi-asserted-by":"crossref","unstructured":"Glasgow JI, MacEwen GH (1988) Reasoning about knowledge in multilevel secure distributed systems. In: Proceedings of the 1988 IEEE symposium on security and privacy, Oakland, California, USA, April 18\u201321, 1988, pp 122\u2013128. IEEE Computer Society","DOI":"10.1109\/SECPRI.1988.8104"},{"issue":"3","key":"2497_CR11","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/146937.146940","volume":"10","author":"JI Glasgow","year":"1992","unstructured":"Glasgow JI, MacEwen GH, Panangaden P (1992) A logic for reasoning about security. ACM Trans Comput Syst 10(3):226\u2013264","journal-title":"ACM Trans Comput Syst"},{"key":"2497_CR12","doi-asserted-by":"crossref","unstructured":"Horty J (2001) Agency and deontic logic. Oxford University Press, New York","DOI":"10.1093\/0195134613.001.0001"},{"key":"2497_CR13","doi-asserted-by":"crossref","unstructured":"Jones AJI, Sergot MJ (1992) Formal specification of security requirements using the theory of normative positions. In: Yves D, G\u00e9rard E, Jean-Jacques Q (eds) Computer security\u2014ESORICS 92, second European symposium on research in computer security, Toulouse, France, November 23\u201325, 1992, Proceedings, volume 648 of Lecture Notes in Computer Science, pp 103\u2013121. Springer","DOI":"10.1007\/BFb0013894"},{"issue":"12","key":"2497_CR14","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1109\/2.970591","volume":"34","author":"L Kagal","year":"2001","unstructured":"Kagal L, Finin TW, Joshi A (2001) Trust-based security in pervasive computing environments. IEEE Comput 34(12):154\u2013157","journal-title":"IEEE Comput"},{"issue":"3","key":"2497_CR15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.5840\/jphil2010107310","volume":"107","author":"N Kolodny","year":"2010","unstructured":"Kolodny N, MacFarlane J (2010) Iffs and oughts. J Philos 107(3):115\u2013143","journal-title":"J Philos"},{"key":"2497_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10992-007-9049-z","volume":"37","author":"B Kooi","year":"2008","unstructured":"Kooi B, Tamminga A (2008) Moral conflicts between groups of agents. J Philos Logic 37:1\u201321","journal-title":"J Philos Logic"},{"key":"2497_CR17","unstructured":"Lang J, van der Torre L (2008) From belief change to preference change. In: Ghallab M, Spyropoulos CD, Fakotakis N, Avouris N (eds) Proceedings of the 2008 conference on ECAI 2008: 18th European conference on artificial intelligence, pp 351\u2013355, Amsterdam, 2008. IOS Press"},{"issue":"3","key":"2497_CR18","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s12652-013-0178-7","volume":"5","author":"F Marcelloni","year":"2014","unstructured":"Marcelloni F, Puccinelli D, Vecchio A (2014) Special issue on sensing and mobility in pervasive computing. J Ambient Intell Humaniz Comput 5(3):263\u2013264","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"2497_CR19","unstructured":"Meyer JJ (1988) A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 109\u2013136"},{"issue":"9","key":"2497_CR20","doi-asserted-by":"crossref","first-page":"1655","DOI":"10.1007\/s00500-014-1380-z","volume":"18","author":"MR Ogiela","year":"2014","unstructured":"Ogiela MR, Castiglione A, You I (2014) Soft computing for security services in smart and ubiquitous environments. Soft Comput 18(9):1655\u20131658","journal-title":"Soft Comput"},{"issue":"9","key":"2497_CR21","doi-asserted-by":"crossref","first-page":"1659","DOI":"10.1007\/s00500-014-1278-9","volume":"18","author":"JLH Ramos","year":"2014","unstructured":"Ramos JLH, Cano MVM, Jara AJ, Skarmeta AF (2014) A soft computing based location-aware access control for smart buildings. Soft Comput 18(9):1659\u20131674","journal-title":"Soft Comput"},{"key":"2497_CR22","doi-asserted-by":"crossref","unstructured":"Ross A (1941) Imperatives and logic. Theoria 7(53)","DOI":"10.1111\/j.1755-2567.1941.tb01039.x"},{"key":"2497_CR23","volume-title":"An essay in classical modal logic, volume\u00a013 of Filosofiska studier","author":"K Segerberg","year":"1971","unstructured":"Segerberg K (1971) An essay in classical modal logic, volume\u00a013 of Filosofiska studier. Filosofiska foreningen och Filosofiska institutionen vid Uppsala universitet, Uppsala"},{"key":"2497_CR24","doi-asserted-by":"crossref","unstructured":"Sun X (2011) Conditional ought, a game theoretical perspective. In: Lang J, van Ditmarsch H, Ju S (eds) Logic, rationality, and interaction: proceedings of the third international workshop, pp 356\u2013369, Guangzhou, China, October 2011","DOI":"10.1007\/978-3-642-24130-7_26"},{"key":"2497_CR25","doi-asserted-by":"crossref","unstructured":"Sun X, Baniasadi Z (2014) STIT based deontic logics for the miners puzzle. In: Nils B (ed) Multi-agent systems\u201412th European conference, EUMAS 2014, Prague, Czech Republic, December 18\u201319, 2014, revised selected papers, volume 8953 of Lecture Notes in Computer Science, pp 236\u2013251. Springer","DOI":"10.1007\/978-3-319-17130-2_16"},{"key":"2497_CR26","unstructured":"Van Hertum P, Cramer M, Bogaerts B, Denecker M (2016) Distributed autoepistemic logic and its application to access control. In: Kambhampati S (ed) Proceedings of the twenty-fifth international joint conference on artificial intelligence, IJCAI 2016, New York, NY, USA, 9\u201315 July 2016, pp 1286\u20131292. IJCAI\/AAAI Press"},{"key":"2497_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright von","year":"1951","unstructured":"von Wright G (1951) Deontic logic. Mind 60:1\u201315","journal-title":"Mind"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-017-2497-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2497-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-017-2497-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T01:03:25Z","timestamp":1719018205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-017-2497-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,24]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["2497"],"URL":"https:\/\/doi.org\/10.1007\/s00500-017-2497-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2017,1,24]]}}}