{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:22:18Z","timestamp":1742977338011,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883128"},{"type":"electronic","value":"9783540883135"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88313-5_20","type":"book-chapter","created":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T04:41:44Z","timestamp":1223095304000},"page":"300-316","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Refinement of Policies in UML \u2013 Exemplified for Access Control"],"prefix":"10.1007","author":[{"given":"Bj\u00f8rnar","family":"Solhaug","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ketil","family":"St\u00f8len","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/65.993218","volume":"16","author":"M. Sloman","year":"2002","unstructured":"Sloman, M., Lupu, E.: Security and Management Policy Specification. Network, IEEE\u00a016(2), 10\u201319 (2002)","journal-title":"Network, IEEE"},{"key":"20_CR2","unstructured":"Object Management Group: Unified Modeling Language: Superstructure, version 2.1.1 (2007)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF02283186","volume":"2","author":"M. Sloman","year":"1994","unstructured":"Sloman, M.: Policy Driven Management for Distributed Systems. Journal of Network and Systems Management\u00a02, 333\u2013360 (1994)","journal-title":"Journal of Network and Systems Management"},{"key":"20_CR4","series-title":"Handbook of the History of Logic","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S1874-5857(06)80029-4","volume-title":"Logic and the Modalities in the Twentieth Century","author":"P. McNamara","year":"2006","unstructured":"McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol.\u00a07, pp. 197\u2013288. Elsevier, Amsterdam (2006)"},{"key":"20_CR5","first-page":"63","volume-title":"Proc. of 4th International Workshop on Policies for Distributed Systems and Networks (POLICY)","author":"L. Kagal","year":"2003","unstructured":"Kagal, L., Finin, T., Joshi, A.: A Policy Language for a Pervasive Computing Environment. In: Proc. of 4th International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 63\u201374. IEEE CS Press, Los Alamitos (2003)"},{"key":"20_CR6","first-page":"60","volume-title":"Proc. of 3rd International Conference on Enterprise Distributed Object Computing (EDOC)","author":"J.\u00d8. Aagedal","year":"1999","unstructured":"Aagedal, J.\u00d8., Milo\u0161evi\u0107, Z.: ODP Enterprise Language: UML Perspective. In: Proc. of 3rd International Conference on Enterprise Distributed Object Computing (EDOC), pp. 60\u201371. IEEE CS Press, Los Alamitos (1999)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N. Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Policy Specification Language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"20_CR8","unstructured":"ISO\/IEC: ISO\/IEC FCD 15414, Information Technology - Open Distributed Processing - Reference Model - Enterprise Viewpoint (2000)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/POLICY.2007.42","volume-title":"Proc. of 8th International Workshop on Policies for Distributed Systems and Networks (POLICY)","author":"B. Solhaug","year":"2007","unstructured":"Solhaug, B., Elgesem, D., St\u00f8len, K.: Specifying Policies Using UML Sequence Diagrams \u2013 An Evaluation Based on a Case Study. In: Proc. of 8th International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 19\u201328. IEEE CS Press, Los Alamitos (2007)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10270-005-0087-0","volume":"4","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen, \u00d8., Husa, K.E., Runde, R.K., St\u00f8len, K.: STAIRS Towards Formal Design with Sequence Diagrams. Software & Systems Modeling\u00a04, 355\u2013367 (2005)","journal-title":"Software & Systems Modeling"},{"key":"20_CR11","unstructured":"Runde, R.K., Refsdal, A., St\u00f8len, K.: Relating Computer Systems to Sequence Diagrams with Underspecification, Inherent Nondeterminism and Probabilistic Choice. Technical Report 346, Department of Informatics, University of Oslo (2007)"},{"key":"20_CR12","first-page":"33","volume-title":"Trust Management II \u2013 Proc. of 2nd Joint iTrust and PST Conference on Privacy, Trust Management and Security (IFIPTM)","author":"A. Refsdal","year":"2008","unstructured":"Refsdal, A., Solhaug, B., St\u00f8len, K.: A UML-based Method for the Development of Policies to Support Trust Management. In: Trust Management II \u2013 Proc. of 2nd Joint iTrust and PST Conference on Privacy, Trust Management and Security (IFIPTM), pp. 33\u201349. Springer, Heidelberg (2008)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Bandara, A.K., Lupu, E., Russo, A., Dulay, N., Sloman, M., Flegkas, P., Charalambides, M., Pavlou, G.: Policy Refinement for DiffServ Quality of Service Management. In: Proc. of 9th IFIP\/IEEE International Symposium on Integrated Network Management (IM 2005), pp. 469\u2013482 (2005)","DOI":"10.1109\/INM.2005.1440817"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/POLICY.2006.5","volume-title":"Proc. of 7th International Workshop on Policies for Distributed Systems and Networks (POLICY)","author":"J. Rubio-Loyola","year":"2006","unstructured":"Rubio-Loyola, J., Serrat, J., Charalambides, M., Flegkas, P., Pavlou, G.: A Functional Solution for Goal-Oriented Policy Refinement. In: Proc. of 7th International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 133\u2013144. IEEE CS Press, Los Alamitos (2006)"},{"key":"20_CR15","unstructured":"OASIS: eXstensible Access Control Markup Language (XACML) Version 2.1 (2005)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/32.824414","volume":"25","author":"E. Lupu","year":"1999","unstructured":"Lupu, E., Sloman, M.: Conflicts in Policy-based Distributed Systems Management. IEEE Transactions on Software Engineering\u00a025, 852\u2013869 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR17","first-page":"229","volume-title":"Proc. of 5th International Workshop on Policies for Distributed Systems and Networks (POLICY)","author":"A.K. Bandara","year":"2004","unstructured":"Bandara, A.K., Lupu, E.C., Moffet, J., Russo, A.: A Goal-based Approach to Policy Refinement. In: Proc. of 5th International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 229\u2013239. IEEE CS Press, Los Alamitos (2004)"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/POLICY.2005.38","volume-title":"Proc. of 6th International Workshop on Policies for Distributed Systems and Networks (POLICY)","author":"J. Rubio-Loyola","year":"2005","unstructured":"Rubio-Loyola, J., Serrat, J., Charalambides, M., Flegkas, P., Pavlou, G., Lafuente, A.L.: Using Linear Temporal Model Checking for Goal-oriented Policy Refinement Frameworks. In: Proc. of 6th International Workshop on Policies for Distributed Systems and Networks (POLICY), pp. 181\u2013190. IEEE CS Press, Los Alamitos (2005)"},{"key":"20_CR19","first-page":"72","volume-title":"Proc. of 3rd International Conference on Enterprise Distributed Object Computing (EDOC)","author":"P. Linington","year":"1999","unstructured":"Linington, P.: Options for Expressing ODP Enterprise Communities and Their Policies by Using UML. In: Proc. of 3rd International Conference on Enterprise Distributed Object Computing (EDOC), pp. 72\u201382. IEEE CS Press, Los Alamitos (1999)"},{"key":"20_CR20","unstructured":"International Telecommunication Union: Recommendation Z.120 \u2013 Message Sequence Chart (MSC) (1999)"},{"issue":"2","key":"20_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software & Systems Modeling\u00a07(2), 237\u2013252 (2008)","journal-title":"Software & Systems Modeling"},{"key":"20_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"20_CR23","unstructured":"Kr\u00fcger, I.H.: Distributed System Design with Message Sequence Charts. Ph.D thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2000)"},{"issue":"8","key":"20_CR24","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1109\/TSE.2006.82","volume":"32","author":"B. Sengupta","year":"2006","unstructured":"Sengupta, B., Cleaveland, R.: Triggered Message Sequence Charts. IEEE Transactions on Software Engineering\u00a032(8), 587\u2013607 (2006)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88313-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T10:54:15Z","timestamp":1738407255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88313-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883128","9783540883135"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88313-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}