• Android
• c-semiring
• CHR
• Constraint Handling Rules
• Logical Reasoning
• Role-based Trust-management Markup Language
• RT framework
• RTML
• Trust Negotiation

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.