{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T04:31:24Z","timestamp":1745469084811,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642353703"},{"type":"electronic","value":"9783642353710"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35371-0_3","type":"book-chapter","created":{"date-parts":[[2012,12,13]],"date-time":"2012-12-13T20:45:18Z","timestamp":1355431518000},"page":"25-47","source":"Crossref","is-referenced-by-count":2,"title":["Secure Implementation of Asynchronous Method Calls and Futures"],"prefix":"10.1007","author":[{"given":"Peeter","family":"Laud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1007\/BFb0055109","volume-title":"Automata, Languages and Programming","author":"M. Abadi","year":"1998","unstructured":"Abadi, M.: Protection in Programming-Language Translations. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 868\u2013883. Springer, Heidelberg (1998)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL, pp. 104\u2013115 (2001)","DOI":"10.1145\/373243.360213"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure Implementation of Channel Abstractions. In: LICS, pp. 105\u2013116. IEEE Computer Society (1998)","DOI":"10.1016\/S1571-0661(05)82514-9"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure Communications Processing for Distributed Languages. In: IEEE Symposium on Security and Privacy, pp. 74\u201388 (1999)","DOI":"10.1109\/SECPRI.1999.766719"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Authentication Primitives and Their Compilation. In: POPL, pp. 302\u2013315 (2000)","DOI":"10.1145\/325694.325734"},{"issue":"7","key":"3_CR6","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.jlap.2009.01.001","volume":"78","author":"E. \u00c1brah\u00e1m","year":"2009","unstructured":"\u00c1brah\u00e1m, E., Grabe, I., Gr\u00fcner, A., Steffen, M.: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program.\u00a078(7), 491\u2013518 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11787006_8","volume-title":"Automata, Languages and Programming","author":"P. Ad\u00e3o","year":"2006","unstructured":"Ad\u00e3o, P., Fournet, C.: Cryptographically Sound Implementations for Communicating Processes. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. Part II. LNCS, vol.\u00a04052, pp. 83\u201394. Springer, Heidelberg (2006)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Backes, M., Cortesi, A., Focardi, R., Maffei, M.: A calculus of challenges and responses. In: Ning, P., Atluri, V., Gligor, V.D., Mantel, H. (eds.) FMSE, pp. 51\u201360. ACM (2007)","DOI":"10.1145\/1314436.1314444"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Focardi, R.: Language based secure communication. In: CSF, pp. 3\u201316. IEEE Computer Society (2008)","DOI":"10.1109\/CSF.2008.17"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Giunti, M.: Secure implementations of typed channel abstractions. In: Hofmann, M., Felleisen, M. (eds.) POPL, pp. 251\u2013262. ACM (2007)","DOI":"10.1145\/1190215.1190253"},{"key":"3_CR11","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Puebla, G., Weitzel, B., Wong, P.Y.H.: Hats - a formal software product line engineering methodology. In: Botterweck, G., Jarzabek, S., Kishi, T., Lee, J., Livengood, S. (eds.) SPLC Workshops, pp. 121\u2013128. Lancaster University (2010)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 417\u2013457. Springer, Heidelberg (2011)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Comon-Lundh, H., Cortier, V.: Computational soundness of observational equivalence. In: Ning, P., Syverson, P.F., Jha, S. (eds.) ACM Conference on Computer and Communications Security, pp. 109\u2013118. ACM (2008)","DOI":"10.1145\/1455770.1455786"},{"key":"3_CR14","unstructured":"Dam, M., Palmskog, K.: A Foundation for Network-Adaptive Execution of Distributed Objects (work in progress, 2012)"},{"issue":"2","key":"3_CR15","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.-C.: On the Security of Public Key Protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013207 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: POPL, pp. 372\u2013385 (1996)","DOI":"10.1145\/237721.237805"},{"key":"3_CR17","volume-title":"Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008","author":"C. Fournet","year":"2008","unstructured":"Fournet, C., Rezk, T.: Cryptographically Sound Implementations for Typed Information-Flow Security. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008. ACM Press, San Francisco (2008)"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1016\/0022-0000(84)90070-9","volume":"28","author":"S. Goldwasser","year":"1984","unstructured":"Goldwasser, S., Micali, S.: Probabilistic Encryption. Journal of Computer and System Sciences\u00a028(2), 270\u2013299 (1984)","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-16561-0_2","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"R. H\u00e4hnle","year":"2010","unstructured":"H\u00e4hnle, R.: HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 3\u20138. Springer, Heidelberg (2010)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R., Johnsen, E.B., \u00d8stvold, B.M., Sch\u00e4fer, J., Steffen, M., Torjusen, A.B.: Report on the Core ABS Language and Methodology: Part A. Highly Adaptable and Trustworthy Software using Formal Models (HATS), Deliverable D1.1A (April 2010)","DOI":"10.1007\/978-3-642-16561-0_2"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Helvensteijn, M., Muschevici, R., Wong, P.Y.H.: Delta modeling in practice: a Fredhopper case study. In: Eisenecker, U.W., Apel, S., Gnesi, S. (eds.) VaMoS, pp. 139\u2013148. ACM (2012)","DOI":"10.1145\/2110147.2110163"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"FMCO 2010","author":"E.B. Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A Core Language for Abstract Behavioral Specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theoretical Computer Science\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theoretical Computer Science"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-57208-2_12","volume-title":"CONCUR\u201993","author":"C.B. Jones","year":"1993","unstructured":"Jones, C.B.: A pi-Calculus Semantics for an Object-Based Design Notation. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 158\u2013172. Springer, Heidelberg (1993)"},{"key":"3_CR25","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press (1999)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-04444-1_21","volume-title":"Computer Security \u2013 ESORICS 2009","author":"S. M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Secure Pseudonymous Channels. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 337\u2013354. Springer, Heidelberg (2009)"},{"issue":"10","key":"3_CR27","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1002\/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F","volume":"12","author":"M. Philippsen","year":"2000","unstructured":"Philippsen, M.: A survey of concurrent object-oriented languages. Concurrency: Practice and Experience\u00a012(10), 917\u2013980 (2000)","journal-title":"Concurrency: Practice and Experience"},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MC.2011.47","volume":"44","author":"I. Schaefer","year":"2011","unstructured":"Schaefer, I., H\u00e4hnle, R.: Formal methods in software product line engineering. IEEE Computer\u00a044(2), 82\u201385 (2011)","journal-title":"IEEE Computer"},{"key":"3_CR29","unstructured":"Schneider, J.-G., Lumpe, M.: Synchronizing Concurrent Objects in the \u03c0-Calculus. In: Ducournau, R., Garlatti, S. (eds.) Proceedings of Languages et Mod\u00e8les \u00e0 Objets, Hermes, Roscoff, pp. 61\u201376 (1997)"},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Vaughan, J.A., Zdancewic, S.: A cryptographic decentralized label model. In: IEEE Symposium on Security and Privacy, pp. 192\u2013206. IEEE Computer Society (2007)","DOI":"10.1109\/SP.2007.5"}],"container-title":["Lecture Notes in Computer Science","Trusted Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35371-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T17:39:48Z","timestamp":1745429988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35371-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642353703","9783642353710"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35371-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}