{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:06Z","timestamp":1746115866713,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642414879"},{"type":"electronic","value":"9783642414886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41488-6_7","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T06:05:49Z","timestamp":1380607549000},"page":"100-115","source":"Crossref","is-referenced-by-count":0,"title":["Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus"],"prefix":"10.1007","author":[{"given":"Martin","family":"Pettai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peeter","family":"Laud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N., Riecke, J.G.: A core calculus of dependency. In: Appel, Aiken (eds.) [3], pp. 147\u2013160","DOI":"10.1145\/292540.292555"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Pierce, B.C., Plotkin, G.D.: Dynamic Typing in a Statically-Typed Language. In: POPL, pp. 213\u2013227. ACM Press (1989)","DOI":"10.1145\/75277.75296"},{"key":"7_CR3","unstructured":"Appel, A.W., Aiken, A. (eds.): POPL 1999, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22. ACM (1999)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: CSF, pp. 43\u201359. IEEE Computer Society (2009)","DOI":"10.1109\/CSF.2009.22"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: CSFW, pp. 100\u2013114. IEEE Computer Society (2004)","DOI":"10.1109\/CSFW.2004.1310735"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1006\/inco.1995.1114","volume":"120","author":"M. Boreale","year":"1995","unstructured":"Boreale, M., De Nicola, R.: Testing equivalence for mobile processes. Inf. Comput.\u00a0120(2), 279\u2013303 (1995)","journal-title":"Inf. Comput."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A Complete Guide to the Future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci.\u00a034, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"7_CR9","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A Lattice Model of Secure Information Flow. Commun. ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The slam calculus: Programming with secrecy and integrity. In: MacQueen, D.B., Cardelli, L. (eds.) POPL, pp. 365\u2013377. ACM (1998)","DOI":"10.1145\/268946.268976"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-46425-5_12","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"2000","unstructured":"Honda, K., Vasconcelos, V.T., Yoshida, N.: Secure Information Flow as Typed Process Behaviour. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, pp. 180\u2013199. Springer, Heidelberg (2000)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical Mostly-Static Information Flow Control. In: Appel, Aiken (eds.) [3], pp. 228\u2013241","DOI":"10.1145\/292540.292561"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Parrow, J.: An Introduction to the \u03c0-Calculus. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 479\u2013543. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Pottier, F.: A Simple View of Type-Secure Information Flow in the \u03c0-Calculus. In: CSFW, pp. 320\u2013330. IEEE Computer Society (2002)","DOI":"10.1109\/CSFW.2002.1021826"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Pottier, F., Simonet, V.: Information Flow Inference for ML. In: Launchbury, J., Mitchell, J.C. (eds.) POPL, pp. 319\u2013330. ACM (2002)","DOI":"10.1145\/503272.503302"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Russo, A., Sabelfeld, A.: Dynamic vs. static flow-sensitive security analysis. In: CSF, pp. 186\u2013199. IEEE Computer Society (2010)","DOI":"10.1109\/CSF.2010.20"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11547662_24","volume-title":"Static Analysis","author":"T. Terauchi","year":"2005","unstructured":"Terauchi, T., Aiken, A.: Secure information flow as a safety problem. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 352\u2013367. Springer, Heidelberg (2005)"},{"key":"7_CR19","first-page":"73","volume-title":"Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming, WGP 2010","author":"T. Noort van","year":"2010","unstructured":"van Noort, T., Achten, P., Plasmeijer, R.: Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language. In: Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming, WGP 2010, pp. 73\u201384. ACM, New York (2010)"},{"issue":"2\/3","key":"7_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D.M. Volpano","year":"1996","unstructured":"Volpano, D.M., Irvine, C.E., Smith, G.: A Sound Type System for Secure Flow Analysis. Journal of Computer Security\u00a04(2\/3), 167\u2013188 (1996)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Secure IT Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41488-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:04:25Z","timestamp":1746025465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41488-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642414879","9783642414886"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41488-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}