ETD system

Electronic theses and dissertations repository

 

Tesi etd-05192011-103104


Thesis type
Tesi di laurea specialistica
Author
ROPERTI, FRANCESCO
URN
etd-05192011-103104
Title
Trust negotiation: implementazione efficiente su Android.
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA PER LA GESTIONE D'AZIENDA
Supervisors
relatore Prof. Dini, Gianluca
correlatore Prof. Bernardeschi, Cinzia
relatore Dott. Martinelli, Fabio
Parole chiave
  • CHR
  • Constraint Handling Rules
  • Android
  • Role-based Trust-management Markup Language
  • RTML
  • c-semiring
  • RT framework
  • Trust Negotiation
  • Logical Reasoning
Data inizio appello
09/06/2011;
Consultabilità
Parziale
Data di rilascio
09/06/2051
Riassunto analitico
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