By combining research from model-based software engineering, dependable computing, and formal methods, it is possible to create a contract-based design methodology to enforce security accountability and reputation of distributed digital entities provided by potentially mutually distrusted organisations.
Secure multi-party computation with service contract automata
Basile D
2021
Abstract
By combining research from model-based software engineering, dependable computing, and formal methods, it is possible to create a contract-based design methodology to enforce security accountability and reputation of distributed digital entities provided by potentially mutually distrusted organisations.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456087-doc_176431.pdf
accesso aperto
Descrizione: Preprint - Secure multi-party computation with service contract automata
Tipologia:
Versione Editoriale (PDF)
Dimensione
135.56 kB
Formato
Adobe PDF
|
135.56 kB | Adobe PDF | Visualizza/Apri |
|
prod_456087-doc_176434.pdf
accesso aperto
Descrizione: Secure multi-party computation with service contract automata
Tipologia:
Versione Editoriale (PDF)
Dimensione
215.58 kB
Formato
Adobe PDF
|
215.58 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
