@incollection{costa:hal-00646860,
author = "Gabriele Costa and Fabio Martinelli and Val{\'e}rie Issarny and Rachid Saadi and Ilaria Matteucci",
booktitle = "11th International School on Formal Methods for the Design of Computer, Communication and Software: Connectors for Eternal Networked Software Systems",
note = "Partners CNR, Inria; Projects Nessos and Connect; no tier; no citations",
pages = "393-416",
publisher = "Springer",
title = "{S}ecurity and {T}rust",
volume = "LNCS 6659",
year = "2011",
}