Typing access control and secure information flow in sessions

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Typing access control and secure information flow in sessions. Inf. Comput., 238:68-105, 2014. [doi]

Authors

Sara Capecchi

This author has not been identified. Look up 'Sara Capecchi' in Google

Ilaria Castellani

This author has not been identified. Look up 'Ilaria Castellani' in Google

Mariangiola Dezani-Ciancaglini

This author has not been identified. It may be one of the following persons: Look up 'Mariangiola Dezani-Ciancaglini' in Google