DC FieldValueLanguage
dc.contributor.authorBartoletti, Massimoen
dc.contributor.authorCastellani, Ilariaen
dc.contributor.authorDeniélou, Pierre Maloen
dc.contributor.authorDezani-Ciancaglini, Mariangiolaen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorPantović, Jovankaen
dc.contributor.authorPérez, Jorgeen
dc.contributor.authorThiemann, Peteren
dc.contributor.authorToninho, Bernardoen
dc.contributor.authorVieira, Hugo Torresen
dc.date.accessioned2020-05-02T16:42:19Z-
dc.date.available2020-05-02T16:42:19Z-
dc.date.issued2015-11-01en
dc.identifier.issn2352-2208-
dc.description.abstractToday'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.en
dc.publisherElsevier-
dc.relation.ispartofJournal of Logical and Algebraic Methods in Programmingen
dc.titleCombining behavioural types with security analysisen
dc.typeArticleen
dc.identifier.doi10.1016/j.jlamp.2015.09.003en
dc.identifier.scopus2-s2.0-84997755144en
dc.relation.firstpage763en
dc.relation.lastpage780en
dc.relation.issue6en
dc.relation.volume84en
dc.description.rankM21-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

12
checked on Nov 27, 2022

Page view(s)

19
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.