{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:25Z","timestamp":1725456325435},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632320"},{"type":"electronic","value":"9783540692379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027918","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:46:12Z","timestamp":1132641972000},"page":"102-113","source":"Crossref","is-referenced-by-count":0,"title":["ProtectOS: Operating system and hardware support for small objects"],"prefix":"10.1007","author":[{"given":"John","family":"Holford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Mohay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"10_CR1","unstructured":"Armstrong J.C.: Leak detector shoot-out, in Advanced Systems, October (1994) 56\u201362. (www.parasoft.com\/insure\/info.insure.html)"},{"key":"10_CR2","volume-title":"High-integrity Software","author":"B. Carr\u00e8","year":"1989","unstructured":"Carr\u00e8 B.: Reliable programming in standard languages, in High-integrity Software, (Sennett C.T., ed), Pitman Publishing, London, (1989)."},{"key":"10_CR3","unstructured":"Colwell R.P., Hitchcock C.Y., Jensen E.D., Sprunt H.M.B., Kollar C.P.: Computers, Complexity and Controversy, in Computer Vol 18, No 9 (1985)."},{"key":"10_CR4","volume-title":"Microprocessors, Volume 1","author":"Intel Corporation","year":"1992","unstructured":"Intel Corporation, Microprocessors, Volume 1, Intel Corporation, Mt Prospect, (1992)."},{"key":"10_CR5","unstructured":"Kahn, K.C., etal.: iMax: A Multiprocessor Operating System for an Object-Based Computer, Proceedings of the Eight Symposium on Operating Systems Principles, Pacific Grove, California, SIGOPS ACM, Vol.15 No.5, (1981)."},{"key":"10_CR6","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-oriented Software Construction, Prentice Hall, Herfordshier, (1988)."},{"key":"10_CR7","unstructured":"Microsoft Corporation: Microsoft Windows Programmer's Reference Manual, Microsoft Press, Part No. PC 28915-0492."},{"issue":"No1","key":"10_CR8","first-page":"253","volume":"15","author":"G. Mohay","year":"1993","unstructured":"Mohay, G., Caelli, W., Gough, K.J., Holford, J., Low, G.: CASS \u2014 Computer Architecture for Secure Systems, Proceedings of the Sixteenth Australian Computer Science Conference (ACSC-16), Brisbane, Queensland, ACS Communications, Vol 15 No 1, (1993) 253\u2013263.","journal-title":"ACS Communications"},{"key":"10_CR9","unstructured":"Nelson, T.: Finding Run-time Memory Errors, in DDJ Magazine, Vol 18, Issue 12 (1993)."},{"key":"10_CR10","unstructured":"Pure Software Inc.: Purify Data Sheet, www.mnl.com\/pure\/purify\/PYdatasheet.html, (1995)."},{"key":"10_CR11","volume-title":"The Role of Programming Languages in the Life-Cycle of Safe Systems","author":"C. Szyperski","year":"1995","unstructured":"Szyperski, C., Gough, K.J., The Role of Programming Languages in the Life-Cycle of Safe Systems, Proceedings of the Safety through Quality Conference, NASA, Florida (1995)."},{"key":"10_CR12","unstructured":"Watson, G.: Debug Malloc Library Manual, Letters Corporation (1994)."}],"container-title":["Lecture Notes in Computer Science","Information Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T05:53:58Z","timestamp":1549346038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632320","9783540692379"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0027918","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}