{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:56Z","timestamp":1759336316309,"version":"3.32.0"},"publisher-location":"Boston, MA","reference-count":29,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387240503"},{"type":"electronic","value":"9780387240985"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/0-387-24098-5_3","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T17:34:04Z","timestamp":1128360844000},"page":"27-40","source":"Crossref","is-referenced-by-count":23,"title":["Dynamic Security Labels and Noninterference (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Lantian","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Johan Agat. Transforming out timing leaks. In Proc. 27th ACM Symp. on Principles of Programming Languages (POPL), pages 40\u201353, Boston, MA, January 2000.","DOI":"10.1145\/325694.325702"},{"key":"3_CR2","unstructured":"Anindya Banerjee and David A. Naumann. Secure information flow and pointer confinement in a Java-like language. In IEEE Computer Security Foundations Workshop (CSFW), June 2002."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Anindya Banerjee and David A. Naumann. Using access control for secure information flow in a java-like language. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 155\u2013169, June 2003.","DOI":"10.1109\/CSFW.2003.1212711"},{"key":"3_CR4","volume-title":"Cryptography and Data Security","author":"D. E. Denning","year":"1982","unstructured":"Dorothy E. Denning. Cryptography and Data Security. Addison-Wesley, Reading, Massachusetts, 1982."},{"issue":"7","key":"3_CR5","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D. E. Denning","year":"1977","unstructured":"Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504\u2013513, July 1977.","journal-title":"Comm. of the ACM"},{"key":"3_CR6","unstructured":"Department of Defense. Department of Defense Trusted Computer System Evaluation Criteria, DOD 5200.28-STD (The Orange Book) edition, December 1985."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Simon Foley, Li Gong, and Xiaolei Qian. A security model of dynamic labeling providing a tiered approach to verification. In IEEE Symposium on Security and Privacy, pages 142\u2013154, Oakland, CA, 1996. IEEE Computer Society Press.","DOI":"10.1109\/SECPRI.1996.502677"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Joseph A. Goguen and Jose Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11\u201320, April 1982.","DOI":"10.1109\/SP.1982.10014"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Nevin Heintze and Jon G. Riecke. The SLam calculus: Programming with secrecy and integrity. In Proc. 25th ACM Symp. on Principles of Programming Languages (POPL), pages 365\u2013377, San Diego, California, January 1998.","DOI":"10.1145\/268946.268976"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"John McLean. The algebra of security. In IEEE Symposium on Security and Privacy, pages 2\u20137, Oakland, California, 1988.","DOI":"10.1109\/SECPRI.1988.8092"},{"key":"3_CR11","unstructured":"Catherine Meadows. Policies for dynamic upgrading. In Database Security, IV: Status and Prospects, pages 241\u2013250. North Holland, 1991."},{"key":"3_CR12","volume-title":"Foundations for Programming Languages","author":"J. C. Mitchell","year":"1996","unstructured":"John C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, Massachusetts, 1996."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 228\u2013241, San Antonio, TX, January 1999.","DOI":"10.1145\/292540.292561"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Andrew C. Myers and Barbara Liskov. A decentralized model for information flow control. In Proc. 17th ACM Symp. on Operating System Principles (SOSP), pages 129\u2013142, Saint-Malo, France, 1997.","DOI":"10.1145\/268998.266669"},{"key":"3_CR15","unstructured":"Andrew C. Myers, Lantian Zheng, Steve Zdancewic, Stephen Chong, and Nathaniel Nystrom. Jif: Java information flow. Software release. Located at http:\/\/www.cs.cornell.edu\/jif, July 2001\u20132003."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Peter \u00d8rb\u00e6k. Trust in the \u03bb-calculus. In Proc. 2nd International Symposium on Static Analysis, number 983 in Lecture Notes in Computer Science, pages 314\u2013329. Springer, September 1995.","DOI":"10.1007\/3-540-60360-3_47"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Pottier and Vincent Simonet. Information flow inference for ML. In Proc. 29th ACM Symp. on Principles of Programming Languages (POPL), pages 319\u2013330, 2002.","DOI":"10.1145\/503272.503302"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Andrei Sabelfeld and Heiko Mantel. Static confidentiality enforcement for distributed programs. In Proceedings of the 9th International Static Analysis Symposium, volume 2477 of LNCS, Madrid, Spain, September 2002. Springer-Verlag.","DOI":"10.1007\/3-540-45789-5_27"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Andrei Sabelfeld and Andrew Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5\u201319, January 2003.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"3_CR20","unstructured":"Ravi S. Sandhu and Sushil Jajodia. Honest databases that can keep secrets. In Proceedings of the 14th National Computer Security Conference, Washington, DC, 1991."},{"key":"3_CR21","unstructured":"Ian Sutherland, Stanley Perlo, and Rammohan Varadarajan. Deducibility security with dynamic level assignments. In Proc. 2nd IEEE Computer Security Foundations Workshop, Franconia, NH, June 1989."},{"key":"3_CR22","unstructured":"Stephen Tse and Steve Zdancewic. Run-time principals in information-flow type systems. In IEEE Symposium on Security and Privacy, Oakland, CA, May 2004."},{"issue":"3","key":"3_CR23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167\u2013187, 1996.","journal-title":"Journal of Computer Security"},{"key":"3_CR24","first-page":"119","volume":"35","author":"C. Weissman","year":"1969","unstructured":"Clark Weissman. Security controls in the ADEPT-50 time-sharing system. In AFIPS Conference Proceedings, volume 35, pages 119\u2013133, 1969.","journal-title":"AFIPS Conference Proceedings"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"John P. L. Woodward. Exploiting the dual nature of sensitivity labels. In IEEE Symposium on Security and Privacy, pages 23\u201330, Oakland, California, 1987.","DOI":"10.1109\/SP.1987.10016"},{"key":"3_CR26","unstructured":"Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 214\u2013227, San Antonio, TX, January 1999."},{"issue":"2\u2013-3","key":"3_CR27","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1023\/A:1020843229247","volume":"15","author":"S. Zdancewic","year":"2002","unstructured":"Steve Zdancewic and Andrew C. Myers. Secure information flow via linear continuations. Higher Order and Symbolic Computation, 15(2\u2013-3):209\u2013234, September 2002.","journal-title":"Higher Order and Symbolic Computation"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Steve Zdancewic and Andrew C. Myers. Observational determinism for concurrent program security. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 29\u201343, Pacific Grove, California, June 2003.","DOI":"10.1109\/CSFW.2003.1212703"},{"key":"3_CR29","unstructured":"Lantian Zheng and Andrew C. Myers. Dynamic security labels and noninterference. Technical Report 2004-1924, Cornell University Computing and Information Science, 2004."}],"container-title":["IFIP International Federation for Information Processing","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24098-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T17:17:31Z","timestamp":1736011051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9780387240503","9780387240985"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_3","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2005]]}}}