TY  - JOUR
AV  - public
TI  - Combining behavioural types with security analysis
UR  - http://www.sciencedirect.com/science/article/pii/S2352220815000851
SN  - 2352-2208
N2  - Today?s software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties.
N1  - Available online 11 September 2015
ID  - eprints2743
EP  - 780
Y1  - 2015/11//
IS  - 6
JF  - Journal of Logical and Algebraic Methods in Programming
A1  - Bartoletti, Massimo
A1  - Castellani, Ilaria
A1  - Deniélou, Pierre-Malo
A1  - Dezani-Ciancaglini, Mariangiola
A1  - Ghilezan, Silvia
A1  - Pantovi?, Jovanka
A1  - Pérez, Jorge A.
A1  - Thiemann, Peter
A1  - Toninho, Bernardo
A1  - Torres Vieira, Hugo
PB  - Elsevier
SP  - 763
VL  - 84
ER  -