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

11
checked on Sep 16, 2022

Page view(s)

16
checked on Oct 1, 2022

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.