{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:15Z","timestamp":1725544755564},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116223"},{"type":"electronic","value":"9783642116230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_28","type":"book-chapter","created":{"date-parts":[[2010,1,24]],"date-time":"2010-01-24T20:08:29Z","timestamp":1264363709000},"page":"447-454","source":"Crossref","is-referenced-by-count":0,"title":["A First Step towards Security Policy Compliance of Connectors"],"prefix":"10.1007","author":[{"given":"Sun","family":"Meng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Eclipse Coordination Tools, http:\/\/reo.project.cwi.nl\/"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"28_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11786849_9","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J. Brunel","year":"2006","unstructured":"Brunel, J., Bodeveix, J.-P., Filali, M.: A state\/event temporal deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 85\u2013100. Springer, Heidelberg (2006)"},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1314436.1314441","volume-title":"Proc. of the Workshop on Formal Methods in Security Engineering (FMSE 2007)","author":"J. Brunel","year":"2007","unstructured":"Brunel, J., Cuppens, F., Cuppens-Boulahia, N., Sans, T., Bodeveix, J.-P.: Security policy compliance with violation management. In: Proc. of the Workshop on Formal Methods in Security Engineering (FMSE 2007), pp. 31\u201340. ACM Press, New York (2007)"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(0) (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/EDOC.2006.22","volume-title":"Proceedings of the International Enterprize Distributed Object Computing Conference (EDOC 2006)","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the International Enterprize Distributed Object Computing Conference (EDOC 2006), pp. 221\u2013232. IEEE Computer Society, Los Alamitos (2006)"},{"key":"28_CR9","unstructured":"ITU-TS. Recommendation Z.120 : Message Sequence Chart (MSC), Geneva (1996)"},{"key":"28_CR10","unstructured":"ITU-TS. Recommendation Z.120(11\/99) : MSC 2000, Geneva (1999)"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-36578-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Koch","year":"2003","unstructured":"Koch, M., Parisi-Presicce, F.: Visual Specifications of Policies and Their Verification. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 278\u2013293. Springer, Heidelberg (2003)"},{"issue":"10","key":"28_CR12","first-page":"25","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing. Comm.\u00a0ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Comm.\u00a0ACM"},{"key":"28_CR13","unstructured":"Object Management Group. Unified Modeling Language: Superstructure - version 2.1.1 (2007), http:\/\/www.uml.org\/"},{"key":"28_CR14","unstructured":"ODRL: The Open Digital Rights Language Initiative, http:\/\/odrl.net"},{"key":"28_CR15","volume-title":"Security in Computing","author":"C.P. Pfleeger","year":"1997","unstructured":"Pfleeger, C.P.: Security in Computing. Prentice Hall, New Jersey (1997)"},{"issue":"1","key":"28_CR16","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:42:23Z","timestamp":1606167743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}