IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 120
Titolo Data di pubblicazione Autore(i) File
Modeling and Verification of the Worth-One-Minute Security Protocols 1-gen-2020 Remedi, Giorgia; Aldini, Alessandro; Bogliolo, Alessandro; Delpriori, Saverio; Klopfenstein, CUNO LORENZ
A Trust Logic for the Varieties of Trust 1-gen-2020 Tagliaferri, Mirko; Aldini, Alessandro
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond 1-gen-2020 Aldini, Alessandro
Logics to Reason Formally About Trust Computation and Manipulation 1-gen-2020 Aldini, Alessandro; Tagliaferri, Mirko
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 1-gen-2019 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
PROCEDIMENTO DI SELEZIONE AUTOMATICA DI FOTOGRAFIE DIGITALI DA UN ARCHIVIO PER LA CREAZIONE AUTOMATICA DI UNA SEQUENZA DI FOTO CHE RAPPRESENTA UNA STORIA EMOZIONALE DA STAMPARE E/O CONSERVARE 1-gen-2018 Aldini, Alessandro; Mainetti, Andrea
Procedimento di valutazione automatica della qualità di foto digitali 1-gen-2018 Aldini, Alessandro; Mainetti, Andrea
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 1-gen-2018 Aldini, A; Tagliaferri, M
Italian Conference on Theoretical Computer Science (ICTCS 2018) 1-gen-2018 Aldini, Alessandro; Bernardo, Marco
Introducing a flexible rewarding platform for mobile crowd-sensing applications 1-gen-2018 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
Towards attack-resistant Aggregate Computing using trust mechanisms 1-gen-2018 Casadei, Roberto; Aldini, Alessandro; Viroli, Mirko
A Trust Logic for Pre-Trust Computations 1-gen-2018 Tagliaferri, Mirko; Aldini, Alessandro
Combining Trust and Aggregate Computing 1-gen-2018 Casadei, Roberto; Aldini, Alessandro; Viroli, Mirko
Design and Verification of Trusted Collective Adaptive Systems 1-gen-2018 Aldini, Alessandro
From Knowledge to Trust: A Logical Framework for Pre-trust Computations 1-gen-2018 Tagliaferri, Mirko; Aldini, Alessandro
Design and validation of a trust-based opportunity-enabled risk management system 1-gen-2017 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 1-gen-2016 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures 1-gen-2016 Aldini, Alessandro; Javier, Lopez; Fabio, Martinelli
On Probabilistic Application Compliance 1-gen-2016 Aldini, Alessandro; La Marra, Antonio; Martinelli, Fabio; Saracino, Andrea
Mostrati risultati da 21 a 40 di 120
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