{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:53:56Z","timestamp":1725515636369},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540707592"},{"type":"electronic","value":"9783540707608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70760-8_12","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T02:32:23Z","timestamp":1216089143000},"page":"146-157","source":"Crossref","is-referenced-by-count":8,"title":["Least Privilege in Separation Kernels"],"prefix":"10.1007","author":[{"given":"Timothy E.","family":"Levin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cynthia E.","family":"Irvine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thuy D.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Alves-Foss, J., Taylor, C.: An Analysis of the GWV Security Policy. In: Proc. of Fifth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2004) (November 2004)"},{"issue":"9","key":"12_CR2","first-page":"24","volume":"14","author":"B. Ames","year":"2003","unstructured":"Ames, B.: Real-Time Software Goes Modular. Military & Aerospace Electronics\u00a014(9), 24\u201329 (2003)","journal-title":"Military & Aerospace Electronics"},{"key":"12_CR3","unstructured":"Anderson, J.P.: On the Feasibility of Connecting RECON to an External Network. Tech. Report, James P. Anderson Co. (March 1981)"},{"key":"12_CR4","unstructured":"Boebert, W.E., Kain, R.Y.: A Practical Alternative to Hierarchical Integrity Policies. In: Proc. of the National Computer Security Conference, vol.\u00a08(18) (1985)"},{"key":"12_CR5","unstructured":"Common Criteria Project Sponsoring Organizations (CCPSO). Common Criteria for Information Technology Security Evaluation. Version 3.0 Revision 2, CCIMB-2005-07-[001, 002, 003] (June 2005)"},{"key":"12_CR6","unstructured":"Department of Defense (DOD). Trusted Computer System Evaluation Criteria. DoD 5200.28-STD (December 1985)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Irvine, C.E., Levin, T.E., Nguyen, T.D., Dinolt, G.W.: The Trusted Computing Exemplar Project. In: Proc. of the 2004 IEEE Systems, Man and Cybernetics Information Assurance Workshop, West Point, NY, June 2004, pp. 109\u2013115 (2004)","DOI":"10.1109\/IAW.2004.1437805"},{"key":"12_CR8","unstructured":"Irvine, C. E., SecureCore Project. (last accessed April 8, 2006) (last modified April 5, 2006), http:\/\/cisr.nps.edu\/projects\/securecore.html"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kemmerer, R.A.: A Practical Approach to Identifying Storage and Timing Channels. In: Proc. of the 1982 IEEE Symposium on Security and Privacy, Oakland, CA, April 1982, pp. 66\u201373 (1982)","DOI":"10.1109\/SP.1982.10007"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Lampson, B.: Protection. In: Proc. of 5th Princeton Conference on Information Sciences, Princeton, NJ, pp. 18\u201324 (1971), Reprinted in Operating Systems Reviews 8(1), 18-24 (1974)","DOI":"10.1145\/775265.775268"},{"key":"12_CR11","unstructured":"Levin, T.E., Irvine, C.E., Nguyen, T.D.: A Note on High Robustness Requirements for Separation Kernels. In: 6th International Common Criteria Conference (ICCC 2005), September 28-29 (2005)"},{"key":"12_CR12","unstructured":"Loscocco, P.A., Smalley, S.D.: Meeting critical security objectives with Security-Enhanced Linux. In: Proc. of the 2001 Ottawa Linux Symposium (2001)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Covert Channel Capacity. In: Proc of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, April 1987, pp. 60\u201366 (1987)","DOI":"10.1109\/SP.1987.10013"},{"key":"12_CR14","unstructured":"National Security Agency (NSA). U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness (July 1, 2004), http:\/\/niap.nist.gov\/pp\/draft_pps\/pp_draft_skpp_hr_v0.621.html"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Nguyen, T.D., Levin, T.E., Irvine, C.E.: High Robustness Requirements in a Common Criteria Protection Profile. In: Proceedings of the Fourth IEEE International Information Assurance Workshop, Royal Holloway, UK (April 2006)","DOI":"10.1109\/IWIA.2006.13"},{"key":"12_CR16","volume-title":"Introduction to Discrete Structures for Computer Science and Engineering","author":"F.P. Preparata","year":"1973","unstructured":"Preparata, F.P., Yeh, R.T.: Introduction to Discrete Structures for Computer Science and Engineering. Addison-Wesley, Reading (1973)"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/359060.359076","volume":"22","author":"D.P. Reed","year":"1979","unstructured":"Reed, D.P., Kanodia, R.K.: Synchronization with Eventcounts and Sequencers. Communications of the ACM\u00a022(2), 115\u2013123 (1979)","journal-title":"Communications of the ACM"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Rushby., J.: Design And Verification Of Secure Systems. Operating Systems Review\u00a015(5) (1981)","DOI":"10.1145\/1067627.806586"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Saltzer, J.H., Schroeder, M.D.: The Protection of Information in Operating Systems. In: Proceedings of the IEEE, vol.\u00a063(9), pp. 1278\u20131308 (1975)","DOI":"10.1109\/PROC.1975.9939"}],"container-title":["Communications in Computer and Information Science","E-Business and Telecommunication Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70760-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:27:42Z","timestamp":1620016062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70760-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540707592","9783540707608"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70760-8_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[]}}