{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T03:40:03Z","timestamp":1748403603554,"version":"3.41.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319190686"},{"type":"electronic","value":"9783319190693"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","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":[[2015]]},"DOI":"10.1007\/978-3-319-19069-3_10","type":"book-chapter","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T15:26:23Z","timestamp":1432653983000},"page":"151-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies"],"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","published-online":{"date-parts":[[2015,5,27]]},"reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/j.cose.2012.01.004","volume":"31","author":"J Abramov","year":"2012","unstructured":"Abramov, J., Anson, O., Dahan, M., Shoval, P., Sturm, A.: A methodology for integrating access control policies within database development. Computers & Security 31(3), 299\u2013314 (2012)","journal-title":"Computers & Security"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Akl, S.G., Denning, D.E.: Checking classification constraints for consistency and completeness. In: IEEE Symposium on Security and Privacy, pp. 196\u2013201. IEEE Computer Society (1987)","DOI":"10.1109\/SP.1987.10000"},{"key":"10_CR3","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":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/3-540-63614-5_56","volume-title":"Foundations of Intelligent Systems","author":"F Cuppens","year":"1997","unstructured":"Cuppens, F., Demolombe, R.: A modal logical framework for security policies. In: Ra\u015b, Z.W., Skowron, A. (eds.) ISMIS 1997. LNCS, vol. 1325, pp. 579\u2013589. Springer, Heidelberg (1997)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-38709-8_19","volume-title":"Advanced Information Systems Engineering","author":"R Delmas","year":"2013","unstructured":"Delmas, R., Polacsek, T.: Formal methods for exchange policy specification. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 288\u2013303. Springer, Heidelberg (2013)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/TSE.1987.232889","volume":"13","author":"DE Denning","year":"1987","unstructured":"Denning, D.E., Akl, S.G., Heckman, M., Lunt, T.F., Morgenstern, M., Neumann, P.G., Schell, R.R.: Views for multilevel database security. IEEE Trans. Software Eng. 13(2), 129\u2013140 (1987)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR7","unstructured":"Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving, chapter 10, pp. 448\u2013476. Wiley (1987)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. ACM Transactions on Information and System Security (TISSEC) 11(4) (2008)","DOI":"10.1145\/1380564.1380569"},{"key":"10_CR9","unstructured":"Kalam, A.A.E., Benferhat, S., Mi\u00e8ge, A., Baida, R.E., Cuppens, F., Saurel, C., Balbiani, P., Deswarte, Y., Trouessin, G.: Organization based access contro. In: POLICY, p. 120. IEEE Computer Society (2003)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"12","key":"10_CR11","first-page":"1608","volume":"18","author":"H Mouratidis","year":"2012","unstructured":"Mouratidis, H., Kalloniatis, C., Islam, S., Huget, M.P., Gritzalis, S.: Aligning security and privacy to support the development of secure information systems. J. UCS 18(12), 1608\u20131627 (2012)","journal-title":"J. UCS"},{"key":"10_CR12","unstructured":"Paja, E., Dalpiaz, F., Poggianella, M., Roberti, P., Giorgini, P.: Modelling security requirements in socio-technical systems with sts-tool. In: Kirikova, M., Stirna, J. (eds.) CEUR Workshop Proceedings of the CAiSE Forum, vol. 855, pp. 155\u2013162. CEUR-WS.org (2012)"},{"key":"10_CR13","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) 35, 343\u2013389 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19069-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T03:18:39Z","timestamp":1748402319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19069-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319190686","9783319190693"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19069-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}