{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:58:07Z","timestamp":1778299087966,"version":"3.51.4"},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"value":"9783540197522","type":"print"},{"value":"9781447135500","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3550-0_7","type":"book-chapter","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T02:45:38Z","timestamp":1357440338000},"page":"119-139","source":"Crossref","is-referenced-by-count":7,"title":["Refinement and Confidentiality"],"prefix":"10.1007","author":[{"given":"Colin","family":"O\u2019Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Michael Barr and Charles Wells, Category theory for computing science Prentice Hall International, 1990."},{"key":"7_CR2","unstructured":"Jim Davies and Steve Schneider, An Introduction to Timed CSP Technical Monograph PRG\u201375, Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford 0X1 3QD. ISBN 0902928\u201357\u20130, 1989."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and J. Meseguer, Security policies and security models, Proceedings 1982 IEEE Symposium on Security and Privacy, Oakland.","DOI":"10.1109\/SP.1982.10014"},{"key":"7_CR4","unstructured":"R. Goldblatt, Topoi, the categorial analysis of logic. North Holland, 1984"},{"key":"7_CR5","unstructured":"J. Graham-Cumming and J.W. Sanders, On the refinement of Non-Interference, Proceedings 1991 IEE Computer Security Foundations Workshop, IV. Franconia"},{"key":"7_CR6","unstructured":"C.A.R. Hoare, Communicating sequential processes, Prentice Hall International, ISBN 0\u201313\u2013153289\u20138. 1985"},{"key":"7_CR7","unstructured":"J.L Jacob, Security specifications, Proceedings 1988 IEEE Symposium on Security and Privacy, Oakland."},{"key":"7_CR8","unstructured":"J.L Jacob, Security refinement is not Ordinary refinement, Proceedings 1989 Workshop in Refinement Open University, Milton Keynes."},{"key":"7_CR9","volume-title":"Addison Wesley","author":"SS Properties","year":"1990","unstructured":"Specifying Security Properties, in C. A. R. Hoare, editor, Developments in Concurrency and Communication, (the proceedings of the Year of Programming Institute in Concurrent Programming), Addison Wesley, 1990"},{"key":"7_CR10","unstructured":"He Jifeng, Private communication 1989."},{"key":"7_CR11","unstructured":"J. Meseguer & U. Montanari, Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory. Proceedings of the IEEE Symposium On Logic In Computer Science 1988."},{"key":"7_CR12","unstructured":"C. Morgan, Programming from Specifications, Prentice Hall International, 1990."},{"key":"7_CR13","volume-title":"Proceedings of the European symposium on research in computer security, Toulouse, France","author":"Halloran","year":"1990","unstructured":"C.O\u2019Halloran, A Calculus of Information Flow, Proceedings of the European symposium on research in computer security, Toulouse, France, October 1990."},{"key":"7_CR14","unstructured":"C.O\u2019Halloran, Category theory and information flow applied to computer security, DPhil. thesis,Oxford University (Submitted 1991). C.O\u2019Halloran, A Calculus of Information Flow (specifying confidentiality requirements), RSRE Report No. 92001, 1992."},{"key":"7_CR15","volume-title":"Ccis","author":"Halloran","year":"1992","unstructured":"C.O\u2019Halloran, Boots, a secure CCIS RSRE Report No. 92002, 1992."}],"container-title":["Workshops in Computing","5th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3550-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T05:17:36Z","timestamp":1557465456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3550-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197522","9781447135500"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3550-0_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1992]]}}}