logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-05192011-103104


Tipo di tesi
Tesi di laurea specialistica
Autore
ROPERTI, FRANCESCO
URN
etd-05192011-103104
Titolo
Trust negotiation: implementazione efficiente su Android.
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA PER LA GESTIONE D'AZIENDA
Relatori
relatore Prof. Dini, Gianluca
correlatore Prof. Bernardeschi, Cinzia
relatore Dott. Martinelli, Fabio
Parole chiave
  • Android
  • c-semiring
  • CHR
  • Constraint Handling Rules
  • Logical Reasoning
  • Role-based Trust-management Markup Language
  • RT framework
  • RTML
  • Trust Negotiation
Data inizio appello
09/06/2011
Consultabilità
Parziale
Data di rilascio
09/06/2051
Riassunto
In un contesto in cui i dispositivi mobili sono in grado di interconnettersi tra loro, rappresentando dei nodi autonomi in grado di instaurare canali di comunicazione per eseguire i propri task, risulta di fondamentale importanza usare meccanismi di autorizzazione che si basano su una conoscenza parziale del partner di comunicazione e la possibilità di disporre di funzionalità avanzate per scoprire le credenziali necessarie all’accesso. Questo lavoro di tesi si pone come obiettivo l’elaborazione di un sistema software per il trust negotiation sfruttando due tipi importanti di logical reasoning: deduzione e abduzione. Inoltre è stata riposta particolare attenzione alla famiglia RT, o meglio ad una versione estesa con i soft-constraint arricchendo il framework con informazioni aggiuntive come livelli di preferenza e realizzando un linguaggio di markup, RTML^W, in grado di rappresentare fisicamente questo tipo di credenziali.
File