{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:33Z","timestamp":1763468013196,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642197178"},{"type":"electronic","value":"9783642197185"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19718-5_16","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T14:17:15Z","timestamp":1300112235000},"page":"297-316","source":"Crossref","is-referenced-by-count":9,"title":["From Exponential to Polynomial-Time Security Typing via Principal Types"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Hunt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-27864-1_10","volume-title":"Static Analysis","author":"T. Amtoft","year":"2004","unstructured":"Amtoft, T., Banerjee, A.: Information flow analysis in logical form. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 100\u2013115. Springer, Heidelberg (2004)"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2006.03.002","volume":"64","author":"T. Amtoft","year":"2007","unstructured":"Amtoft, T., Banerjee, A.: A logic for information flow analysis with an application to forward slicing of simple imperative programs. Science of Computer Programming\u00a064(1), 3\u201328 (2007)","journal-title":"Science of Computer Programming"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/1111037.1111046","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"T. Amtoft","year":"2006","unstructured":"Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 91\u2013102. ACM, New York (2006)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88313-5_22","volume-title":"Computer Security - ESORICS 2008","author":"A. Askarov","year":"2008","unstructured":"Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination insensitive noninterference leaks more than just a bit. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 333\u2013348. Springer, Heidelberg (2008)"},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/357084.357088","volume":"2","author":"G.R. Andrews","year":"1980","unstructured":"Andrews, G.R., Reitman, R.P.: An axiomatic approach to information flow in programs. TOPLAS\u00a02(1), 56\u201375 (1980)","journal-title":"TOPLAS"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J.-P., Bryce, C.: Information flow control in a parallel language framework. In: Proc. IEEE Computer Security Foundations Workshop, pp. 39\u201352 (June 1993)","DOI":"10.1109\/CSFW.1993.246640"},{"key":"16_CR7","unstructured":"Ban\u00e2tre, J.-P., Bryce, C.: A security proof system for networks of communicating processes. Research Report RR-2042, INRIA (1993)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-58618-0_56","volume-title":"Computer Security - ESORICS 94","author":"J.-P. Ban\u00e2tre","year":"1994","unstructured":"Ban\u00e2tre, J.-P., Bryce, C., Le M\u00e9tayer, D.: Compile-time detection of information flow in sequential programs. In: Gollmann, D. (ed.) ESORICS 1994. LNCS, vol.\u00a0875, pp. 55\u201373. Springer, Heidelberg (1994)"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/2363.2366","volume":"7","author":"J.-F. Bergeretti","year":"1985","unstructured":"Bergeretti, J.-F., Carr\u00e9, B.: Information-flow and data-flow analysis of while-programs. ACM TOPLAS\u00a07(1), 37\u201361 (1985)","journal-title":"ACM TOPLAS"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-48224-5_32","volume-title":"Automata, Languages and Programming","author":"G. Boudol","year":"2001","unstructured":"Boudol, G., Castellani, I.: Noninterference for concurrent programs. In: Yu, Y., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 382\u2013395. Springer, Heidelberg (2001)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/11560647_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"G. Boudol","year":"2005","unstructured":"Boudol, G.: On typing information flow. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 366\u2013380. Springer, Heidelberg (2005)"},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1046191.1032305","volume":"XXIV","author":"R. Chapman","year":"2004","unstructured":"Chapman, R., Hilton, A.: Enforcing security and safety models with an information flow analysis tool. Ada Lett.\u00a0XXIV(4), 39\u201346 (2004)","journal-title":"Ada Lett."},{"issue":"1","key":"16_CR13","first-page":"3","volume":"28","author":"D. Clark","year":"2002","unstructured":"Clark, D., Hankin, C., Hunt, S.: Information flow for Algol-like languages. Journal of Computer Languages\u00a028(1), 3\u201328 (2002)","journal-title":"Journal of Computer Languages"},{"key":"16_CR14","first-page":"98","volume-title":"CSF","author":"S. Chong","year":"2008","unstructured":"Chong, S., Myers, A.C.: End-to-end enforcement of erasure and declassification. In: CSF, pp. 98\u2013111. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"7","key":"16_CR15","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Comm. of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Comm. of the ACM"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/1185448.1185567","volume-title":"ACM-SE 44: Proceedings of the 44th annual Southeast regional conference","author":"Z. Deng","year":"2006","unstructured":"Deng, Z., Smith, G.: Type inference and informative error reporting for secure information flow. In: ACM-SE 44: Proceedings of the 44th annual Southeast regional conference, pp. 543\u2013548. ACM, New York (2006)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-00590-9_16","volume-title":"Programming Languages and Systems","author":"D. Demange","year":"2009","unstructured":"Demange, D., Sands, D.: All Secrets Great and Small. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 207\u2013221. Springer, Heidelberg (2009)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Hammer, C.: Experiences with pdg-based ifc. In: Second International Symposium Engineering Secure Software and Systems, pp. 44\u201360 (2010)","DOI":"10.1007\/978-3-642-11747-3_4"},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T.W., Binkley, D.: Interprocedural slicing using dependence graphs. ACM TOPLAS\u00a012(1), 26\u201360 (1990)","journal-title":"ACM TOPLAS"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Hunt, S., Sands, D.: On flow-sensitive security types. In: POPL 2006, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on Principles of Programming Languages (January 2006)","DOI":"10.1145\/1111037.1111045"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-78739-6_19","volume-title":"Programming Languages and Systems","author":"S. Hunt","year":"2008","unstructured":"Hunt, S., Sands, D.: Just forget it - the semantics and enforcement of information erasure. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 239\u2013253. Springer, Heidelberg (2008)"},{"issue":"6","key":"16_CR22","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10207-009-0086-1","volume":"8","author":"C. Hammer","year":"2009","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. International Journal of Information Security\u00a08(6), 399\u2013422 (2009)","journal-title":"International Journal of Information Security"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Proc. IEEE Symp. on Logic in Computer Science, pp. 14\u201323 (1989)","DOI":"10.1109\/LICS.1989.39155"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1460299.1460314","volume-title":"IRE-AIEE-ACM 1959 (Eastern): Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference","author":"R.T. Prosser","year":"1959","unstructured":"Prosser, R.T.: Applications of boolean matrices to the analysis of flow diagrams. In: IRE-AIEE-ACM 1959 (Eastern): Papers presented at the December 1-3, 1959, eastern joint IRE-AIEE-ACM computer conference, pp. 133\u2013138. ACM, New York (1959)"},{"issue":"1","key":"16_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/596980.596983","volume":"25","author":"F. Pottier","year":"2003","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. ACM TOPLAS\u00a025(1), 117\u2013158 (2003)","journal-title":"ACM TOPLAS"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Smith, G.: A new type system for secure information flow. In: Proc. IEEE Computer Security Foundations Workshop, June 2001, pp. 115\u2013125 (2001)","DOI":"10.1109\/CSFW.2001.930141"},{"key":"16_CR27","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":"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)"},{"issue":"3","key":"16_CR28","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A sound type system for secure flow analysis. J. Computer Security\u00a04(3), 167\u2013187 (1996)","journal-title":"J. Computer Security"},{"issue":"4","key":"16_CR29","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume-title":"Automata, Languages and Programming","author":"J.B. Wells","year":"2002","unstructured":"Wells, J.B.: The essence of principal typings. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 913\u2013925. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19718-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T07:34:41Z","timestamp":1741073681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19718-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197178","9783642197185"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19718-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}