Document - Secure multi-party computation with service contract automata

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 online edition 2021 (2021): 32–33.

Publisher: ERCIM., Paris

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:456087,
	title = {Secure multi-party computation with service contract automata},
	author = {Basile D.},
	publisher = {ERCIM., Paris},
	journal = {ERCIM news online edition},
	volume = {2021},
	pages = {32–33},
	year = {2021}
}