Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Typing access control and secure information flow in sessions. Inf. Comput., 238:68-105, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.