A Lightweight QR-assisted Zero-knowledge Identification Protocol For Secure Authentication

Sintesi Tecnica: Un Protocollo di Identificazione a Conoscenza Zero Assistito da QR Leggero per l'Autenticazione Sicura

Enunciato del Problema
L'autenticazione sicura in ambienti mobili, distribuiti e con risorse limitate affronta sfide significative. I metodi tradizionali, come i sistemi basati su password e le infrastrutture a certificato, spesso fanno affidamento su terze parti e introducono rischi come il furto d'identità, la fuga di dati e gli attacchi di replay. Sebbene i protocolli di Prova a Conoscenza Zero (ZKP), in particolare quelli basati sullo schema di identificazione di Schnorr, offrano una sicurezza robusta permettendo a un utente di dimostrare la conoscenza di un segreto senza rivelarlo, il loro dispiegamento pratico in ambienti mobili leggeri rimane limitato. Inoltre, i sistemi di autenticazione basati su codici QR esistenti soffrono spesso di vulnerabilità in cui codici copiati o riutilizzati possono facilitare attacchi di replay, specialmente quando la verifica dipende fortemente da server centrali.

Metodologia
Lo studio propone un protocollo di autenticazione leggero e non interattivo che integra ZKP basato su Schnorr con la trasmissione di dati tramite codice QR. Il sistema opera sulla difficoltà computazionale del Problema del Logaritmo Discreto (DLP).

• Progettazione del Protocollo: Il protocollo utilizza la trasformazione di Fiat-Shamir per convertire il protocollo interattivo di Schnorr in uno non interattivo.
  • Lato Prover: Il prover, in possesso di una chiave privata $x$ e di una corrispondente chiave pubblica $y = g^x \mod p$, genera un valore casuale $r$ per calcolare un impegno $t = g^r \mod p$. Una sfida $c$ è derivata in modo deterministico hashando l'impegno, la chiave pubblica, un nonce e un timestamp ($c = Hash(t || y || nonce || timestamp)$). La risposta $s$ è calcolata come $s = r + cx \mod (p-1)$. La tupla di prova risultante $\pi = (t, s, nonce, timestamp)$ è codificata in formato JSON e incorporata all'interno di un codice QR.
  • Lato Verifier: Il verifier decodifica il codice QR, convalida il timestamp per garantire la freschezza, ricalcola la sfida $c$ e verifica l'equazione $g^s = t \cdot y^c \mod p$.
• Meccanismi di Sicurezza: Per contrastare il rischio intrinseco di attacchi di replay nei codici QR visivi, il sistema incorpora un timestamp e un nonce. Il timestamp garantisce che la prova sia valida solo all'interno di una specifica finestra temporale ($\Delta$), mentre il nonce garantisce la diversità della prova per ogni sessione.
• Canale di Trasmissione: Il codice QR funge da mezzo di trasmissione unidirezionale e senza contatto. Non fornisce di per sé sicurezza crittografica, ma preserva l'integrità dei dati della prova, affidando la sicurezza al protocollo crittografico sottostante.

Contributi Chiave
Il documento identifica tre contributi principali:

1. La progettazione di un protocollo di autenticazione ZKP leggero e non interattivo strutturato specificamente per la trasmissione tramite codici QR.
2. L'implementazione di un meccanismo di verifica basato su timestamp per mitigare i rischi di attacchi di replay intrinseci nei codici QR statici o copiabili.
3. Una valutazione della compatibilità delle dimensioni della prova con i vincoli di capacità dei codici QR standard.

Risultati
Il protocollo è stato valutato utilizzando un ambiente di simulazione basato su Python con un livello di sicurezza a 256 bit.

• Prestazioni: Sia i tempi di generazione della prova che quelli di verifica sono risultati nell'ordine dei millisecondi. Nello specifico, i tempi di generazione sono variati da circa 0,00014 a 0,00018 secondi, mentre i tempi di verifica sono variati da 0,00030 a 0,00078 secondi. La prima esecuzione di generazione ha mostrato una latenza leggermente più elevata a causa dell'inizializzazione dei parametri, ma le esecuzioni successive sono rimaste altamente efficienti.
• Dimensione dei Dati: La dimensione dei dati di prova generati, codificati in JSON, è rimasta costante a circa 491–495 byte (circa 0,5 KB). Questa dimensione rientra ampiamente nella capacità dei codici QR standard, anche di versioni inferiori, facilitando una trasmissione agevole.

Significato e Affermazioni
Gli autori affermano che il modello proposto offre una soluzione di autenticazione sicura e praticabile per ambienti con risorse computazionali basse e requisiti infrastrutturali minimi. Combinando la sicurezza degli ZKP basati su Schnorr con la praticità dei codici QR, il sistema permette la verifica senza rivelare la chiave segreta, mantenendo al contempo la resilienza contro gli attacchi di replay.

Lo studio posiziona questo approccio come particolarmente adatto per:

• Sistemi gateway IoT.
• Meccanismi di controllo degli accessi temporanei.
• Applicazioni di autenticazione mobile.

Il documento conclude che il modello bilancia una forte sicurezza crittografica con un basso sovraccarico computazionale, rendendolo appropriato per il dispiegamento pratico nel controllo degli accessi fisico e negli scenari mobili. Gli autori notano che i lavori futuri si concentreranno sull'integrazione di questo modello con la gestione dell'identità basata su blockchain, conducendo analisi di scalabilità ed eseguendo test sperimentali su hardware reale.