eprintid: 2743
rev_number: 16
eprint_status: archive
userid: 59
dir: disk0/00/00/27/43
datestamp: 2015-09-03 14:31:15
lastmod: 2015-11-02 09:40:23
status_changed: 2015-09-03 14:31:15
type: article
metadata_visibility: show
creators_name: Bartoletti, Massimo
creators_name: Castellani, Ilaria
creators_name: Deniélou, Pierre-Malo
creators_name: Dezani-Ciancaglini, Mariangiola
creators_name: Ghilezan, Silvia
creators_name: Pantović, Jovanka
creators_name: Pérez, Jorge A.
creators_name: Thiemann, Peter
creators_name: Toninho, Bernardo
creators_name: Torres Vieira, Hugo
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Combining behavioural types with security analysis
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Available online 11 September 2015
abstract: 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.
date: 2015-11
date_type: published
publication: Journal of Logical and Algebraic Methods in Programming
volume: 84
number: 6
publisher: Elsevier
pagerange: 763-780
id_number: 10.1016/j.jlamp.2015.09.003
refereed: TRUE
issn: 2352-2208
official_url: http://www.sciencedirect.com/science/article/pii/S2352220815000851
projects: COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems
citation:   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)  
document_url: http://eprints.imtlucca.it/2743/1/wg2soar.pdf