%0 Conference Proceedings
%T Honesty by Typing
%+ Università degli Studi di Cagliari = University of Cagliari (UniCa)
%+ University of Leicester
%+ Università degli Studi di Trento =  University of Trento (UNITN)
%+ Computational and Systems Biology [Trento] (COSBI)
%A Bartoletti, Massimo
%A Scalas, Alceste
%A Tuosto, Emilio
%A Zunino, Roberto
%Z Part 9: Session 8: Security
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 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)
%C Florence, Italy
%Y Dirk Beyer
%Y Michele Boreale
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-7892
%P 305-320
%8 2013-06-03
%D 2013
%R 10.1007/978-3-642-38592-6_21
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01515248/document
%2 https://inria.hal.science/hal-01515248/file/978-3-642-38592-6_21_Chapter.pdf
%L hal-01515248
%U https://inria.hal.science/hal-01515248
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-7892