Sfoglia per Autore
A Trust Logic for Pre-Trust Computations
2018-01-01 Tagliaferri, Mirko; Aldini, Alessandro
Design and Verification of Trusted Collective Adaptive Systems
2018-01-01 Aldini, Alessandro
Introducing a flexible rewarding platform for mobile crowd-sensing applications
2018-01-01 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures
2018-01-01 Aldini, A; Tagliaferri, M
Italian Conference on Theoretical Computer Science (ICTCS 2018)
2018-01-01 Aldini, Alessandro; Bernardo, Marco
Design and validation of a trust-based opportunity-enabled risk management system
2017-01-01 Aldini, Alessandro; Seigneur, Jean Marc; Ballester Lafuente, Carlos; Titi, Xavier; Guislain, Jonathan
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine
2016-01-01 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Data Privacy Management and Security Assurance. 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
2016-01-01 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis
2016-01-01 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
On Probabilistic Application Compliance
2016-01-01 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Data Privacy Management, and Security Assurance. 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers
2016-01-01 Aldini, Alessandro; Martinelli, Fabio; Suri, Neeraj
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
2016-01-01 Aldini, Alessandro
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures
2016-01-01 Aldini, Alessandro; Javier, Lopez; Fabio, Martinelli
Expected-Delay-Summing Weak Bisimilarity for Markov Automata
2015-01-01 Aldini, Alessandro; Bernardo, Marco
A Note on Knowing Machines
2015-01-01 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Formal Modeling and Verification of Opportunity-enabled Risk Management
2015-01-01 Aldini, Alessandro; Seigneur, Jean Marc; Lafuente, Carlos Ballester; Titi, Xavier; Guislain, Jonathan
Modeling and verification of trust and reputation systems
2015-01-01 Aldini, Alessandro
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
2015-01-01 Joaquin Garcia, Alfaro; Jordi Herrera, Joancomartí; Emil, Lupu; Joachim, Posegga; Aldini, Alessandro; Fabio, Martinelli; Neeraj, Suri
Do the Self-Knowing Machines Dream of Knowing Their Factivity?
2015-01-01 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks
2015-01-01 Aldini, Alessandro
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile