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.
Type de document :
Article dans une revue
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, pp.18. 〈Elsevier〉. 〈10.1016/j.jlamp.2015.09.003〉
Liste complète des métadonnées

Littérature citée [93 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01213201
Contributeur : Ilaria Castellani <>
Soumis le : jeudi 8 octobre 2015 - 00:45:09
Dernière modification le : lundi 9 octobre 2017 - 13:18:03
Document(s) archivé(s) le : samedi 9 janvier 2016 - 10:14:58

Fichiers

wg2soar.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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, Elsevier, 2015, pp.18. 〈Elsevier〉. 〈10.1016/j.jlamp.2015.09.003〉. 〈hal-01213201〉

Partager

Métriques

Consultations de
la notice

301

Téléchargements du document

160