IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 114
Titolo Data di pubblicazione Autore(i) File
A Note on Knowing Machines 1-gen-2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 1-gen-2015 Joaquin Garcia, Alfaro; Jordi Herrera, Joancomartí; Emil, Lupu; Joachim, Posegga; Aldini, Alessandro; Fabio, Martinelli; Neeraj, Suri
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 1-gen-2015 Aldini, Alessandro; Bernardo, Marco
Detection of repackaged mobile applications through a collaborative approach 1-gen-2015 Aldini, Alessandro; Fabio, Martinelli; Andrea, Saracino; Daniele, Sgandurra
Formal Modeling and Verification of Opportunity-enabled Risk Management 1-gen-2015 Aldini, Alessandro; Seigneur, Jean Marc; Lafuente, Carlos Ballester; Titi, Xavier; Guislain, Jonathan
Do the Self-Knowing Machines Dream of Knowing Their Factivity? 1-gen-2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Modeling and verification of trust and reputation systems 1-gen-2015 Aldini, Alessandro
Teoria degli automi per linguaggi formali 1-gen-2014 Aldini, Alessandro
User-Centric Networking - Future Perspectives 1-gen-2014 Aldini, Alessandro; Bogliolo, Alessandro
A Calculus for Trust and Reputation Systems 1-gen-2014 Aldini, Alessandro
On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks 1-gen-2014 Aldini, Alessandro; Bogliolo, Alessandro; C., Ballester Lafuente; J. M., Seigneur
Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless CommunicationsSecurity, Privacy, Trust, and Resource Management in Mobile and Wireless Communications 1-gen-2014 Aldini, Alessandro; Bogliolo, Alessandro
Foundations of Security Analysis and Design VII 1-gen-2014 Aldini, Alessandro; J., Lopez; F., Martinelli
Saving Privacy in Trust-Based User-Centric Distributed Systems 1-gen-2014 Aldini, Alessandro
Formal Approach to Design and Automatic Verification of Cooperation-Based Networks 1-gen-2013 Aldini, Alessandro
A Collaborative Framework for Generating Probabilistic Contracts 1-gen-2013 F., Martinelli; A., Saracino; D., Sgandurra; Aldini, Alessandro
Model Checking of Trust-Based User-Centric Cooperative Networks 1-gen-2012 Aldini, Alessandro; Bogliolo, Alessandro
Trading Performance and Cooperation Incentives in User-Centric Networks 1-gen-2012 Aldini, Alessandro; Bogliolo, Alessandro
Approximating Markovian Testing Equivalence 1-gen-2012 Aldini, Alessandro
Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks 1-gen-2012 Aldini, Alessandro; Carlos, Ballester; Bogliolo, Alessandro; Paulo, Mendes; Waldir, Moreira; Polidori, Paolo; Jean Marc, Seigneur; Mursel, Yildiz
Mostrati risultati da 41 a 60 di 114
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