{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:50Z","timestamp":1725557870850},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206934"},{"type":"electronic","value":"9783540409816"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40981-6_1","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:17:45Z","timestamp":1277234265000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Lifting Reference Monitors from the Kernel"],"prefix":"10.1007","author":[{"given":"Fred B.","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: SASI enforcement of security policies: A retrospective. In: Proceedings of the New Security Paradigms Workshop, Caledon Hills, Ontario, Canada, pp. 87\u201395. Association for Computing Machinery (September 1999), http:\/\/www.cs.cornell.edu\/fbs\/publications\/sasiNSPW.ps","DOI":"10.1145\/335169.335201"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1109\/SECPRI.2000.848461","volume-title":"Proceedings 2000 IEEE Symposium on Security and Privacy","author":"U. Erlingsson","year":"2000","unstructured":"Erlingsson, U., Schneider, F.B.: IRM enforcement of Java stack inspection. In: Proceedings 2000 IEEE Symposium on Security and Privacy, Oakland, California, pp. 246\u2013255. IEEE Computer Society, Los Alamitos (2000), http:\/\/www.cs.cornell.edu\/fbs\/publications\/sasiOakland.ps"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40981-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T18:13:46Z","timestamp":1685643226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40981-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206934","9783540409816"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40981-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}