{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:41:14Z","timestamp":1743046874355,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540586180"},{"type":"electronic","value":"9783540490340"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58618-0_57","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:38:28Z","timestamp":1330274308000},"page":"75-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Security through type analysis"],"prefix":"10.1007","author":[{"given":"C.","family":"O'Halloran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. T.","family":"Sennett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"5_CR1","series-title":"NPL report DITC","volume-title":"Insecurities in the Ada programming language","author":"B. A. Wichmann","year":"1989","unstructured":"B. A. Wichmann, Insecurities in the Ada programming language, NPL report DITC 137\/89, National Physical Laboratory, Teddington 1989."},{"key":"5_CR2","unstructured":"K. A. Nyberg, The annotated Ada reference manual (2nd edition), Grebyn corporation, 1992."},{"key":"5_CR3","unstructured":"C.O'Halloran, BOOTS, a secure CCIS., DRA, Malvern Report 92002 1992."},{"key":"5_CR4","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":"5_CR5","unstructured":"J. Jacob, Specifying Security Properties, in Developments in Concurrency and Communication C. A. R. Hoare, editor. The Proceedings of the Year of Programming Institute in Concurrent Programming), Addison Wesley, 1990"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating sequential processes, Prentice Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR7","unstructured":"C.O'Halloran, A Calculus of Information Flow (specifying confidentiality requirements), DRA, Malvern Report 92001 1992."},{"key":"5_CR8","unstructured":"TDF Specification, available from Dr. N. Peeling, N101, DRA Malvern, St. Andrews Rd., Malvern, Worcs. WR14 3PS, UK."},{"key":"5_CR9","unstructured":"C.O'Halloran, Category theory and information flow applied to computer security, DPhil thesis, Oxford University 1993."}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 94"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58618-0_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:14:41Z","timestamp":1640938481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58618-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586180","9783540490340"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58618-0_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}