Sponsored Group Signature and its Application to Privacy-preserving Guest Access in Smart Environments

Sintesi Tecnica: Firma di Gruppo Sponsorizzata e la sua Applicazione all'Accesso per Ospiti Preservante la Privacy in Ambienti Intelligenti

Problematica
Il documento affronta la sfida di fornire un accesso temporaneo e preservante la privacy per gli ospiti in ambienti intelligenti (ad esempio, edifici intelligenti, università, corporazioni). Le soluzioni esistenti spesso si affidano a un Group Manager (GM) centralizzato che deve essere online per emettere credenziali, oppure utilizzano le Ring Signature che mancano di accountability (responsabilità). Nello specifico, le normali firme di gruppo richiedono un GM fidato per l'iscrizione degli utenti, creando un collo di bottiglia per l'accesso spontaneo degli ospiti. Al contrario, le soluzioni che rimuovono il GM (come le Ring Signature) spesso mancano della capacità di tracciare comportamenti scorretti o di imporre politiche di accesso (ad esempio, limitando il numero di token per ogni host). Gli autori identificano la necessità di un meccanismo che permetta ai membri esistenti (host) di iscrivere nuovi membri (ospiti) senza l'interazione del GM, mantenendo al contempo l'anonimato per gli ospiti e garantendo l'accountability per gli host.

Metodologia
Gli autori propongono una nuova primitiva crittografica chiamata Sponsored Group Signature (SPGS). La SPGS è uno schema di firma di gruppo gerarchico a due livelli:

1. Livello 1 (Sponsor): Questi sono i membri originali del gruppo (ad esempio, residenti/host dell'edificio). Essi si uniscono al sistema tramite l'interazione con un Group Manager (GM) fidato.
2. Livello 2 (Membri Sponsorizzati): Questi sono nuovi membri (ad esempio, ospiti) iscritti dagli Sponsor senza interagire con il GM.

Proprietà Chiave della SPGS:

• Join Decentralizzato: Gli Sponsor possono "sponsorizzare" nuovi membri, eliminando la necessità che il GM sia online per ogni nuova iscrizione.
• Accountability: Se un membro sponsorizzato si comporta in modo scorretto, la sua firma può essere "aperta" dal GM per rivelare l'identità dello sponsor che lo ha iscritto.
• Linkability (Collegabilità): Mentre gli sponsor godono di pieno anonimato (firme non collegate), le firme dei membri sponsorizzati sono collegabili. Ciò consente al sistema di tracciare il comportamento di un determinato ospite o di contare il numero di token emessi da un determinato host senza rivelare le loro identità reali.
• Sicurezza: Lo schema garantisce correttezza, non-frameability (gli utenti non possono essere incastrati), anonimato dello sponsor, tracciabilità dello sponsor, privacy del membro sponsorizzato e linkability del membro sponsorizzato.

Costruzione
Il documento fornisce una costruzione generica di SPGS nel modello standard utilizzando tre blocchi costruttivi:

1. Uno schema di Group Signature (GS) (parzialmente) dinamico.
2. Uno Schema di Impegno (Commitment Scheme), specificamente uno omomorfico.
3. Una prova di conoscenza Non-Interactive Zero-Knowledge (NIZK) a conoscenza sonora (knowledge-sound).

In questa costruzione:

• Gli Sponsor interagiscono con il GM per ottenere le chiavi di gruppo standard.
• I membri sponsorizzati generano una chiave privata casuale e un impegno ad essa come chiave pubblica.
• Lo sponsor firma questa chiave pubblica utilizzando lo schema di firma di gruppo sottostante.
• Il membro sponsorizzato firma i messaggi utilizzando una prova NIZK che dimostra la conoscenza della chiave privata corrispondente alla chiave pubblica impegnata, trattando il messaggio come parte dei parametri pubblici.

Applicazione: k-times Anonymous Guest Access Token (k-AGAT)
Per dimostrare l'utilità pratica, gli autori applicano la SPGS per costruire il k-AGAT per edifici intelligenti.

• Meccanismo: Un host agisce come sponsor e un ospite agisce come membro sponsorizzato. L'host emette un token contenente la chiave pubblica dell'ospite e i vincoli di policy (ad esempio, tempo di scadenza).
• Linkability per l'Applicazione delle Policy: Lo schema utilizza pseudonimi per consentire al verificatore (Autorità di Gestione dell'Accesso) di collegare più token allo stesso host. Ciò consente al sistema di imporre un limite "k", assicurando che un host non possa emettere più di un numero specifico di token per gli ospiti.
• Tracciabilità: In caso di comportamento scorretto, l'Infrastruttura di Gestione (IM) può aprire il token per rivelare l'entità ospitante, garantendo l'accountability.
• Privacy: Le identità sia dell'host che dell'ospite rimangono nascoste al verificatore durante il normale funzionamento.

Risultati e Valutazione
Gli autori hanno implementato le componenti crittografiche del protocollo (utilizzando firme di gruppo BBS, impegni di Pedersen e prove NIZK di tipo Schnorr) e le hanno confrontate con una linea di base non privata utilizzando firme digitali standard.

• Prestazioni: L'implementazione mostra che, sebbene il protocollo proposto introduca un overhead computazionale (particolarmente per l'host e l'IM a causa delle operazioni di firma di gruppo e della crittografia), i costi sono nell'ordine dei millisecondi.
• Archiviazione: L'overhead di archiviazione è gestibile per i moderni dispositivi intelligenti, sebbene l'IM richieda più memoria per mantenere le chiavi dei membri e le liste di pseudonimi.
• Fattibilità: I risultati confermano che l'approccio preservante la privacy è sufficientemente efficiente per un dispiegamento nel mondo reale, bilanciando sicurezza e prestazioni.

Significatività e Rivendicazioni
Il documento afferma che la SPGS colma una lacuna critica nel controllo dell'accesso preservante la privacy, abilitando l'iscrizione decentralizzata dell'utente senza sacrificare l'accountability.

• Offre un'alternativa flessibile alle tradizionali firme di gruppo dove il GM deve essere online per ogni operazione di iscrizione.
• Migliora le Ring Signature e le firme Linkable Spontaneous Anonymous Group (LSAG) fornendo un meccanismo per tracciare il comportamento scorretto fino a un'entità responsabile (lo sponsor), invece di offrire un anonimato incondizionato che impedisce l'accountability.
• L'applicazione k-AGAT dimostra una soluzione concreta per l'iscrizione degli ospiti "zero-touch" negli edifici intelligenti, consentendo agli host di gestire le policy di accesso degli ospiti (durata, frequenza) preservando l'anonimato di entrambe le parti rispetto al fornitore dell'infrastruttura.

Gli autori concludono che il loro lavoro fornisce un framework formale e un'istanza pratica ed efficiente per l'accesso per ospiti responsabile e preservante la privacy in ambienti intelligenti, suggerendo lavori futuri per scenari multi-edificio e gerarchie di ospiti multi-livello.