Honesty by Typing

Abstract : We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest — that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01515248
Contributor : Hal Ifip <>
Submitted on : Thursday, April 27, 2017 - 10:46:52 AM
Last modification on : Thursday, April 27, 2017 - 2:43:59 PM
Long-term archiving on : Friday, July 28, 2017 - 12:30:32 PM

File

978-3-642-38592-6_21_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino. Honesty by Typing. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.305-320, ⟨10.1007/978-3-642-38592-6_21⟩. ⟨hal-01515248⟩

Share

Metrics

Record views

123

Files downloads

85