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

doi:10.1016/j.jlamp.2015.09.003

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

Fundamental Computing

Research output: Contribution to journal › Article › Academic › peer-review

12 Citations (Scopus)

5 Downloads (Pure)

Original language	English
Pages (from-to)	763-780
Number of pages	18
Journal	The Journal of Logical and Algebraic Methods in Programming
Volume	84
Issue number	6
DOIs	https://doi.org/10.1016/j.jlamp.2015.09.003
Publication status	Published - Nov-2015

Access to Document

10.1016/j.jlamp.2015.09.003Licence: Elsevier

Combining behavioural types with security analysisFinal publisher's version, 600 KBLicence: Taverne

Handle.net

Persistent link

Cite this

@article{1f66778da58e45d09a410b2bfc0707b4,

title = "Combining behavioural types with security analysis",

author = "Massimo Bartoletti and Ilaria Castellani and Pierre-Malo Deni{\'e}lou and Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka Pantovic and P{\'e}rez, {Jorge A.} and Peter Thiemann and Bernardo Toninho and Vieira, {Hugo Torres}",

year = "2015",

month = nov,

doi = "10.1016/j.jlamp.2015.09.003",

language = "English",

volume = "84",

pages = "763--780",

journal = "The Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

number = "6",

}

TY - JOUR

T1 - Combining behavioural types with security analysis

AU - Bartoletti, Massimo

AU - Castellani, Ilaria

AU - Deniélou, Pierre-Malo

AU - Dezani-Ciancaglini, Mariangiola

AU - Ghilezan, Silvia

AU - Pantovic, Jovanka

AU - Pérez, Jorge A.

AU - Thiemann, Peter

AU - Toninho, Bernardo

AU - Vieira, Hugo Torres

PY - 2015/11

Y1 - 2015/11

U2 - 10.1016/j.jlamp.2015.09.003

DO - 10.1016/j.jlamp.2015.09.003

M3 - Article

SN - 2352-2208

VL - 84

SP - 763

EP - 780

JO - The Journal of Logical and Algebraic Methods in Programming

JF - The Journal of Logical and Algebraic Methods in Programming

IS - 6

ER -