{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:53Z","timestamp":1725544913122},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326281"},{"type":"electronic","value":"9783540326298"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11679219_5","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T02:36:41Z","timestamp":1140662201000},"page":"47-62","source":"Crossref","is-referenced-by-count":13,"title":["Eliminating Implicit Information Leaks by Transformational Typing and Unification"],"prefix":"10.1007","author":[{"given":"Boris","family":"K\u00f6pf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"[Aga00] Agat, J.: Transforming out Timing Leaks. In: Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pp. 40\u201353 (2000)","DOI":"10.1145\/325694.325702"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0304-3975(02)00010-5","volume":"281","author":"G. Boudol","year":"2002","unstructured":"[BC02]Boudol, G., Castellani, I.: Noninterference for Concurrent Programs and Thread Systems. Theoretical Computer Science\u00a0281, 109\u2013130 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"[BN02] Banerjee, A., Naumann, D.A.: Secure Information Flow and Pointer Confinement in a Java-like Language. In: Proceedings of the 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia,Canada pp. 253-270 (2002)","DOI":"10.1109\/CSFW.2002.1021820"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","volume-title":"Handbook of Automated Reasoning","author":"F. Baader","year":"2001","unstructured":"[BS01]Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch.8,vol.1, pp. 445\u2013532. Elsevier Science, Amsterdam (2001)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"[HR98] Heintze, N., Riecke, J.G.: The SLam Calculus: Programming with Secrecy and Integrity. In: Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pp. 365\u2013377 (1998)","DOI":"10.1145\/268946.268976"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00243791","volume":"3","author":"A. Herold","year":"1987","unstructured":"[HS87] Herold, A., Siekmann, J.: Unification in Abelian Semigroups. Journal of Automated Reasoning\u00a03, 247\u2013283 (1987)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR7","first-page":"81","volume-title":"Proceedings of the 29th ACM Symposium on Principles of Programming Languages","author":"K. Honda","year":"2002","unstructured":"[HY02] Honda, K., Yoshida, N.: A uniform type structure for secure information flow. In: Proceedings of the 29th ACM Symposium on Principles of Programming Languages, pp. 81\u201392. ACM Press, New York (2002)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"[KM05] K\u00f6pf, B., Mantel, H.: Eliminating Implicit Information Leaks by Transformational Typing and Unification. Technical Report 498, ETH Z\u00fcrich (2005)","DOI":"10.1007\/11679219_5"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-540-30477-7_9","volume-title":"Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004","author":"H. Mantel","year":"2004","unstructured":"[MS04] Mantel, H., Sands, D.: Controlled Declassification based on Intransitive Noninterference. In: APLAS 2004. LNCS, vol.\u00a03303, pp. 129\u2013145. Springer, Heidelberg (2004)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"[Mye99] Myers, A.: JFlow: Practical mostly-static information flow control. In: Symposium on Principles of Programming Languages, pp. 228\u2013241 (1999)","DOI":"10.1145\/292540.292561"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-45575-2_22","volume-title":"Perspectives of System Informatics","author":"A. Sabelfeld","year":"2001","unstructured":"[Sab01] Sabelfeld, A.: The impact of synchronisation on secure information flow in concurrent programs. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 225\u2013239. Springer, Heidelberg (2001)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-45789-5_27","volume-title":"Static Analysis","author":"A. Sabelfeld","year":"2002","unstructured":"Sabelfeld, A., Mantel, H.: Static Confidentiality Enforcement for Distributed Programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 376\u2013394. Springer, Heidelberg (2002)"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"[SM03]Sabelfeld, A., Myers, A.C.: Language-based Information-Flow Security. IEEE Journal on Selected Areas in Communication\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-49099-X_4","volume-title":"Programming Languages and Systems","author":"A. Sabelfeld","year":"1999","unstructured":"[SS99] Sabelfeld, A., Sands, D.: A Per Model of Secure Information Flow in Sequential Programs. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 50\u201359. Springer, Heidelberg (1999)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"[SS00]Sabelfeld, A., Sands, D.: Probabilistic Noninterference for Multi-threaded Programs. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, Cambridge, UK, pp. 200\u2013215 (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"[SV98] Smith, G., Volpano, D.: Secure Information Flow in a Multi-Threaded Imperative Language. In: 25th ACM Symposium on Principles of Programming Languages, San Diego, California, pp. 355\u2013364 (1998)","DOI":"10.1145\/268946.268975"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"D. Volpano","year":"1997","unstructured":"[VS97]Volpano, D., Smith, G.: A Type-Based Approach to Program Security. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 607\u2013621. Springer, Heidelberg (1997)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"[VS98]Volpano, D., Smith, G.: Probabilistic Noninterference in a Concurrent Language. In: Proceedings of the 11th IEEE Computer Security Foundations Workshop, Rockport, Massachusetts, pp. 34\u201343 (1998)","DOI":"10.1109\/CSFW.1998.683153"},{"key":"5_CR19","first-page":"29","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop","author":"S. Zdancewic","year":"2003","unstructured":"[ZM03]Zdancewic, S., Myers, A.: Observational determinism for concurrent program security. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop, pp. 29\u201347. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11679219_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T22:06:47Z","timestamp":1555452407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11679219_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326281","9783540326298"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11679219_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}