Combining behavioural types with security analysis

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

Research output: Contribution to journalArticle

10 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)763-780
Number of pages18
JournalJournal of Logical and Algebraic Methods in Programming
Volume84
Issue number6
DOIs
Publication statusPublished - 1 Nov 2015

Keywords

  • DYNAMIC WEB DATA
  • INFORMATION-FLOW
  • SESSION TYPES
  • PI-CALCULUS
  • CORRESPONDENCE ASSERTIONS
  • ACCESS-CONTROL
  • LANGUAGE
  • NONINTERFERENCE

Fingerprint Dive into the research topics of 'Combining behavioural types with security analysis'. Together they form a unique fingerprint.

  • Cite this

    Bartoletti, M., Castellani, I., Deniélou, P. M., Dezani-Ciancaglini, M., Ghilezan, S., Pantovic, J., Pérez, J. A., Thiemann, P., Toninho, B., & Vieira, H. T. (2015). Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84(6), 763-780. https://doi.org/10.1016/j.jlamp.2015.09.003