Trust negotiation: implementazione efficiente su Android.

(1)

2

Indice

1. INTRODUZIONE ... 4

2. IL FRAMEWORK RT ... 5

2.1 Introduzione ... 5 2.2 RT0 ... 9 2.2.1 Sintassi ... 9 2.2.2 Semantica ... 11 2.2.3 Esempio ... 12 2.3 RT1 ...13 2.3.1 Ruoli parametrici ... 13 2.3.2 Sintassi ... 14 2.3.3 Tipi di dato ... 16 2.4 RTT ...18

2.4.1 Soglie e politiche per la separazione delle responsabilità (separation-of-duty). ... 18

2.4.2 Sintassi ... 19

2.5 Vocabolario comune ...19

2.6 RT Markup Language ...21

2.6.1 Introduzione e Trust Management ... 21

2.6.2 Estensioni ... 23

2.6.3 RTML versione 1 ... 29

3. IL FRAMEWORK RT

W

_{... 41}

3.1 Introduzione ...41

3.2 C-Semiring ...42

3.3 Datalog: estensione con pesi ...44

3.4 RTW: estensione di RT con pesi...46

3.5 Esempi ...50

(2)

3

4.1 Introduzione ...54

4.2 Deduzione/Abduzione ...55

4.3 Prolog ...58

4.4 Constraint Handling Rules ...61

4.5 RTMLW ed estensione del parser ...66

4.6 Modulo per il servizio di deduzione/abduzione ...71

4.6.1 Prolog Engine ... 76

4.6.2 CHR Engine ... 78

4.6.3 Gestione di SWI-Prolog... 81

4.6.4 Rappresentazione interna delle credenziali ... 82

4.7 SWI-Prolog su Android ...85 4.8 Test ...87 4.9 Applicazione Demo ...90

5. CONCLUSIONI ... 96

BIBLIOGRAFIA ... 97

APPENDICE A ... 100

Politiche di accesso ... 100 Credenziali ... 102