"Self-Adaptation and Secure Information Flow in Multiparty Structured ..."

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics