{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:21:18Z","timestamp":1725643278666},"publisher-location":"London","reference-count":30,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196464"},{"type":"electronic","value":"9781447131786"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-1-4471-3178-6_12","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T07:53:50Z","timestamp":1323849230000},"page":"173-187","source":"Crossref","is-referenced-by-count":3,"title":["An Object-Oriented Approach to Support System Reliability and Security"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Kaiser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Fault Injection For Dependability Validation: A Methodology and some Applications","author":"J Arlat","year":"1989","unstructured":"J.Arlat, M.Aguera, L.Amat, Y.Crouzet, J.-C.Fabre, J.-C.Laprie, E.Martins, D.Powell Fault Injection For Dependability Validation: A Methodology and some Applications LAAS Research Report No.89-124, Toulouse, 1989"},{"key":"12_CR2","volume-title":"Garbage Collection in an Object-Oriented System","author":"GT Almes","year":"1980","unstructured":"G.T.Almes Garbage Collection in an Object-Oriented System PhD thesis, CMU,1980"},{"key":"12_CR3","volume-title":"Generic Virtual Memory Management for Operating System Kernels","author":"V Abrassimov","year":"1989","unstructured":"V.Abrassimov, M.Rozier, M.Shapiro Generic Virtual Memory Management for Operating System Kernels Proc. 12th SOSP, Litchfield Park, Arizona, 1989"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Berstis: Security and Protection of Data in the IBM System\/38 Proc. of the 7th Int. Symp. on Computer Architecture, 1980","DOI":"10.1145\/800053.801932"},{"key":"12_CR5","volume-title":"Computer Program Testing","author":"TA Budd","year":"1981","unstructured":"T.A.Budd Mutation Analysis: Ideas, Examples, Problems and Prospects in: B.Chandrasekaran, S.Radicci (eds.) Computer Program Testing North-Holland, Sogesta, 1981"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/35037.35038","volume":"6","author":"RP Colwell","year":"1988","unstructured":"R.P.Colwell, E.F.Gehringer, E.D.Jense Performance effects of Architectural Complexity in the Intel 432 ACM Trans.on Comp.Systems, Vol. 6,No. 3, 1988","journal-title":"ACM Trans. on Comp.Systems"},{"key":"12_CR7","volume-title":"A Capability Oriented Multiprocessor Operating System for Real-Time Aplications","author":"C Cosserat","year":"1972","unstructured":"C.Cosserat A Capability Oriented Multiprocessor Operating System for Real-Time Aplications Proc. First Int. Conf. Comp. Comm., 1972"},{"key":"12_CR8","volume-title":"Entwurf eines Translation Lookaside Buffers f\u00fcr objektorientierte Architekturen","author":"C Czaja","year":"1987","unstructured":"C.Czaja Entwurf eines Translation Lookaside Buffers f\u00fcr objektorientierte Architekturen GMD-Studie Nr. 117, Birlinghoven, 1987"},{"key":"12_CR9","volume-title":"An Extended Overview of the Mothra Software Testing Environment","author":"RA DeMillo","year":"1988","unstructured":"R.A.DeMillo, D.S.Guindi, K.N. King An Extended Overview of the Mothra Software Testing Environment 2nd Workshop on Software Testing, Verification, and Analysis, Banff,Cananda, 1988"},{"key":"12_CR10","volume-title":"Trusted Computer Evaluation Criteria DOD 5200.28-STD","author":"Dept. of Defense","year":"1985","unstructured":"Dept. of Defense: Trusted Computer Evaluation Criteria DOD 5200.28-STD, Dept. of Defense, 1985"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/858344.858349","volume":"23","author":"L Gong","year":"1989","unstructured":"L.Gong On Security in Capability Based Systems Operating Systems Review, Vol.23, No.2, 1989","journal-title":"Operating Systems Review"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"A.K.Jones, RJ.Chansler, I.Durham, K.Schwans, S.R.Vegdahl StarOS, a Multiprocessor Operating System for the Support of Task Forces Proc. 7th Symp. Operating system Principles, 1979","DOI":"10.1145\/800215.806579"},{"key":"12_CR13","unstructured":"iAPX 432 General Data Processor Architecture Ref. Manual Intel Corp., Aloha, Oregon, 1981"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/40.87524","volume":"8","author":"J Kaiser","year":"1988","unstructured":"J. Kaiser MUTABOR, A Coprocessor Supporting Memory Management in an Object-Oriented Architecture IEEE Micro, Vol. 8, No. 5, October 1988","journal-title":"IEEE Micro"},{"key":"12_CR15","volume-title":"The MONADS-PC System: A Programmers Overview","author":"JL Keedy","year":"1989","unstructured":"J.L.Keedy The MONADS-PC System: A Programmer\u2019s Overview Tech.Report No. 8\/89, Bremen, 1989"},{"key":"12_CR16","volume-title":"The RelaX Transactional Object Management System","author":"R Kr\u00f6ger","year":"1990","unstructured":"R.Kr\u00f6ger, M.Mock, R.Schumann The RelaX Transactional Object Management System Int. Workshop on Comp. Arch, to Support Security and Persistence, Bremen, 1990"},{"key":"12_CR17","volume-title":"MUTABOR: A Coprocessor supporting Object-Oriented Memory Management and Error Recovery","author":"J Kaiser","year":"1988","unstructured":"J.Kaiser, E.Nett, R.Kr\u00f6ger MUTABOR: A Coprocessor supporting Object-Oriented Memory Management and Error Recovery Proc. HICSS-21, Vol. 1, 1988"},{"key":"12_CR18","volume-title":"Operating System Review","author":"CR Landau","year":"1989","unstructured":"C.R.Landau Security in a Secure Capability-Based System Operating System Review, 1989"},{"key":"12_CR19","first-page":"2","volume-title":"Dependable Computing and Fault-Tolerance: Concepts and Terminolody","author":"J-C Laprie","year":"1985","unstructured":"J.-C. Laprie Dependable Computing and Fault-Tolerance: Concepts and Terminolody Proc. FTCS-15, Ann Arbor, Michigan, June 1985 pp. 2\u201311"},{"key":"12_CR20","volume-title":"Linguistic Support For Robust Distributed Programs","author":"S Liskov","year":"1983","unstructured":"Liskov, Scheifler Guardians and Actions: Linguistic Support For Robust Distributed Programs Proc. 9th ACM Symp. on OS Principles, Bretton Woods, 1983"},{"key":"12_CR21","volume-title":"Advances in Computer Architecture","author":"GJ Myers","year":"1982","unstructured":"G. J.Myers Advances in Computer Architecture 2nd Ed., John Wiley&Sons,1982"},{"key":"12_CR22","volume-title":"The Cambrigde CAP Computer and Its Protection System","author":"RM Needham","year":"1977","unstructured":"R.M. Needham, R.D.H. Walker The Cambrigde CAP Computer and Its Protection System Proc. 6th Symp. OS Principles, 1977"},{"key":"12_CR23","volume-title":"On the PSOS Design Concept","author":"PG Neumann","year":"1983","unstructured":"P.G. Neumann On the PSOS Design Concept In: P.G.Neumann, J.A.Goguen, K.N.Levitt, P.M.Melliar-Smith, J.Meseguer, R.L.Schwartz, R.E.Shostak Technology for provable Secure Systems Final Report: PSOS Implementation Study, SRI, 1983"},{"key":"12_CR24","volume-title":"The Multics System: An examination of its structure","author":"EI Organick","year":"1972","unstructured":"E.I. Organick The Multics System: An examination of its structure MIT Press, Cambridge, MA,1972"},{"key":"12_CR25","volume-title":"The HDM Handbook SRI Project 4828","author":"L Robinson","year":"1979","unstructured":"L. Robinson The HDM Handbook SRI Project 4828, June 1979"},{"issue":"8","key":"12_CR26","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1109\/12.2242","volume":"37","author":"R Rashid","year":"1988","unstructured":"R.Rashid, A.Tevanian, M.Young, D.Young, R.Baron, D.Black, W.Boloski, J.Chew Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures IEEE Transactions on Computers, 37 (8),pp 896\u2013908, 1988","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR27","volume-title":"Using Sparse Capabilities in a distributed operating system","author":"AS Tanenbaum","year":"1986","unstructured":"A.S.Tanenbaum, S.J.Mullender, R.van Renesse Using Sparse Capabilities in a distributed operating system Proc. 6th IEEE Int. Conf. on Distrib. Comp.Systems, Cambridge,MA, 1986"},{"key":"12_CR28","unstructured":"Weitek WTL7138 System Designer\u2019s Note Weitek Corp., Sunnyvale CA, 1986"},{"key":"12_CR29","volume-title":"HYDRA\/C.mmp: An Experimental System","author":"WA Wulf","year":"1981","unstructured":"W.A.Wulf, R.Levin,S.P.Harbison HYDRA\/C.mmp: An Experimental System McGraw-Hill,1981"},{"key":"12_CR30","volume-title":"The Cambridge CAP Computer and its Operating System","author":"M Wilkes","year":"1979","unstructured":"M.Wilkes, R.Needham The Cambridge CAP Computer and its Operating System North Holland 1979"}],"container-title":["Workshops in Computing","Security and Persistence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3178-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T22:29:04Z","timestamp":1561069744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3178-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540196464","9781447131786"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3178-6_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1990]]}}}