Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/5316
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bartoletti M. | en_US |
dc.contributor.author | Castellani I. | en_US |
dc.contributor.author | Deniélou P. | en_US |
dc.contributor.author | Dezani-Ciancaglini M. | en_US |
dc.contributor.author | Gilezan, Silvia | en_US |
dc.contributor.author | Pantović, Jovanka | en_US |
dc.contributor.author | Pérez J. | en_US |
dc.contributor.author | Thiemann P. | en_US |
dc.contributor.author | Toninho B. | en_US |
dc.contributor.author | Vieira H. | en_US |
dc.date.accessioned | 2019-09-30T08:47:12Z | - |
dc.date.available | 2019-09-30T08:47:12Z | - |
dc.date.issued | 2015-11-01 | - |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/5316 | - |
dc.description.abstract | © 2015 Elsevier Inc. 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. | en_US |
dc.relation.ispartof | Journal of Logical and Algebraic Methods in Programming | en_US |
dc.title | Combining behavioural types with security analysis | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.1016/j.jlamp.2015.09.003 | - |
dc.identifier.scopus | 2-s2.0-84997755144 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84997755144 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 780 | en_US |
dc.relation.firstpage | 763 | en_US |
dc.relation.issue | 6 | en_US |
dc.relation.volume | 84 | en_US |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.dept | Departman za opšte discipline u tehnici | - |
crisitem.author.orcid | 0000-0003-2253-8285 | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
crisitem.author.parentorg | Fakultet tehničkih nauka | - |
Appears in Collections: | FTN Publikacije/Publications |
SCOPUSTM
Citations
12
checked on Aug 26, 2023
Page view(s)
95
Last Week
34
34
Last month
6
6
checked on May 3, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.