{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:04:49Z","timestamp":1743077089727,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009476"},{"type":"electronic","value":"9783319009483"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-00948-3_2","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T01:16:13Z","timestamp":1374196573000},"page":"17-31","source":"Crossref","is-referenced-by-count":0,"title":["On Formalising Policy Refinement in Grid Virtual Organisations"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Aziz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B Book. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.R. (ed.): Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"Abrial, J.-R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 83\u2013128. Springer, Heidelberg (1998)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.12.016","volume":"197","author":"A. Arenas","year":"2008","unstructured":"Arenas, A., Aziz, B., Bicarregui, J., Matthews, B.: Managing conflicts of interest in virtual organisations. Electron. Notes Theor. Comput. Sci.\u00a0197(2), 45\u201356 (2008), http:\/\/dx.doi.org\/10.1016\/j.entcs.2007.12.016 , doi:10.1016\/j.entcs.2007.12.016","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR5","unstructured":"Arenas, A.E., Djordjevic, I., Dimitrakos, T., Titkov, L., Claessens, J., Geuer-Pollmann, C., Lupu, E.C., Tiptuk, N., Wesner, S., Schubert, L.: Toward web services profiles for trust and security in virtual organisations. In: Collaborative Networks and their Breeding Environments (PRO-VE 2005). Springer (2005)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Back, R.J., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer (1998)","DOI":"10.1007\/978-1-4612-1674-2"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R.J. Back","year":"1996","unstructured":"Back, R.J., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing\u00a08(3), 324\u2013346 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Bandara, A.K., Lupu, E.C., Moffett, J., Russo, A.: A goal-based approach to policy refinement. In: Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004. IEEE (2004)","DOI":"10.1109\/POLICY.2004.1309175"},{"key":"2_CR9","unstructured":"Brewer, D., Nash, M.: The chinese wall policy. In: IEEE Symposium on Research in Security and Privacy. IEEE (1989)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0166-3615(03)00033-2","volume":"51","author":"L.M. Camarihna-Matos","year":"2003","unstructured":"Camarihna-Matos, L.M., Afsarmanesh, H.: Elements of a ve infrastructure. Journal of Computers in Industry\u00a051(2), 139\u2013163 (2003)","journal-title":"Journal of Computers in Industry"},{"key":"2_CR11","unstructured":"Camarihna-Matos, L.M., Afsarmanesh, H., Ollus, M.: Ecolead: A holistic approach to creation and management of dynamic virtual organizations. In: Collaborative Networks and their Breeding Environments (PRO-VE 2005). Springer (2005)"},{"key":"2_CR12","unstructured":"Consortium, R.: Event B Language. Technical Report, Deliverable D7 (2005), http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/rodinD10.pdf"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. International Journal of Supercomputer Applications\u00a015(3) (2001)","DOI":"10.1177\/109434200101500302"},{"key":"2_CR14","first-page":"111","volume-title":"Proceedings of the 2006 Conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering","author":"D. Golby","year":"2006","unstructured":"Golby, D., Wilson, M., Schubert, L., Geuer-Pollmann, C.: An assured environment for collaborative engineering using web services. In: Proceedings of the 2006 Conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering, pp. 111\u2013119. IOS Press, Amsterdam (2006), http:\/\/dl.acm.org\/citation.cfm?id=1566652.1566674"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Janowski, T., Lugo, G.G., Hongjun, Z.: Composing enterprise models: The extended and the virtual enterprise. In: Proceedings of the Third IEEE\/IFIP International Conference on Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations. IEEE (1998)","DOI":"10.1007\/978-0-387-35390-6_16"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Moffett, J.D., Sloman, M.S.: Policy hierarchies for distributed system management. IEEE Journal of Selected Areas in Communications, Special Issue on Network Management\u00a011(9) (1993)","DOI":"10.1109\/49.257932"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Morin, C.: Xtreemos: A grid operating sytem making your computer ready for participating in virtual organizations. In: 10th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC 2007). IEEE (2007)","DOI":"10.1109\/ISORC.2007.62"},{"issue":"1","key":"2_CR18","first-page":"9","volume":"1","author":"Z. N\u00e9meth","year":"2003","unstructured":"N\u00e9meth, Z., Sunderam, V.S.: Characterizing grids: Attributes, definitions, and formalisms. Characterizing Grids: Attributes, Definitions, and Formalisms\u00a01(1), 9\u201323 (2003)","journal-title":"Characterizing Grids: Attributes, Definitions, and Formalisms"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"2_CR20","unstructured":"RODIN Consortium: Specification of basic tools and platforms. Technical Report, Deliverable D10 (2005), http:\/\/rodin.cs.ncl.ac.uk\/deliverables\/rodinD10.pdf"},{"issue":"4","key":"2_CR21","first-page":"279","volume":"3","author":"S. Dexter","year":"1997","unstructured":"Dexter, S., Doyle, P., Gurevich, Y.: Abstract state machines and schoenhage storage modification machines. Journal of Universal Computer Science\u00a03(4), 279\u2013303 (1997)","journal-title":"Journal of Universal Computer Science"},{"key":"2_CR22","unstructured":"Su, L., Chadwick, D.W., Basden, A., Cunningham, J.A.: Automated decomposition of access control policies. In: Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005. IEEE (2005)"},{"key":"2_CR23","unstructured":"Wasson, G., Marty, H.: Toward explicit policy management for virtual organisations. In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2003 (2003)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00948-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T09:22:08Z","timestamp":1688376128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00948-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319009476","9783319009483"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00948-3_2","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}