A tool for the synthesis of secure orchestrators

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Ciancia, V. Martin, A. Martinelli, F. Matteucci, I. Petrocchi, M. Pimentel, E.

Book title:	Proceedings of Model-Driven Security Workshop (MDSec2012)


Month:	October


@conference{MDSec2012, author = "V. Ciancia and A. Martin and F. Martinelli and I. Matteucci and M. Petrocchi and E. Pimentel", booktitle = "Proceedings of Model-Driven Security Workshop (MDSec2012)", month = "October", note = "partners: CNR, UMA; projects: Nessos, Aniketos, Connect, No tier; citations 9", publisher = "ACM-DL", title = "{A} tool for the synthesis of secure orchestrators", url = "http://www.iit.cnr.it/node/16907", year = "2012", }
Note:	partners: CNR, UMA; projects: Nessos, Aniketos, Connect, No tier; citations 9
Online version [Bibtex]