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 |
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.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/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 |
