12 citations · 21 across the 8 of their papers we have counts for
8 papers
Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
Andrea Esposito, Alessandro Aldini, Marco Bernardo
The theory of noninterference supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on…
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
Andrea Esposito, Alessandro Aldini, Marco Bernardo +1
The theory of noninterference supports the analysis of information leakage and the execution of secure computations in multi-level security systems. Classical equivalence-based app…
Quantitative Aspects of Programming Languages and Systems over the past years and beyond
Alessandro Aldini
Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliabil…
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
Alessandro Aldini, Herbert Wiklicky
This EPTCS volume contains the proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in Prague, Czech Republic, on Sunday 7…
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing non…
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
Alessandro Aldini
Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and…