Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Bartoletti2015763 (Article)
Author(s) Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho and Hugo Torres Vieira
Title« Combining behavioural types with security analysis  »
JournalJournal of Logical and Algebraic Methods in Programming
Volume84
Number6
Page(s)763 - 780
Year2015
ISSN number2352-2208
URLhttp://arxiv.org/abs/1510.02229
NoteSpecial Issue on Open Problems in Concurrency Theory
Abstract
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.

BibTeX code

@article{Bartoletti2015763,
  number = {6},
  volume = {84},
  author = {Massimo Bartoletti and Ilaria Castellani and Pierre-Malo Deni\'elou
            and Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka
            Pantovic and Jorge A. P\'erez and Peter Thiemann and Bernardo
            Toninho and Hugo Torres Vieira},
  issn = {2352-2208},
  note = {Special Issue on Open Problems in Concurrency Theory },
  url = {http://arxiv.org/abs/1510.02229},
  abstract = {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. },
  title = {Combining behavioural types with security analysis },
  doi = {http://dx.doi.org/10.1016/j.jlamp.2015.09.003},
  journal = {Journal of Logical and Algebraic Methods in Programming },
  pages = {763 - 780},
  year = {2015},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!