{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:57Z","timestamp":1761596937158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540562467"},{"type":"electronic","value":"9783540474883"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/bfb0013894","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:24:15Z","timestamp":1132730655000},"page":"103-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Formal specification of security requirements using the theory of normative positions"],"prefix":"10.1007","author":[{"given":"Andrew J. I.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","unstructured":"Bieber, P., Cuppens, F. [1991] Computer Security Policies and Deontic Logic. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Chisholm, R.M. [1963] Contrary-to-duty imperatives and deontic logic. Analysis 24.","DOI":"10.2307\/3327064"},{"key":"6_CR3","volume-title":"Doctoral Thesis","author":"D. Elgesem","year":"1992","unstructured":"Elgesem, D. [1992] Action Theory and Modal Logic, Doctoral Thesis, Dept. of Philosophy, University of Oslo, Norway."},{"key":"6_CR4","unstructured":"Glasgow, J., McEwen, G., Panangaden, P. [1990] A Logic for Reasoning about Security. Proc. of the Computer Security Foundations Workshop, Franconia 1990."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Jones, A.J.I., P\u00f6rn, I. [1985] Ideality, sub-ideality and deontic logic. Synthese 65, 1985.","DOI":"10.1007\/BF00869304"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Jones, A.J.I, P\u00f6rn, I. [1991] On the logic of deontic conditionals. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991.","DOI":"10.1111\/j.1467-9337.1991.tb00105.x"},{"key":"6_CR7","unstructured":"Jones, A.J.I., Sergot, M.J. [1991] On the role of deontic logic in the characterization of normative systems. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Jones, A.J.I., Sergot, M.J. [1992] Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, Kluwer. To appear 1992.","DOI":"10.1007\/BF00118478"},{"key":"6_CR9","volume-title":"Synthese Library 152","author":"R. Hilpinen","year":"1981","unstructured":"Hilpinen, R. [1981] New Studies in Deontic Logic (Hilpinen, R., ed.). Synthese Library 152, D.Reidel, Dordrecht, Holland."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Kanger, S. [1972] Law and Logic. Theoria 38,1972.","DOI":"10.1111\/j.1755-2567.1972.tb00928.x"},{"key":"6_CR11","unstructured":"Kanger, S. [1985] On Realization of Human Rights. In Action, Logic and Social Theory (Holmstr\u00f6m,G., Jones, A.J.I., eds). Acta Philosophica Fennica, Vol. 38."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Kanger, S., Kanger, H. [1966] Rights and Parliamentarism. Theoria 32,1966.","DOI":"10.1111\/j.1755-2567.1966.tb00594.x"},{"key":"6_CR13","volume-title":"Synthese Library 112","author":"L. Lindahl","year":"1977","unstructured":"Lindahl, L. [1977] Position and Change \u2014 A Study in Law and Logic. Synthese Library 112, D.Reidel, Dordrecht, Holland."},{"key":"6_CR14","unstructured":"Meyer, J.-J.Ch., Wieringa, R.J. [1991] Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91) (Meyer, J.-J.Ch., Wieringa, R.J., eds.), Amsterdam, December 1991."},{"key":"6_CR15","unstructured":"Minsky, N.H., Lockman, A. [1985] Ensuring integrity by adding obligations to privileges. Proc. 8th International Conference on Software Engineering, August 1985, pp 92\u2013102."},{"key":"6_CR16","unstructured":"Morris, P., McDermid, J. [1991] Security and Normative Rights. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991."},{"key":"6_CR17","volume-title":"The Logic of Power","author":"I. P\u00f6rn","year":"1970","unstructured":"P\u00f6rn, I. [1970] The Logic of Power. Blackwells, Oxford, 1970."},{"key":"6_CR18","volume-title":"Synthese Library 120","author":"I. P\u00f6rn","year":"1977","unstructured":"P\u00f6rn, I. [1977] Action Theory and Social Science: Some Formal Models. Synthese Library 120, D. Reidel, Dordrecht."},{"key":"6_CR19","unstructured":"Syverson, P. [1990] Formal Semantics for Logics of Cryptographic Protocols. Proc. of the Computer Security Foundations Workshop, Franconia 1990."},{"key":"6_CR20","volume-title":"Database Security: Status and Prospects III","author":"T.C. Ting","year":"1990","unstructured":"Ting, T.C. [1990] Application Information Security Semantics: A Case of Mental Health Delivery. In Database Security: Status and Prospects III (Spooner, D.L., Landwehr, CE., eds.). North Holland, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:40:41Z","timestamp":1683301241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540562467","9783540474883"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0013894","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}