{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T08:36:24Z","timestamp":1790670984245,"version":"4.1.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,3,2]],"date-time":"2007-03-02T00:00:00Z","timestamp":1172793600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2007,3,19]]},"DOI":"10.1007\/s10207-007-0016-z","type":"journal-article","created":{"date-parts":[[2007,3,1]],"date-time":"2007-03-01T14:05:13Z","timestamp":1172757913000},"page":"107-131","source":"Crossref","is-referenced-by-count":23,"title":["Transformational typing and unification for automatically correcting insecure programs"],"prefix":"10.1007","volume":"6","author":[{"given":"Boris","family":"K\u00f6pf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,3,2]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"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":"16_CR2","unstructured":"Barthe, G., Rezk, T., Warnier, M.: Preventing timing leaks through transactional branching instructions. In: Proceedings of 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL\u201905). ENTCS, (2005)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.), Handbook of Automated Reasoning, vol. I, chap. 8, pp. 445\u2013532. Elsevier Science, Amsterdam (2001)","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Dam, M.: Decidability and proof systems for language-based noninterference relations. In: Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, pp. 67\u201378 (2006)","DOI":"10.1145\/1111037.1111044"},{"key":"16_CR5","volume-title":"Cryptography and Data Security","author":"D.E. Denning","year":"1982","unstructured":"Denning D.E. (1982). Cryptography and Data Security. Addison-Wesley, New York"},{"issue":"1","key":"16_CR6","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.entcs.2005.02.031","volume":"141","author":"D. Hedin","year":"2005","unstructured":"Hedin D. and Sands D. (2005). Timing aware information flow security for a javacard-like bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 163\u2013182","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00243791","volume":"3","author":"A. Herold","year":"1987","unstructured":"Herold A. and Siekmann J. (1987). Unification in Abelian semigroups. J. Autom. Reason. 3: 247\u2013283","journal-title":"J. Autom. Reason."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"K\u00f6pf, B., Mantel, H.: Eliminating implicit information leaks by transformational typing and unification. In: Proceedings of FAST\u201905: 3rd International Workshop on Formal Aspects in Security and Trust. LNCS, vol. 3866, pp. 47\u201362. Springer, Heidelberg (2006)","DOI":"10.1007\/11679219_5"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Mantel, H., Sands, D.: Controlled declassification based on intransitive noninterference. In: Proceedings of the 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004. LNCS, vol. 3303, pp. 129\u2013145, Taipei, Taiwan, 4\u20136 November 2004. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30477-7_9"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"McLean, J.D.: A general theory of composition for trace sets closed under selective interleaving functions. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 79\u201393, Oakland, CA, USA (1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A.: The impact of synchronisation on secure information flow in concurrent programs. In: Proceedings of Andrei Ershov 4th International Conference on Perspectives of System Informatics. vol. 2244, pp. 225\u2013239 (2001)","DOI":"10.1007\/3-540-45575-2_22"},{"issue":"1","key":"16_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld A. and Myers A.C. (2003). Language-based information-flow security. IEEE J. Selected Areas in Communication 21(1): 5\u201319","journal-title":"IEEE J. Selected Areas in Communication"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: A per model of secure information flow in sequential programs. In: Proceedings of the 8th European Symposium on Programming, LNCS, pp. 50\u201359 (1999)","DOI":"10.1007\/3-540-49099-X_4"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, pp. 200\u2013215, Cambridge, UK (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"B.F. Schneider","year":"2000","unstructured":"Schneider B.F. (2000). Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1): 30\u201350","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Volpano, D., Smith, G.: Probabilistic noninterference in a concurrent language. In: Proceedings of the 11th IEEE Computer Security Foundations Workshop, pp. 34\u201343, Rockport, Massachusetts (1998)","DOI":"10.1109\/CSFW.1998.683153"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-007-0016-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-007-0016-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-007-0016-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T12:03:09Z","timestamp":1736856189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-007-0016-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,2]]},"references-count":16,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2007,3,19]]}},"alternative-id":["16"],"URL":"https:\/\/doi.org\/10.1007\/s10207-007-0016-z","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,2]]}}}