{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:20:27Z","timestamp":1737436827763,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665878"},{"type":"electronic","value":"9783540481195"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48119-2_40","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T01:23:00Z","timestamp":1188350580000},"page":"718-737","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Security Model for Microprocessor Hardware"],"prefix":"10.1007","author":[{"given":"Volkmar","family":"Lotz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Kessler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Walter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"40_CR1","series-title":"NTIS AD-A023588, MTR 2997, ESD-TR-75-306","doi-asserted-by":"crossref","DOI":"10.21236\/ADA023588","volume-title":"Secure Computer Systems: Unified Exposition and Multics Interpretation","author":"E. Bell","year":"1976","unstructured":"Bell, D. E., Len LaPadula. Secure Computer Systems: Unified Exposition and Multics Interpretation. NTIS AD-A023588, MTR 2997, ESD-TR-75-306, MITRE Corporation, Bedford, MA, 1976."},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Bell, D.E. Concerning \u201cModelling\u201d of Computer Security. Proc. of the IEEE Symp. on Security and Privacy 1988, 8\u201313.","DOI":"10.1109\/SECPRI.1988.8093"},{"key":"40_CR3","series-title":"NTIS AD-A039 324, MTR 3153,ESD-TR-76-372","volume-title":"Integrity Considerations for Secure Computer Systems","author":"K.J. Biba","year":"1977","unstructured":"Biba, K.J. Integrity Considerations for Secure Computer Systems. NTIS AD-A039 324, MTR 3153,ESD-TR-76-372, MITRE Corporation, Bedford, MA, 1977."},{"key":"40_CR4","unstructured":"Broy, M. Towards a Logical Basis for Systems Engineering. Working Material of the 1998 Marktoberdorf Summer School on Calculational System Design 1998. Also to appear in: Broy, M.(ed.) Calculational System Design.Springer Verlag, NATO ASI Series F."},{"key":"40_CR5","unstructured":"Clark, D.C., D.R. Wilson. Evolution of a Model for Computer Integrity. Report of the Invitational Workshop on Data Integrity, NIST Publ. 500\u2013168, 1989, Sect. A2, 1-3."},{"key":"40_CR6","first-page":"236","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E. A Lattice Model of Secure Information Flow. Comm. ACM Vol. 19, No. 5 (1976), 236\u2013243.","journal-title":"A Lattice Model of Secure Information Flow"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., J. Meseguer. Security Policies and Security Models. Proc. of the IEEE Symp. on Security and Privacy 1982, 11\u201320.","DOI":"10.1109\/SP.1982.10014"},{"key":"40_CR8","unstructured":"Commission of the European Communities. Information Technology Security Evaluation Criteria (ITSEC). June 1991"},{"key":"40_CR9","series-title":"Proc. of the 2nd European Symposium on Research in Computer Security","first-page":"41","volume-title":"On the Chinese Wsll Model","author":"Volker Kessler","year":"1999","unstructured":"Kessler, Volker. On the Chinese Wall Model. Proc. of the 2nd European Symposium on Research in Computer Security (ESORICS 92) Toulouse, Springer LNCS 648, 41\u201354."},{"key":"40_CR10","unstructured":"Kessler, Volker, und Sibylle Mund. Sicherheitsmodelle-Baupl\u00e4ne f\u00fcr die Entwick lung sicherer Systeme. Siemens AG, Zentralabteilung Forschung und Entwicklung, M\u00fcnchen 1993."},{"key":"40_CR11","unstructured":"Lotz, Volkmar, Volker Kessler, Georg Walter. Ein formales Sicherheitsmodell. Part of the evaluation documentation (internal paper), 1999."},{"key":"40_CR12","doi-asserted-by":"crossref","unstructured":"McLean, John. Reasoning about Security Models. Proc. of the IEEE Symp. on Security and Privacy 1987, 123\u2013131.","DOI":"10.21236\/ADA465058"},{"key":"40_CR13","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"L.C. Paulson","year":"1998","unstructured":"Paulson, L.C. The inductive approach to verifying cryptographic protocols. J. Computer Security 6, 1998, 85\u2013128.","journal-title":"J. Computer Security"},{"key":"40_CR14","unstructured":"Schneider, S. Security Properties and CSP. Proc. of the IEEE Symp. on Security and Privacy 1996."},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"Terry, P., S. Wiseman. A \u201cNew\u201d Security Policy Model. Proc. of the IEEE Symp. on Security and Privacy 1989, 215\u2013228.","DOI":"10.1109\/SECPRI.1989.36296"},{"key":"40_CR16","unstructured":"Thomas, Wolfgang. Automata on Infinite Objects. in: van Leeuwen, Jan (ed.). Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48119-2_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:27:37Z","timestamp":1737397657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48119-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665878","9783540481195"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48119-2_40","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"17 September 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}