{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:55:02Z","timestamp":1725504902890},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786627"},{"type":"electronic","value":"9783540786634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78663-4_19","type":"book-chapter","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T06:00:01Z","timestamp":1204956001000},"page":"276-293","source":"Crossref","is-referenced-by-count":2,"title":["A Protocol Compiler for Secure Sessions in ML"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Corin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Malo","family":"Deni\u00e9lou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Corin, R., Fournet, C., Gordon, A.D.: Secure sessions for web services. In: ACM Workshop on Secure Web Services (SWS), pp. 11\u201322 (October 2004)","DOI":"10.1145\/1111348.1111355"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Tse, S.: Verified interoperable implementations of security protocols. In: 19th IEEE Computer Security Foundations Workshop (CSFW), July 2006, pp. 139\u2013152 (2006)","DOI":"10.1109\/CSFW.2006.32"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"J. Billings, P. Sewell, M. Shinwell, and R. Strni\u0161a. Type-Safe Distributed Programming for OCaml. In: ACM SIGPLAN Workshop on ML, September 2006 (2006)","DOI":"10.1145\/1159876.1159881"},{"key":"19_CR4","series-title":"ENTCS","first-page":"175","volume-title":"1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA)","author":"E. Bonelli","year":"2004","unstructured":"Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. In: Brogi, A. (ed.) 1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA). ENTCS, vol.\u00a097, pp. 175\u2013195. Elsevier, Amsterdam (2004)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, Springer, Heidelberg (2007)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11693024_14","volume-title":"Programming Languages and Systems","author":"S. Carpineti","year":"2006","unstructured":"Carpineti, S., Laneve, C.: A basic contract language for web services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 197\u2013213. Springer, Heidelberg (2006)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. In: 29th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL), January 2002, pp. 45\u201357 (2002)","DOI":"10.1145\/503272.503278"},{"key":"19_CR8","volume-title":"20th IEEE Computer Security Foundations Symposium (CSF 2007)","author":"R. Corin","year":"2007","unstructured":"Corin, R., Denielou, P.M., Fournet, C., Bhargavan, K., Leifer, J.: Secure implementations for typed session abstractions. In: 20th IEEE Computer Security Foundations Symposium (CSF 2007), Venice, Italy, July 2007, IEEE Computer Society Press, Los Alamitos (to appear, 2007)"},{"key":"19_CR9","unstructured":"Corin, R., D\u00e9nielou, P.-M., Fournet, C., Bhargavan, K., Leifer, J.: Secure sessions project (2007), http:\/\/www.msr-inria.inria.fr\/projects\/sec\/sessions\/"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Leifer, J.J.: Abstraction preservation and subtyping in distributed languages. In: 11th International Conference on Functional Programming (ICFP) (2006)","DOI":"10.1145\/1159803.1159841"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: 20th European Conference for Object-Oriented Languages, July 2006 (2006)","DOI":"10.1007\/11785477_20"},{"issue":"2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"19_CR13","unstructured":"Dot, http:\/\/www.graphviz.org\/"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Fahndrich, M., Aiken, M., Hawblitzel, C., Hodson, G.H.O., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in Singularity OS. In: EUROSYS (2006)","DOI":"10.1145\/1217935.1217953"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Simon, J.: Gay and Malcolm Hole. Types and subtypes for client-server interactions. In: Programming Languages and Systems, 8th European Symposium on Programming (ESOP), pp. 74\u201390 (1999)","DOI":"10.1007\/3-540-49099-X_6"},{"issue":"4","key":"19_CR16","doi-asserted-by":"crossref","first-page":"451","DOI":"10.3233\/JCS-2003-11402","volume":"11","author":"A.D. Gordon","year":"2003","unstructured":"Gordon, A.D., Jeffrey, A.: Authenticity by typing for security protocols. Journal of Computer Security\u00a011(4), 451\u2013521 (2003)","journal-title":"Journal of Computer Security"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol.\u00a01381, pp. 22\u2013138. Springer, Heidelberg (1998)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008 (to appear, 2008)","DOI":"10.1145\/1328438.1328472"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pp. 128\u2013141 (2001)","DOI":"10.1145\/360204.360215"},{"key":"19_CR20","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press, Cambridge (1990)"},{"key":"19_CR21","unstructured":"Objective Caml, http:\/\/caml.inria.fr"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Sewell, P., Leifer, J.J., Wansbrough, K., Nardelli, F.Z., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. In: 10th International Conference on Functional Programming (ICFP), September 2005 (2005)","DOI":"10.1145\/1086365.1086370"},{"key":"19_CR23","unstructured":"Syme, D.: F# (2005), http:\/\/research.microsoft.com\/fsharp\/"},{"key":"19_CR24","series-title":"ENTCS","volume-title":"1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA)","author":"A. Vallecillo","year":"2003","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of objects and components using session types. In: 1st International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA). ENTCS, vol.\u00a068, Elsevier, Amsterdam (2003)"},{"issue":"1\u20132","key":"19_CR25","first-page":"64","volume":"368","author":"T. Vasco","year":"2006","unstructured":"Vasco, T.: Vasconcelos, Simon Gay, and Ant\u00f3nio Ravara. Typechecking a multithreaded functional language with session types, TCS\u00a0368(1\u20132), 64\u201387 (2006)","journal-title":"Typechecking a multithreaded functional language with session types, TCS"},{"key":"19_CR26","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In: 1st International Workshop on Security and Rewriting Techniques, ENTCS (2006)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78663-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:17:47Z","timestamp":1619522267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78663-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786627","9783540786634"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78663-4_19","relation":{},"subject":[]}}