IRIS

ALDINI, ALESSANDRO

ALDINI, ALESSANDRO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autore(i) File
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 1-gen-2019 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
16th International Conference on Availability, Reliability and Security - Welcome Message from the BASS Workshop Organizers 1-gen-2021 Aldini, Alessandro
A Calculus for Trust and Reputation Systems 1-gen-2014 Aldini, Alessandro
A Collaborative Framework for Generating Probabilistic Contracts 1-gen-2013 F., Martinelli; A., Saracino; D., Sgandurra; Aldini, Alessandro
A Formal Approach to the Integrated Analysis of Security and QoS 1-gen-2007 Aldini, Alessandro; Bernardo, Marco
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems 1-gen-2016 Aldini, Alessandro
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks 1-gen-2015 Aldini, Alessandro
A General Approach to Deadlock Freedom Verification for Software Architectures 1-gen-2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 1-gen-2009 Aldini, Alessandro; Bernardo, Marco
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
A Note on Knowing Machines 1-gen-2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
A Probabilistic Formulation of Imperfect Cryptography 1-gen-2003 Troina, A; Aldini, Alessandro; Gorrieri, R.
A Process Algebraic Approach to Software Architecture Design 1-gen-2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 1-gen-2004 Aldini, Alessandro; Bravetti, M; Gorrieri, R.
A Quantitative Approach to Noninterference for Probabilistic Systems 1-gen-2004 Aldini, Alessandro; DI PIERRO, A.
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 1-gen-2003 Aldini, Alessandro; Amoroso, A; Roccetti, M.
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 1-gen-1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism 1-gen-2003 Aldini, Alessandro; R., Gorrieri
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 1-gen-2018 Aldini, A; Tagliaferri, M
A Trust Logic for Pre-Trust Computations 1-gen-2018 Tagliaferri, Mirko; Aldini, Alessandro