{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T05:08:23Z","timestamp":1761973703326,"version":"build-2065373602"},"publisher-location":"Wiesbaden","reference-count":32,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783663059196"},{"type":"electronic","value":"9783663059189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-663-05918-9_1","type":"book-chapter","created":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T19:04:26Z","timestamp":1367521466000},"page":"1-17","source":"Crossref","is-referenced-by-count":27,"title":["Die PERSEUS Systemarchitektur"],"prefix":"10.1007","author":[{"given":"Birgit","family":"Pfitzmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riordan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"St\u00fcble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Waidner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnd","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"J. Adams: The Future of War. In World Markets Research Centre (ed.): Business Briefing: Global Info Security. London 2000, S. 19\u201324."},{"key":"1_CR2","first-page":"65","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"DJ Farber","year":"1997","unstructured":"W.A. Arbaugh, D. J. Farber, J. M. Smith: A Secure and Reliable Bootstrap Architecture. In Proceedings of the IEEE Symposium on Security and Privacy, 1997, S. 65\u201371."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Baur, Plasa, Kejwal, Drexel, Reif, Stephan, Wolpers, Hutter, Sengler und Canver: The Verification Support Environment VSE. In IFA Symposium on Safety, Security and Reliability of Computers 1992.","DOI":"10.1016\/B978-0-08-041893-3.50016-1"},{"key":"1_CR4","first-page":"267","volume":"SOSP-15","author":"S Savage","year":"1996","unstructured":"Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers und Susan Eggers: Extensibility, safety and performance in the SPIN operating system. Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), 1996, S. 267\u2013284.","journal-title":"Proceedings of the 15th ACM Symposium on Operating System Principles"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"P. C. Clark: BITS: A Smartcard Protected Operating System. PhD thesis, George Washington University, 1994.","DOI":"10.1145\/188280.188371"},{"key":"1_CR6","unstructured":"Judy Crow, Sam Owre, John Rushby, Natarajan Shankar und Mandayam Srivas: A tutorial introduction to PUS. Workshop on Industrial-Strength Formal Specification Techniques (WIFT\u201995) 1995."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"F. J. Corbato und V. A. Vyssotsky: Introduction and overview of the Multics system, Joint Computer Conference 1965.","DOI":"10.1145\/1463891.1463912"},{"issue":"7","key":"1_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.1983.1654440","volume":"16","author":"LJ Fraim","year":"1983","unstructured":"Lester J. Fraim: Scomp: A Solution to the Multilivel Security Problem. IEEE Computer 16:7 1983, S.26\u201334.","journal-title":"IEEE Computer"},{"key":"1_CR9","unstructured":"M. Gasser: Building a Secure Operating System Van Nostrand Reinold Company 1988."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedke, Kevin J. Elphistone, Volkmar Uhlig, Jonathon E. Tidswell, Luke Deller und Lars Reuter: The SawMill multiverver approach ACM SIGOPS European Woorkshop 2000.","DOI":"10.1145\/566726.566751"},{"key":"1_CR11","unstructured":"Hermann H\u00e4rtig, Michael Hohmuth und Jean Wolter: Taming Linux Proc. 5th Australian Conference on Parallel and Real-Time Systems (PART) 1998."},{"key":"1_CR12","unstructured":"Michael Hohmuth: Linux Emulation auf einem Mikrokern Diplomarbeit Dresden University of Technology 1996."},{"key":"1_CR13","unstructured":"Michael Hohmuth: The Fiasco kernel, requirements definition Technical Report ISSN 1430\u2013211X, Dresden University of Technology 1998."},{"issue":"1","key":"1_CR14","first-page":"5","volume":"2","author":"O Kowalski","year":"1993","unstructured":"Hermann H\u00e4rtig, O. Kowalski und W. E. K\u00fchnhauser: The Birlix Security Architecture Journal of Computer Security 2:1 1993 S. 5\u201321.","journal-title":"Journal of Computer Security"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Christian Jacobi und Daniel Kr\u00f6ning: Proving the correctness of a complete microprocessor Proceedings of the 30. Jahrestagung der Gesellschaft f\u00fcr Informatik 2000.","DOI":"10.1007\/978-3-642-58322-3_24"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"T. Jaeger, A. Prakash, J. Liedke und N. Islam: Flexible control of downloaded executable content ACM Transactions on Information and System Security 1999 S. 177\u2013228.","DOI":"10.1145\/317087.317091"},{"key":"1_CR17","unstructured":"Trent Jaeger, Kevin Elphinstone, Jochen Liedke, Vsevolod Panteleenko and Yoonho Park: Flexible access control using IPC redirection IEEE HotOS 1999."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Jochen Liedke: Clans and Chiefs 12. GI\/ITG Fachtagung 1992.","DOI":"10.1007\/978-3-642-77422-5_25"},{"key":"1_CR19","unstructured":"Jochen Liedke: L4 Reference Manual GMD\/IBM Watson Technical Report 1996."},{"key":"1_CR20","unstructured":"Peter A. Loscocco, Stephen D. Smalley, Patrick A. Muckelbauer, Ruth C. Taylor, S. Jeff Turner and John F. Farrel: The inevitability of failure: The flawed assumption of security in modern computer environments Technical Report National Security Agency 1998."},{"key":"1_CR21","unstructured":"Common Criteria Sponsoring Organisation: Common Criteria for Information Technology Security Evaluation 1999."},{"key":"1_CR22","unstructured":"Amon Ott: Rule Set Based Access Control as proposed in the \u201cGeneralized Framework for Access Control\u201d approach in Linux Master\u2019s thesis University Hamburg 1997."},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/2.566159","volume":"30","author":"B Pfitzmann","year":"1997","unstructured":"Andreas Pfitzmann, Birgit Pfitzmann, Matthias Schunter und Michael Waidner: Trusting mobile user devices and security modules IEEE Computer 30(2) 1997 S. 61\u201368.","journal-title":"IEEE Computer"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Jonathan S. Shapiro und Samuel Weber: Verifying the EROS confinement mechanism Proceedings of the IEEE Symposium on Research in Security and Privacy 2000 S. 166\u2013176.","DOI":"10.1109\/SECPRI.2000.848454"},{"key":"1_CR25","unstructured":"Jonathan Strauss Shapiro: EROS: A Capability System PhD thesis University of Pensylvania 1999."},{"key":"1_CR26","unstructured":"Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen und Jay Lepreau: The Flask security architecture: System support for diverse security policies Proceedings of the 8th USENIX Security Sympositum 1999 S. 123\u2013139."},{"key":"1_CR27","unstructured":"Christian St\u00f6ble: Development of a prototype of a security platform for mobile devices Master\u2019s thesis University of Dortmund 2000."},{"key":"1_CR28","unstructured":"Hendrik Tews: Case study in coalgebraic specification: Memory management in the Fiasco microkernel Technical Report TPG2\/1\/2000 Dresden University of Technology 2000."},{"key":"1_CR29","unstructured":"Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi und Godmar Back: Formal methods: A procatical tool for OS implementors Proceedings of the 6th IEEE Workshop on Hot Topics in Operating Systems 1997."},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"J. D. Tygar und Alma Whitten: WWW electronic commerce and Java trojan horses 2nd USENIX Workshop on Electronic Commerce 1996 S. 243\u2013250.","DOI":"10.1145\/248052.248054"},{"issue":"6","key":"1_CR31","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/355616.361015","volume":"17","author":"E Cohen","year":"1974","unstructured":"W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson und F. Pollack: Hydra: The kernel of a microprocessor operating system Communications of the ACM 17:6 1974 S. 337\u2013345.","journal-title":"Communications of the ACM"},{"key":"1_CR32","unstructured":"B. Yee: Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, 1994."}],"container-title":["Verl\u00e4ssliche IT-Systeme 2001"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-663-05918-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:03:39Z","timestamp":1746000219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-663-05918-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783663059196","9783663059189"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-663-05918-9_1","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}