{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:11:56Z","timestamp":1778263916406,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":19,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-5906-5_646","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:50:14Z","timestamp":1319709014000},"page":"1038-1040","source":"Crossref","is-referenced-by-count":4,"title":["Reference Monitor"],"prefix":"10.1007","author":[{"given":"Trent","family":"Jaeger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"646_CR1_646","first-page":"14","volume":"16","author":"SA Ames","year":"1983","unstructured":"Ames SA, Gasser M, Schell RR (1983) Security kernel design and implementation: an introduction. IEEE Comp 16(7): 14\u201322","journal-title":"IEEE Comp"},{"key":"646_CR2_646","unstructured":"Anderson JP (1972) Computer security technology planning study. Technical report ESD-TR-73-51, http:\/\/seclab.cs.ucdavis.edu\/projects\/history\/, The Mitre Corporation, Air Force Electronic Systems Division, Hanscom AFB, Badford. Volumes I and\u00a0II"},{"key":"646_CR3_646","volume-title":"Access mediation in a message passing kernel","author":"M Branstad","year":"1989","unstructured":"Branstad M, Tajalli H, Mayer FL, Dalva D (1989) Access mediation in a message passing kernel. In: Proceedings of the 1989 IEEE Symposium on Security and Privacy, Oakland, CA"},{"issue":"7","key":"646_CR4_646","first-page":"26","volume":"16","author":"LJ Fraim","year":"1983","unstructured":"Fraim LJ (1983) SCOMP: a solution to the multilevel security problem. IEEE Comp 16(7):26\u201334","journal-title":"IEEE Comp"},{"key":"646_CR5_646","unstructured":"Gasser M (1988) Building a secure computer system. Van Nostrand Reinhold, New York. http:\/\/cs.unomaha.edu\/~stanw\/gasserbook.pdf"},{"key":"646_CR6_646","unstructured":"Irvine C (1999) The reference monitor concept as a unifying principle in computer security education. In: Proceedings of the 1st world conference on information systems security education, Kista, Sweden, June\u00a01999"},{"key":"646_CR7_646","volume-title":"Operating system security","author":"T Jaeger","year":"2008","unstructured":"Jaeger T (2008) Operating system security. Morgan & Claypool, San Rafael, CA"},{"issue":"2","key":"646_CR8_646","first-page":"175","volume":"7","author":"T Jaeger","year":"2004","unstructured":"Jaeger T, Edwards A, Zhang X (2004) Consistency analysis of authorization hook placement in the Linux security modules framework. ACM Trans Inform Syst Sec (TISSEC) 7(2): 175\u2013205","journal-title":"ACM Trans Inform Syst Sec (TISSEC)"},{"issue":"11","key":"646_CR9_646","first-page":"1147","volume":"17","author":"PA Karger","year":"1991","unstructured":"Karger PA, Zurko ME, Bonin DW, Mason AH, Kahn CE (1991) A retrospective on the VAX VMM security kernel. IEEE Trans Softw Eng 17(11):1147\u20131165","journal-title":"IEEE Trans Softw Eng"},{"key":"646_CR10_646","unstructured":"Loscocco PA, Smalley SD, Muckelbauer PA, Taylor RC, Turner SJ, Farrell JF (1998) The inevitability of failure: the awed assumption of security in modern computing environments. In: Proceedings of the 21st National Information Systems Security Conference, Arlington, VA, pp 303\u2013314, October\u00a01998"},{"key":"646_CR11_646","unstructured":"Minear SE (1995) Providing policy control over object operations in a Mach-based system. In: Proceedings of the 5th USENIX Security Symposium, Salt Lake City, UT, pp 141\u2013156"},{"key":"646_CR12_646","volume-title":"Designing the GEMSOS security kernel for security and performance","author":"R Schell","year":"1985","unstructured":"Schell R, Tao T, Heckman M (1985) Designing the GEMSOS security kernel for security and performance. In: Proceedings of the National Computer Security Conference, Baltimore, MD"},{"key":"646_CR13_646","first-page":"25","volume-title":"Engineering a security kernel for Multics","author":"MD Schroeder","year":"1975","unstructured":"Schroeder MD (1975) Engineering a security kernel for Multics. In: Proceedings of the Fifth ACM Symposium on Operating Systems Principles, Austin, TX, pp\u00a025\u201332"},{"key":"646_CR14_646","unstructured":"Schroeder MD, Clark DD, Saltzer JH, Wells D (1978) Final report of the MULTICS kernel design project. Technical report MIT-LCS-TR-196, MIT, March\u00a01978"},{"key":"646_CR15_646","unstructured":"Sun Microsystems. Trusted Solaris 8 Operating System. http:\/\/www.sun.com\/software\/solaris\/trustedsolaris\/,February2006"},{"key":"646_CR16_646","unstructured":"Tan L, Zhang X, Ma X, Xiong W, Zhou Y (2008) AutoISES: automatically inferring security specifications and detecting violations. In: Proceedings of the 17th USENIX Security Symposium, USENIX Association, San Jose, CA, pp 379\u2013394"},{"key":"646_CR17_646","unstructured":"Trusted Computer System Evaluation Criteria (Orange Book). Technical report DoD 5200.28-STD, U.S. Department of Defense, December\u00a01985"},{"key":"646_CR18_646","unstructured":"Wright C, Cowan C, Smalley S, Morris J, Kroah-Hartman G (2002) Linux security modules: general security support for the Linux kernel. In: Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, pp 17\u201331, August\u00a02002"},{"key":"646_CR19_646","unstructured":"Zhang X, Edwards A, Jaeger T (2002) Using CQUAL for static analysis of authorization hook placement. In: Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, pp 33\u201348, August\u00a02002"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_646","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:57:10Z","timestamp":1778263030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_646","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}