Honesty by Typing - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2013

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.

Domains

Computer Science [cs] Networking and Internet Architecture [cs.NI]
Fichier principal
Vignette du fichier
978-3-642-38592-6_21_Chapter.pdf (477.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01515248

Submitted on : Thursday, April 27, 2017-10:46:52 AM

Last modification on : Tuesday, March 19, 2024-9:34:06 AM

Long-term archiving on: Friday, July 28, 2017-12:30:32 PM

Download

Dates and versions

hal-01515248 , version 1 (27-04-2017)

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-WG IFIP-TC6 IFIP-WG6-1 IFIP-FORTE IFIP-DISCOTEC IFIP-LNCS-7892
108 View
68 Download

Altmetric

Share

Gmail Facebook X LinkedIn More