Combining behavioural types with security analysis

Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres

doi:10.1016/j.jlamp.2015.09.003

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.

Trovami (UniCASearch)

Titolo:	Combining behavioural types with security analysis
Autori:	BARTOLETTI, MASSIMO Castellani, Ilaria Deniélou, Pierre Malo Dezani Ciancaglini, Mariangiola Ghilezan, Silvia Pantovic, Jovanka Pérez, Jorge A. Thiemann, Peter Toninho, Bernardo Vieira, Hugo Torres mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2015
Rivista:	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Handle:	http://hdl.handle.net/11584/143181
Tipologia:	1.1 Articolo in rivista

File in questo prodotto:

File	Descrizione	Tipologia	Licenza
WG2SOAR.pdf	Articolo principale	versione pre-print		Administrator Richiedi una copia

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11584/143181

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

UNICA IRIS Institutional Research Information System

File in questo prodotto: