Ownership Types for the Join Calculus
International audience This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership types have the effect of statically preventing certain communication, and can block the accidental or malicious leakage of secrets. Intuitively, a chann...
Main Authors: | , , |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2011
|
Subjects: | |
Online Access: | https://inria.hal.science/hal-01583320 https://inria.hal.science/hal-01583320/document https://inria.hal.science/hal-01583320/file/978-3-642-21461-5_19_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_19 |
id |
ftifiphal:oai:HAL:hal-01583320v1 |
---|---|
record_format |
openpolar |
spelling |
ftifiphal:oai:HAL:hal-01583320v1 2024-01-14T10:07:54+01:00 Ownership Types for the Join Calculus Patrignani, Marco Clarke, Dave Sangiorgi, Davide Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) Roberto Bruni Juergen Dingel TC 6 WG 6.1 Reykjavik,, Iceland 2011-06-06 https://inria.hal.science/hal-01583320 https://inria.hal.science/hal-01583320/document https://inria.hal.science/hal-01583320/file/978-3-642-21461-5_19_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_19 en eng HAL CCSD Springer info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_19 hal-01583320 https://inria.hal.science/hal-01583320 https://inria.hal.science/hal-01583320/document https://inria.hal.science/hal-01583320/file/978-3-642-21461-5_19_Chapter.pdf doi:10.1007/978-3-642-21461-5_19 http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://inria.hal.science/hal-01583320 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩ [INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] info:eu-repo/semantics/conferenceObject Conference papers 2011 ftifiphal https://doi.org/10.1007/978-3-642-21461-5_19 2023-12-16T22:28:22Z International audience This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership types have the effect of statically preventing certain communication, and can block the accidental or malicious leakage of secrets. Intuitively, a channel defines a boundary and forbids access to its inside from outer channels, thus preserving the secrecy of the inner names from malicious outsiders. Secrecy is also preserved in the context of an untyped opponent. Conference Object Iceland IFIP Open Digital Library (International Federation for Information Processing) 289 303 |
institution |
Open Polar |
collection |
IFIP Open Digital Library (International Federation for Information Processing) |
op_collection_id |
ftifiphal |
language |
English |
topic |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
spellingShingle |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Patrignani, Marco Clarke, Dave Sangiorgi, Davide Ownership Types for the Join Calculus |
topic_facet |
[INFO]Computer Science [cs] [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] |
description |
International audience This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership types have the effect of statically preventing certain communication, and can block the accidental or malicious leakage of secrets. Intuitively, a channel defines a boundary and forbids access to its inside from outer channels, thus preserving the secrecy of the inner names from malicious outsiders. Secrecy is also preserved in the context of an untyped opponent. |
author2 |
Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven) Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO) Roberto Bruni Juergen Dingel TC 6 WG 6.1 |
format |
Conference Object |
author |
Patrignani, Marco Clarke, Dave Sangiorgi, Davide |
author_facet |
Patrignani, Marco Clarke, Dave Sangiorgi, Davide |
author_sort |
Patrignani, Marco |
title |
Ownership Types for the Join Calculus |
title_short |
Ownership Types for the Join Calculus |
title_full |
Ownership Types for the Join Calculus |
title_fullStr |
Ownership Types for the Join Calculus |
title_full_unstemmed |
Ownership Types for the Join Calculus |
title_sort |
ownership types for the join calculus |
publisher |
HAL CCSD |
publishDate |
2011 |
url |
https://inria.hal.science/hal-01583320 https://inria.hal.science/hal-01583320/document https://inria.hal.science/hal-01583320/file/978-3-642-21461-5_19_Chapter.pdf https://doi.org/10.1007/978-3-642-21461-5_19 |
op_coverage |
Reykjavik,, Iceland |
genre |
Iceland |
genre_facet |
Iceland |
op_source |
Lecture Notes in Computer Science 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE) https://inria.hal.science/hal-01583320 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩ |
op_relation |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21461-5_19 hal-01583320 https://inria.hal.science/hal-01583320 https://inria.hal.science/hal-01583320/document https://inria.hal.science/hal-01583320/file/978-3-642-21461-5_19_Chapter.pdf doi:10.1007/978-3-642-21461-5_19 |
op_rights |
http://creativecommons.org/licenses/by/ info:eu-repo/semantics/OpenAccess |
op_doi |
https://doi.org/10.1007/978-3-642-21461-5_19 |
container_start_page |
289 |
op_container_end_page |
303 |
_version_ |
1788062312673837056 |