2021
Journal article
Open Access
Secure multi-party computation with service contract automata
Basile D
Secure multi-party computation Contract automata
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.
Source: ERCIM NEWS, vol. 2021 (issue 126), pp. 32-33
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:456087,
title = {Secure multi-party computation with service contract automata},
author = {Basile D},
year = {2021}
}CNR authorsLaboratories
0000-0002-7196-6609CNR IRIS
Bibliographic record
Deposited version
Deposited version
Preprint version
Published version
