<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Combining behavioural types with security analysis"^^ . "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."^^ . "2015-11" . . "84" . "6" . . "Elsevier"^^ . . . "Journal of Logical and Algebraic Methods in Programming"^^ . . . "23522208" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Pierre-Malo"^^ . "Deniélou"^^ . "Pierre-Malo Deniélou"^^ . . "Hugo"^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Ilaria"^^ . "Castellani"^^ . "Ilaria Castellani"^^ . . "Jorge A."^^ . "Pérez"^^ . "Jorge A. Pérez"^^ . . "Massimo"^^ . "Bartoletti"^^ . "Massimo Bartoletti"^^ . . "Silvia"^^ . "Ghilezan"^^ . "Silvia Ghilezan"^^ . . "Bernardo"^^ . "Toninho"^^ . "Bernardo Toninho"^^ . . "Peter"^^ . "Thiemann"^^ . "Peter Thiemann"^^ . . "Mariangiola"^^ . "Dezani-Ciancaglini"^^ . "Mariangiola Dezani-Ciancaglini"^^ . . "Jovanka"^^ . "Pantović"^^ . "Jovanka Pantović"^^ . . . . . . "Combining behavioural types with security analysis (PDF)"^^ . . . . "wg2soar.pdf"^^ . . . "Combining behavioural types with security analysis (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Combining behavioural types with security analysis (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Combining behavioural types with security analysis (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Combining behavioural types with security analysis (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2743 \n\nCombining behavioural types with security analysis\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .