Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/5316
Nаziv: | Combining behavioural types with security analysis | Аutоri: | Bartoletti M. Castellani I. Deniélou P. Dezani-Ciancaglini M. Gilezan, Silvia Pantović, Jovanka Pérez J. Thiemann P. Toninho B. Vieira H. |
Dаtum izdаvаnjа: | 1-нов-2015 | Čаsоpis: | Journal of Logical and Algebraic Methods in Programming | Sažetak: | © 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
12
prоvеrеnо 26.08.2023.
Prеglеd/i stаnicа
95
Prоtеklа nеdеljа
34
34
Prоtеkli mеsеc
6
6
prоvеrеnо 03.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.