Precise Enforcement of Confidentiality for Reactive Systems presented at CSF 2013

by Alejandro Russo, Dante Zanarini, Mauro Jaskelioff,

Summary : N/A