Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / News / WG2 (Security) State-of-the-Art Report Published

WG2 (Security) State-of-the-Art Report Published

The state-of-the-art report by Working Group 2 (Security) has now been published in the Journal of Logical and Algebraic Methods in Programming.

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 Logical and Algebraic Methods in Programming, 2015. doi:10.1016/j.jlamp.2015.09.003