{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:22Z","timestamp":1720624942214},"reference-count":11,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80823-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"261-266","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Information Systems Research and Development at CCLRC"],"prefix":"10.1016","volume":"80","author":[{"given":"Juan C.","family":"Bicarregui","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Towards Dynamic population management of abstract machines in the B method, N. Aguirre, J.C. Bicarrregui, T. Dimitrakos and T. Maibaum, The third international conference of B and Z users, Turku, Finland, June 2003.","DOI":"10.1007\/3-540-44880-2_31"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Do Not Read This, J. C. Bicarregui, International Symposium of Formal Methods Europe, FME 2002: Formal Methods - getting IT right, Lars-Henrik Erikson and Peter Alexander Lindsay (Eds), Lecture Notes in Computer Science, LNCS (2391) p. 106\u2013125 Springer-Verlag, Copenhagen, (July 2002)","DOI":"10.1007\/3-540-45614-7_7"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Brinkley, Bushwell, Matthews, Miller, Reynolds, Wilson; SWAD-Europe: Semantic Web Advanced development in Europe, First International Semantic Web Conference, Sardinia, LNCS, Springer-Verlag, 2002.","DOI":"10.1007\/3-540-48005-6_33"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Policy-Driven Access Control over a Distributed Firewall Architecture, Theo Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris Phillips, Policy 2002: IEEE 3rd International Workshop on Policies for Distributed Systems and Networks, IEEE-CS, Monterey, California, U.S.A., (June 2002)","DOI":"10.1109\/POLICY.2002.1011314"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"The CORAS Approach for a Model-based Risk Management Process Fredriksen, Kristiansen, Gran, Stolen, Opperud, Dimitrakos, 21st International Conference on Computer Safety, Reliability and Security, (SAFECOMP 2002) LNCS, Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45732-1_11"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB6","unstructured":"Towards A Framework for Managing Trust in e-Services, Theo Dimitrakos, Juan Bicarregui, Proceedings of the Fourth International Conference on Electronic Commerce Research, ATSMA, IFIP, INFORMS 2 p. 360\u2013381 Bezalel Gavish (Eds), Dallas, Texas, USA, (ISBN 0-9716253-0-1), (November 2001)"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB7","unstructured":"The CLRC Data Portal, John V Ashby, Juan C Bicarregui, David R S Boyd, Kerstin Kleese, Simon C Lambert, Brian M Matthews, Kevin D O'Neill, British National Conference on Databases (BNCOD) (July 2001)"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB8","unstructured":"Towards Modelling e-Trust, Theo Dimitrakos, Juan Bicarregui, 3rd Panhellenic Symposium on Logic, Anogia academic village, Crete, Greece, (July 2001)"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB9","doi-asserted-by":"crossref","unstructured":"A Multidisciplinary Scientific Data Portal, J V Ashby, J C Bicarregui, D R S Boyd, K Kleese, S C Lambert, B M Matthews, K D O'Neill, High Performance Computing and Networking, 2110, p. 13\u201322 Hertzberger, Hoekstra and Williams (Eds), Lecture Notes in Computer Science, Springer, Heidelberg, (June 2001)","DOI":"10.1007\/3-540-48228-8_2"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Interpolation in Practical Formal Development Logic, Theo Dimitrakos, Juan Bicarregui, Tom Maibaum, Dov Gabbay, Journal of the IGPL 9 (2) p. 231\u2013243 Oxford University Press, (March 2001)","DOI":"10.1093\/jigpal\/9.2.231"},{"key":"10.1016\/S1571-0661(04)80823-5_NEWBIB11","unstructured":"Compositional Structuring in the B-method: a logical viewpoint of the static context, J. Bicarregui, T. Dimitrakos, B. Matthews, T. Maibaum, ZB2000, International Conference of B and Z Users, 29 August-2 September, York, UK (2000)."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808235?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808235?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:13:09Z","timestamp":1585897989000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":11,"alternative-id":["S1571066104808235"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80823-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}