Combining behavioural types with security analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2015

Combining behavioural types with security analysis

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.
Fichier principal
Vignette du fichier
wg2soar.pdf (316.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01213201 , version 1 (08-10-2015)

Identifiers

Cite

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, et al.. Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 2015, pp.18. ⟨10.1016/j.jlamp.2015.09.003⟩. ⟨hal-01213201⟩
423 View
294 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More