{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T03:35:09Z","timestamp":1769830509219,"version":"3.49.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38709-8_19","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T11:44:12Z","timestamp":1371728652000},"page":"288-303","source":"Crossref","is-referenced-by-count":8,"title":["Formal Methods for Exchange Policy Specification"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Delmas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Polacsek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Abou El Kalam, A., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization Based Access Control. 4th IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2003 (June 2003)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Berre, D.L., Parrain, A.: The sat4j library, release 2.2. JSAT\u00a07(2-3), 59\u201356 (2010)","DOI":"10.3233\/SAT190075"},{"issue":"1","key":"19_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.3233\/JCS-1992-1105","volume":"1","author":"P. Bieber","year":"1992","unstructured":"Bieber, P., Cuppens, F.: A logical view of secure dependencies. Journal of Computer Security\u00a01(1), 99\u2013130 (1992)","journal-title":"Journal of Computer Security"},{"key":"19_CR5","first-page":"103","volume-title":"Expression of confidentiality policies with deontic logic","author":"P. Bieber","year":"1994","unstructured":"Bieber, P., Cuppens, F.: Expression of confidentiality policies with deontic logic, pp. 103\u2013123. John Wiley & Sons, Inc., New York (1994)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/ICSTW.2008.54","volume-title":"ICSTW 2008: Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of uml\/ocl class diagrams using constraint programming. In: ICSTW 2008: Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp. 73\u201380. IEEE Computer Society, Washington, DC (2008)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Castan\u1ebdda, H.N.: Thinking and doing. D. Reidel, Dordrecht (1975)","DOI":"10.1007\/978-94-010-9888-5"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal logic, an introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"19_CR9","unstructured":"Cholvy, L., Cuppens, F.: Analyzing consistency of security policies. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 103\u2013112 (May 1997)"},{"key":"19_CR10","unstructured":"Cholvy, L., Garion, C., Saurel, C.: Information sharing policies for coalition systems. In: NATO RTO-IST-062 Symposium on Dynamic Communications Management (2006)"},{"key":"19_CR11","unstructured":"Cuppens, F., Mi\u00e8ge, A.: Administration Model for Or-BAC. In: Computer Systems Science and Engineering (CSSE 2004), vol.\u00a019 (2004)"},{"key":"19_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-70525-3_7","volume-title":"Deontic Logic in Computer Science","author":"N. Cuppens-Boulahia","year":"2008","unstructured":"Cuppens-Boulahia, N., Cuppens, F.: Specifying intrusion detection and reaction policies: An application of deontic logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 65\u201380. Springer, Heidelberg (2008)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-24443-8_25","volume-title":"Model and Data Engineering","author":"R. Delmas","year":"2011","unstructured":"Delmas, R., Doose, D., Pires, A.F., Polacsek, T.: Supporting model based design. In: Bellatreche, L., Mota Pinto, F. (eds.) MEDI 2011. LNCS, vol.\u00a06918, pp. 237\u2013248. Springer, Heidelberg (2011)"},{"issue":"1-4","key":"19_CR14","first-page":"1","volume":"2","author":"N. E\u00e9n","year":"2006","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: Translating pseudo-boolean constraints into sat. JSAT\u00a02(1-4), 1\u201326 (2006)","journal-title":"JSAT"},{"key":"19_CR15","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access control. In: 15th NIST-NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"key":"19_CR16","unstructured":"Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving, ch. 10, pp. 448\u2013476. Wiley (1987)"},{"key":"19_CR17","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. CoRR abs\/cs\/0601034 (2006)"},{"key":"19_CR18","unstructured":"ITSEC: Information technology security evaluation criteria (itsec): Preliminary harmonised criteria. Tech. Rep. Document COM(90) 314, Version 1.2., Commission of the European Communities (1991)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0013894","volume-title":"Computer Security - ESORICS 92","author":"A.J.I. Jones","year":"1992","unstructured":"Jones, A.J.I., Sergot, M.: Formal specification of security requirements using the theory of normative positions. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol.\u00a0648, pp. 103\u2013121. Springer, Heidelberg (1992)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-642-02777-2_45","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"V. Manquinho","year":"2009","unstructured":"Manquinho, V., Marques-Silva, J., Planes, J.: Algorithms for weighted boolean optimization. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol.\u00a05584, pp. 495\u2013508. Springer, Heidelberg (2009)"},{"issue":"1","key":"19_CR21","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1004943332720","volume":"59","author":"J. McCarthy","year":"1997","unstructured":"McCarthy, J.: Modality, si! modal logic, no! Studia Logica\u00a059(1), 29\u201332 (1997)","journal-title":"Studia Logica"},{"key":"19_CR22","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1613\/jair.2675","volume":"35","author":"R. Sebastiani","year":"2009","unstructured":"Sebastiani, R., Vescovi, M.: Automated reasoning in modal and description logics via sat encoding: the case study of k(m)\/alc-satisfiability. J. Artif. Intell. Res. (JAIR)\u00a035, 343\u2013389 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"19_CR23","unstructured":"Tseitin, G.S.: On the complexity of derivations in the propositional calculus. Studies in Mathematics and Mathematical Logic II (1968)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38709-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T20:45:01Z","timestamp":1595969101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38709-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319981765","9783319981772"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38709-8_19","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}