@ARTICLE{
author={Bartoletti Massimo|,Castellani Ilaria|,Denielou Pierre-Malo|,Dezani-Ciancaglini Mariangiola|,Ghilezan Silvia|0000-0003-2253-8285,Pantovic Jovanka B|0000-0002-3974-5064,Perez Jorge A|,Thiemann Peter|,Toninho Bernardo|,Vieira Hugo Torres|},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
}