Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/5316
Назив: | Combining behavioural types with security analysis | Аутори: | Bartoletti M. Castellani I. Deniélou P. Dezani-Ciancaglini M. Gilezan, Silvia Pantović, Jovanka Pérez J. Thiemann P. Toninho B. Vieira H. |
Датум издавања: | 1-нов-2015 | Часопис: | Journal of Logical and Algebraic Methods in Programming | Сажетак: | © 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. | URI: | https://open.uns.ac.rs/handle/123456789/5316 | DOI: | 10.1016/j.jlamp.2015.09.003 |
Налази се у колекцијама: | FTN Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
12
проверено 26.08.2023.
Преглед/и станица
95
Протекла недеља
34
34
Протекли месец
6
6
проверено 03.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.