Logo eprints

Combining behavioural types with security analysis

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)

PDF (Pre-print version)
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (289kB) | Preview


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.

Item Type: Article
Identification Number: 10.1016/j.jlamp.2015.09.003
Additional Information: Available online 11 September 2015
Projects: COST Action IC1201 Behavioural Types for Reliable Large-Scale Software Systems
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 03 Sep 2015 14:31
Last Modified: 02 Nov 2015 09:40
URI: http://eprints.imtlucca.it/id/eprint/2743

Actions (login required)

Edit Item Edit Item