ALDINI, ALESSANDRO

ALDINI, ALESSANDRO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.02 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 hierarchical characterization of ignorance in epistemic Logic 1-gen-2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
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 probabilistic modal logic for context-aware trust based on evidence 1-gen-2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
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 Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance 1-gen-2023 Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc
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