{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:09:01Z","timestamp":1742944141646,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650041"},{"type":"electronic","value":"9783540497844"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0055856","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:50:09Z","timestamp":1154033409000},"page":"67-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["A flexible method for information system security policy specification"],"prefix":"10.1007","author":[{"given":"Rodolphe","family":"Ortalo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"D. E. Bell, L. J. LaPadula, Secure Computer Systems: Unified Exposition and Multics Interpretation, The MITRE Corporation, Report ESD-TR-73-306, 1975.","DOI":"10.21236\/ADA023588"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/BF01880326","volume":"7","author":"L. Catach","year":"1991","unstructured":"L. Catach, \u201cTABLEAUX: A General Theorem Prover for Modal Logics\u201d, Journal of Automated Reasoning, vol. 7, pp. 489\u2013510, 1991.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. F. Chellas, Modal Logic: An Introduction, 295 p., ISBN 0-521-29515-7, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"5_CR4","isbn-type":"print","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/SECPRI.1997.601324","volume-title":"Analyzing Consistency of Security Policies","author":"L. Cholvy","year":"1997","unstructured":"L. Cholvy, F. Cuppens, \u201cAnalyzing Consistency of Security Policies\u201d, in IEEE Symposium on Security and Privacy, Oakland, California, May 4\u20137, pp. 103\u2013112, ISBN 0-8186-7828-3, IEEE Computer Society Press, 1997.","ISBN":"https:\/\/id.crossref.org\/isbn\/0818678283"},{"key":"5_CR5","isbn-type":"print","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/CSFW.1996.503697","volume-title":"Specifying a Security Policy: A Case Study","author":"F. Cuppens","year":"1996","unstructured":"F. Cuppens, C. Saurel, \u201cSpecifying a Security Policy: A Case Study\u201d, in 9th IEEE Computer Security Foundations Workshop, Kenmare, Ireland, June 10\u201312, pp. 123\u2013134, ISBN 0-8186-7522-5, IEEE Computer Society Press, 1996.","ISBN":"https:\/\/id.crossref.org\/isbn\/0818675225"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"L. Fari\u00f1as del Cerro, A. Herzig, \u201cModal Deduction with Applications in Epistemic and Temporal Logic\u201d, in Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning (D. M. Gabbay, C. J. Hogger, J.A. Robinson, Eds.), vol. 4\/5, pp. 499\u2013594, ISBN 0-19-853791-3, Oxford Science Publications, 1995.","DOI":"10.1093\/oso\/9780198537915.003.0008"},{"issue":"no.2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00244394","volume":"4","author":"M. Fitting","year":"1988","unstructured":"M. Fitting, \u201cFirst-Order Modal Tableaux\u201d, Journal of Automated Reasoning, vol. 4, no. 2, pp. 191\u2013213, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"M. Fitting, \u201cBasic Modal Logic\u201d, in Handbook of Logic in Artificial Intelligence and Logic Programming, Logical Foundations (D.M. Gabbay, C. J. Hogger, J.A. Robinson, Eds.), vol. 1\/5, pp. 365\u2013448, ISBN 0-19-853745-X, Oxford Science Publications, 1993.","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"5_CR9","first-page":"2","volume-title":"A Logic for Reasoning About Security","author":"J. Glasgow","year":"1990","unstructured":"J. Glasgow, G. McEwen, P. Panangaden, \u201cA Logic for Reasoning About Security\u201d, in Computer Security Foundations Workshop, Franconia, pp. 2\u201313, IEEE Computer Society Press, 1990."},{"key":"5_CR10","isbn-type":"print","volume-title":"Information Technology Security Evaluation Criteria, v1.2","author":"ITSEC","year":"1991","unstructured":"ITSEC, Information Technology Security Evaluation Criteria, v1.2, 163 p., ISBN 92-826-3004-8, Office for Official Publications of the European Communities, Luxembourg, 1991.","ISBN":"https:\/\/id.crossref.org\/isbn\/9282630048"},{"key":"5_CR11","isbn-type":"print","volume-title":"Information Technology Security Evaluation Manual, v1.0","author":"ITSEM","year":"1993","unstructured":"ITSEM, Information Technology Security Evaluation Manual, v1.0, 262 p., ISBN 92-826-7087-2, Office for Official Publications of the European Communities, Luxembourg, 1993.","ISBN":"https:\/\/id.crossref.org\/isbn\/9282670872"},{"key":"5_CR12","isbn-type":"print","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/BFb0013894","volume-title":"LNCS, 648","author":"A. J. I. Jones","year":"1992","unstructured":"A. J. I. Jones, M. Sergot, \u201cFormal Specification of Security Requirements using the Theory of Normative Positions\u201d, in Second European Symposium On Research In Computer Security (ESORICS 92), (Y. Deswarte, G. Eizenberg, J.-J. Quisquater, Eds.), Toulouse, France, November 23\u201325, LNCS, 648, pp. 103\u2013121, ISBN 3-540-56246-X & 0-387-56246-X, Springer-Verlag, 1992.","ISBN":"https:\/\/id.crossref.org\/isbn\/354056246X"},{"key":"5_CR13","first-page":"83","volume":"16","author":"S. A. Kripke","year":"1963","unstructured":"S. A. Kripke, \u201cSemantical Considerations in Modal Logic\u201d, Acta Philosophica Fennica, vol. 16, pp. 83\u201394, 1963.","journal-title":"Acta Philosophica Fennica"},{"key":"5_CR14","isbn-type":"print","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/28659.28661","volume-title":"Logic Programming with Sets","author":"G. Kuper","year":"1987","unstructured":"G. Kuper, \u201cLogic Programming with Sets\u201d, in 6th ACM Conference on Principles of Database Systems (PODS), San Diego, California, USA, March 23\u201325, pp. 11\u201320, ISBN 0-89791-223-3, ACM Press, 1987.","ISBN":"https:\/\/id.crossref.org\/isbn\/0897912233"},{"key":"5_CR15","unstructured":"J.-J. C. Meyer, R. J. Wieringa (Eds.), Deontic Logic in Computer Science, 317p., ISBN 0-471-93743-6, Jon Wiley & Sons, 1993."},{"issue":"no.6","key":"5_CR16","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/32.601073","volume":"23","author":"B. A. Myers","year":"1997","unstructured":"B. A. Myers, R. G. McDaniel, R. C. Miller, A. S. Ferrency, A. Faulring, B. D. Kyle, A. Mickish, A. Klimovitski, P. Doane, \u201cThe Amulet Environment: New Models for Effective User Interface Software Development\u201d, IEEE Transations on Software Engineering, vol. 23, no. 6, pp. 347\u2013365, June, 1997.","journal-title":"IEEE Transations on Software Engineering"},{"key":"5_CR17","unstructured":"R. Ortalo, Using Role-Based Abstractions for Security Policy Specification with Deontic Logic, 20 p., LAAS-CNRS, Report 97216, June, 1997."},{"key":"5_CR18","volume-title":"Quantitative Evaluation of Information System Security","author":"R. Ortalo","year":"1998","unstructured":"R. Ortalo, Y. Deswarte, \u201cQuantitative Evaluation of Information System Security\u201d, in 14th IFIP International Information Security Conference (IFIP\/SEC\u201998), August31\u2013September 4, Vienna-Budapest, Austria-Hungary, Chapman & Hall, 1998. (to appear)"},{"issue":"no.2","key":"5_CR19","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. S. Sandhu","year":"1996","unstructured":"R. S. Sandhu, E. J. Coyne, H. L. Feinstein, C. E. Youman, \u201cRole-Based Access Control Models\u201d, IEEE Computer, vol. 29, no.2, pp. 38\u201347, February, 1996.","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 98"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T16:26:06Z","timestamp":1707150366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650041","9783540497844"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0055856","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}