{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:38:16Z","timestamp":1743025096612,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650041"},{"type":"electronic","value":"9783540497844"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0055854","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:50:09Z","timestamp":1154033409000},"page":"33-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A kernelized architecture for multilevel secure application policies"],"prefix":"10.1007","author":[{"given":"Simon N.","family":"Foley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"D. E. Bell and L. J. La Padula. Secure computer system: unified exposition and MULTICS interpretation. Report ESD-TR-75-306, The MITRE Corporation, March 1976.","DOI":"10.21236\/ADA023588"},{"key":"3_CR2","first-page":"106","volume-title":"Collecting garbage in multilevel secure object stores","author":"E. Bertino","year":"1994","unstructured":"E. Bertino, L.V. Mancini, and S. Jajodia. Collecting garbage in multilevel secure object stores. In Proceedings of the Symposium on Security and Privacy, pages 106\u2013120, Oakland, CA, May 1994. IEEE Computer Society Press."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"D. D. Clark and D. R. Wilson. A comparison of commercial and military computer security models. In Proceedings Symposium on Security and Privacy, pages 184\u2013194. IEEE Computer Society Press, April 1987.","DOI":"10.1109\/SP.1987.10001"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"S.N. Foley. The specification and implementation of commercial security requirements including dynamic segregation of duties. In 4th ACM Conference on Computer and Communications Security, 1997.","DOI":"10.1145\/266420.266447"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"S.N. Foley. Supporting secure cannonical upgrade policies in multilevel secure object stores. In Proceedings of the 13th. Annual Computer Security Applications Conference, pages 69\u201380, San Diego, CA, December 1997.","DOI":"10.1109\/CSAC.1997.646176"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and J. Meseguer. Unwinding and inference control. In Proceedings 1984 IEEE Symposium on Security and Privacy, pages 75\u201386, 1984.","DOI":"10.1109\/SP.1984.10019"},{"key":"3_CR7","volume-title":"Technical Report NU-CCS-95-03","author":"W.L. Hursch","year":"1995","unstructured":"W.L. Hursch and C.V. Lopes. Separation of concerns. Technical Report NU-CCS-95-03, College of Computer Science, Northeastern University, Boston, MA 02115, USA, 1995."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"S. Jajodia and B. Kogan. Integrating an object-oriented data model with multilevel security. In IEEE Symposium on Security and Privacy, Oakland, CA, 1990.","DOI":"10.21236\/ADA224491"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"M. Kang et al. Achieving database security through data replication: The SINTRA prototype. In Proceedings of the 17th National Computer Security Conference, pages 77\u201387, Baltimore, MD, USA, 1994.","DOI":"10.21236\/ADA464289"},{"key":"3_CR10","unstructured":"M. Makpangou and M. Shapiro. The SOS object-oriented communication service. In 9th International Conference on Computer Communications, Israel, 1988."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"A.C. Myers and B. Liskov. A decentralized model for information flow control. In 16th Annual Symposium on Operating Systems Principles. ACM, 1997.","DOI":"10.1145\/268998.266669"},{"key":"3_CR12","first-page":"201","volume-title":"Some conundrums concerning separation of duty","author":"M.J. Nash","year":"1990","unstructured":"M.J. Nash and K.R. Poland. Some conundrums concerning separation of duty. In Proceedings of the Symposium on Security and Privacy, pages 201\u2013207, Oakland, CA, May 1990. IEEE Computer Society Press."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"D. Olawsky, T. Fine, E. Schneider, and R. Spencer. Developing and using a policy neutral access control policy. In Proceedings of the New Security Paradigms Workshop. IEEE Computer Society Press, 1996.","DOI":"10.1145\/304851.304866"},{"key":"3_CR14","volume-title":"Technical Report SRI-CSL-92-02","author":"J. Rushby","year":"1992","unstructured":"J. Rushby. Noninterference, transitivity and channel-control security policies. Technical Report SRI-CSL-92-02, SRI International, Menlo Park, CA., December 1992."},{"key":"3_CR15","first-page":"72","volume":"1212","author":"M. Saaltink","year":"1997","unstructured":"M. Saaltink. The Z\/EVES system. In ZUM\u201997 (10th International Conference of Z Users), pages 72\u201385. Springer Verlag LNCS 1212, 1997.","journal-title":"Springer Verlag LNCS"},{"key":"3_CR16","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice Hall International, second edition, 1992."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"D.F. Sterne, G.S. Benson, and H Tajalli. Redrawing the security perimeter of a trusted system. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 162\u2013174, Franconia, NH, 1994.","DOI":"10.1109\/CSFW.1994.315938"},{"issue":"3","key":"3_CR18","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3233\/JCS-1993-22-309","volume":"2","author":"R.K. Thomas","year":"1993","unstructured":"R.K. Thomas and R.S. Sandhu. A kernelized architecture for multilevel secure object-oriented databases supporting write-up. Journal of Computer Security, 2(3):231\u2013275, 1993.","journal-title":"Journal of Computer Security"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"R.K. Thomas and R.S. Sandhu. Supporting object-based high assurance write-up in multilevel databases for the replicated architecture. In Proceedings of European Symposium on Research in Computer Security, pages 403\u2013428, UK, 1994.","DOI":"10.1007\/3-540-58618-0_76"},{"key":"3_CR20","unstructured":"U. S. Department of Defense. Trusted computer system criteria. Technical Report CSC-STD-001-83, U. S. National Computer Security Center, August 1983."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"D. Volpano, C. Irvine, and G. Smith. A sound type system for secure flow analysis. Journal of Computer Security, 4(2\/3), 1995.","DOI":"10.3233\/JCS-1996-42-304"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 98"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:49:25Z","timestamp":1736480965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650041","9783540497844"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0055854","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}