{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:11:47Z","timestamp":1725570707557},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-34321-6_23","type":"book-chapter","created":{"date-parts":[[2013,1,18]],"date-time":"2013-01-18T17:06:55Z","timestamp":1358528815000},"page":"344-358","source":"Crossref","is-referenced-by-count":3,"title":["Configuring Private Data Management as Access Restrictions: From Design to Enforcement"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lien","family":"Faravelon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phanie","family":"Chollet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Verdier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agn\u00e8s","family":"Front","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/1542207.1542238","volume-title":"Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009","author":"S. Barker","year":"2009","unstructured":"Barker, S.: The next 700 access control models or a unifying meta-model? In: Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, SACMAT 2009, pp. 187\u2013196. ACM, New York (2009)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"D. Basin","year":"2006","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model Driven Security: from UML Models to Access Control Infrastructures. ACM Transactions on Software Engineering and Methodology\u00a015, 39\u201391 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/ICWS.2006.115","volume-title":"International Conference on Web Services (ICWS)","author":"B. Carminati","year":"2006","unstructured":"Carminati, B., Ferrari, E., Hung, P.: Security Conscious Web Service Composition. In: International Conference on Web Services (ICWS), pp. 489\u2013496. IEEE Computer Society, Los Alamitos (2006)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/SCC.2008.51","volume-title":"SCC 2008: Proceedings of the 2008 IEEE International Conference on Services Computing","author":"S. Chollet","year":"2008","unstructured":"Chollet, S., Lalanda, P.: Security specifcation at process level. In: SCC 2008: Proceedings of the 2008 IEEE International Conference on Services Computing, pp. 165\u2013172. IEEE Computer Society, Washington, DC (2008)"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1008658325298","volume":"5","author":"S. Dami","year":"1998","unstructured":"Dami, S., Estublier, J., Amiour, M.: APEL: A Graphical Yet Executable Formalism for Process Modeling. Automated Software Engg.\u00a05(1), 61\u201396 (1998)","journal-title":"Automated Software Engg."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"23_CR7","unstructured":"Ferraiolo, D.F., Kuhn, D.R.: Role-based access controls. In: Proceedings of the 15th National Computer Security Conference, pp. 554\u2013563 (1992)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Garcia, D.Z.G., de Toledo, M.B.F.: Ontology-based security policies for supporting the management of web service business processes. In: ICSC, pp. 331\u2013338 (2008)","DOI":"10.1109\/ICSC.2008.35"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/inco.1999.2817","volume":"156","author":"F. Laroussinie","year":"2000","unstructured":"Laroussinie, F., Schnoebelen, P.: Specification in ctl + past for verification in ctl. Inf. Comput.\u00a0156, 236\u2013263 (2000)","journal-title":"Inf. Comput."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-24593-3_6","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"B. Orri\u00ebns","year":"2003","unstructured":"Orri\u00ebns, B., Yang, J., Papazoglou, M.P.: Model Driven Service Composition. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 75\u201390. Springer, Heidelberg (2003)"},{"key":"23_CR11","first-page":"46","volume-title":"Proceedings of the 18th Annual Symposium on Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society, Washington, DC (1977)"},{"issue":"4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1093\/ietisy\/e90-d.4.745","volume":"E90-D","author":"A. Rodr\u00edguez","year":"2007","unstructured":"Rodr\u00edguez, A., Fern\u00e1ndez-Medina, E., Piattini, M.: A BPMN Extension for the Modeling of Security Requirements in Business Processes. IEICE - Transactions on Information and Systems\u00a0E90-D(4), 745\u2013752 (2007)","journal-title":"IEICE - Transactions on Information and Systems"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45608-2_3","volume-title":"Foundations of Security Analysis and Design","author":"P. Samarati","year":"2001","unstructured":"Samarati, P., de Capitani di Vimercati, S.: Access Control: Policies, Models, and Mechanisms. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 137\u2013196. Springer, Heidelberg (2001)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-10383-4_27","volume-title":"Service-Oriented Computing","author":"A.R.R. Souza","year":"2009","unstructured":"Souza, A.R.R., Silva, B.L.B., Lins, F.A.A., Damasceno, J.C., Rosa, N.S., Maciel, P.R.M., Medeiros, R.W.A., Stephenson, B., Motahari-Nezhad, H.R., Li, J., Northfleet, C.: Incorporating Security Requirements into Service Composition: From Modelling to Execution. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 373\u2013388. Springer, Heidelberg (2009)"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ICWS.2007.31","volume-title":"International Conference on Web Services (ICWS)","author":"M. Srivatsa","year":"2007","unstructured":"Srivatsa, M., Iyengar, A., Mikalsen, T.A., Rouvellou, I., Yin, J.: An Access Control System for Web Service Compositions. In: International Conference on Web Services (ICWS), pp. 1\u20138. IEEE Computer Society, Los Alamitos (2007)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-13595-8_24","volume-title":"Modelling Foundations and Applications","author":"A. Vallecillo","year":"2010","unstructured":"Vallecillo, A.: On the Combination of Domain Specific Modeling Languages. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 305\u2013320. Springer, Heidelberg (2010)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-77010-7_15","volume-title":"Web Information Systems Engineering \u2013 WISE 2007 Workshops","author":"C. Wolter","year":"2007","unstructured":"Wolter, C., Schaad, A., Meinel, C.: Deriving XACML Policies from Business Process Models. In: Weske, M., Hacid, M.-S., Godart, C. (eds.) WISE Workshops 2007. LNCS, vol.\u00a04832, pp. 142\u2013153. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34321-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T11:23:50Z","timestamp":1557314630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34321-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642173578","9783642173585"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34321-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}