Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira. Combining behavioural types with security analysis. Journal of Logic and Algebraic Programming, 84(6):763-780, 2015. [doi]
Abstract is missing.