Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. Secure Service Orchestration. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Volume 4677 of Lecture Notes in Computer Science, pages 24-74, Springer, 2007. [doi]
@inproceedings{BartolettiDFZ07,
title = {Secure Service Orchestration},
author = {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari and Roberto Zunino},
year = {2007},
doi = {10.1007/978-3-540-74810-6_2},
url = {http://dx.doi.org/10.1007/978-3-540-74810-6_2},
researchr = {https://researchr.org/publication/BartolettiDFZ07},
cites = {0},
citedby = {0},
pages = {24-74},
booktitle = {Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures},
editor = {Alessandro Aldini and Roberto Gorrieri},
volume = {4677},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74809-0},
}