relation: http://eprints.imtlucca.it/2743/
title: Combining behavioural types with security analysis
creator: Bartoletti, Massimo
creator: Castellani, Ilaria
creator: Deniélou, Pierre-Malo
creator: Dezani-Ciancaglini, Mariangiola
creator: Ghilezan, Silvia
creator: Pantović, Jovanka
creator: Pérez, Jorge A.
creator: Thiemann, Peter
creator: Toninho, Bernardo
creator: Torres Vieira, Hugo
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Elsevier
date: 2015-11
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nc_nd
identifier: http://eprints.imtlucca.it/2743/1/wg2soar.pdf
identifier:   Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo  Combining behavioural types with security analysis.  Journal of Logical and Algebraic Methods in Programming, 84 (6).  pp. 763-780.  ISSN 2352-2208      (2015)  
relation: http://www.sciencedirect.com/science/article/pii/S2352220815000851
relation: 10.1016/j.jlamp.2015.09.003