We present a theory of contracts. Contracts are interacting processes with an explicit notion of obligations and objectives. We model processes and their obligations as event structures. We define a general notion of agreement, by interpreting contracts as multi-player concurrent games. A participant agrees on a contract if she has a strategy to reach her objectives (or make another participant chargeable for a violation), whatever the moves of her adversaries. We then tackle the problem of protection. A participant is protected by a contract when she has a strategy to defend herself in all possible contexts, even in those where she has not reached an agreement. We show that, in a relevant class of contracts, agreements and protection mutually exclude each other. We then propose a novel formalism for modelling contractual obligations: event structures with circular causality. Using this model, we show how to construct contracts which guarantee both agreements and protection.
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
|Titolo:||A theory of agreements and protection|
|Autori:||M., Bartoletti; T., Cimoli; Zunino, Roberto|
|Titolo del volume contenente il saggio:||Principles of security and trust : second International Conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings|
|Luogo di edizione:||Heidelberg|
|Anno di pubblicazione:||2013|
|Codice identificativo Scopus:||2-s2.0-84874416879|
|Codice identificativo ISI:||WOS:000440486900010|
|Appare nelle tipologie:||04.1 Saggio in atti di convegno (Paper in proceedings)|