Authors: | Bartoletti, Massimo Castellani, Ilaria Deniélou, Pierre Malo Dezani-Ciancaglini, Mariangiola Ghilezan, Silvia Pantović, Jovanka Pérez, Jorge Thiemann, Peter Toninho, Bernardo Vieira, Hugo Torres |
Title: | Combining behavioural types with security analysis | Journal: | Journal of Logical and Algebraic Methods in Programming | Volume: | 84 | Issue: | 6 | First page: | 763 | Last page: | 780 | Issue Date: | 1-Nov-2015 | Rank: | M21 | ISSN: | 2352-2208 | DOI: | 10.1016/j.jlamp.2015.09.003 | 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. |
Publisher: | Elsevier |
Show full item record
SCOPUSTM
Citations
14
checked on Jan 28, 2025
Page view(s)
15
checked on Jan 30, 2025
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.