Honesty by typing

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino

Research output: Chapter in Book/Published conference outputConference publication

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.

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings
Pages305-320
Number of pages16
DOIs
Publication statusPublished - 9 Oct 2013
EventJoint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 - Florence, Italy
Duration: 3 Jun 20135 Jun 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7892 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceJoint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013
Country/TerritoryItaly
CityFlorence
Period3/06/135/06/13

Fingerprint

Dive into the research topics of 'Honesty by typing'. Together they form a unique fingerprint.

Cite this