Gli ingegneri dell'azienda Intel hanno proposto un nuovo protocollo HTTPA (HTTPS Attestable) che amplia l'HTTPS con ulteriori garanzie di sicurezza per i calcoli effettuati. HTTPA garantisce l'integrità dell'elaborazione della richiesta dell'utente sul server e permette di verificare che il servizio web sia affidabile e che il codice in esecuzione nell'ambiente TEE (Trusted Execution Environment) sul server non sia stato modificato a causa di un attacco o di un sabotaggio da parte dell'amministratore.
L'HTTPS protegge i dati trasmessi durante la loro trasmissione sulla rete, ma non può escludere la violazione della loro integrità a causa di attacchi al server. I enclavi isolati, creati tramite tecnologie come Intel SGX (Software Guard Extension), ARM TrustZone e AMD PSP (Platform Security Processor), offrono la possibilità di proteggere elaborazioni importanti e ridurre il rischio di fuga o modifica di informazioni riservate sul nodo finale.
HTTPA, per garantire l'affidabilità delle informazioni trasmesse, consente di utilizzare gli strumenti di attestazione forniti da Intel SGX che confermano l'autenticità dell'enclave in cui sono stati effettuati i calcoli. In sostanza, HTTPA estende l'HTTPS con la possibilità di attestazione remota dell'enclave e permette di verificare che venga eseguito in un ambiente autentico Intel SGX e che il servizio web possa essere considerato affidabile. Il protocollo è inizialmente sviluppato come universale e, oltre a Intel SGX, può essere implementato anche per altri sistemi TEE.
Oltre al consueto processo di stabilimento di una connessione sicura previsto per l'HTTPS, HTTPA richiede ulteriormente la negoziazione di una chiave di sessione affidabile. Il protocollo introduce un nuovo metodo HTTP chiamato «ATTEST», che consente di elaborare tre tipi di richieste e risposte:
- «preflight» per verificare se la controparte remota supporta l'attestazione degli enclavi;
- «attest» per negoziare i parametri di attestazione (scelta dell'algoritmo crittografico, scambio di sequenze casuali uniche per la sessione, generazione di un identificatore di sessione e trasmissione al cliente della chiave pubblica dell'enclave);
- «trusted session» — generazione di una chiave di sessione per uno scambio fidato di informazioni. La chiave di sessione viene generata sulla base di una sequenza segreta preliminare (pre-session secret) precedentemente concordata, formata dal cliente utilizzando quella ricevuta. server di chiavi aperte TEE e delle sequenze casuali generate da ciascuna parte.
HTTPA implica che il cliente sia fidato, mentre il server no, cioè il cliente può utilizzare questo protocollo per verificare i calcoli nell'ambiente TEE. Tuttavia, HTTPA non garantisce che i calcoli effettuati nel processo server web non siano stati compromessi perché richiede un approccio separato per lo sviluppo dei servizi web. Pertanto, HTTPA è principalmente orientato all'uso con servizi specializzati che hanno requisiti elevati in termini di integrità delle informazioni, come i sistemi finanziari e sanitari.
Per le situazioni in cui i calcoli nel TEE devono essere convalidati sia per il server che per il cliente, è previsto un protocollo mHTTPA (Mutual HTTPA), che esegue la verifica bidirezionale. Questa variante è più complessa a causa della necessità di formare le chiavi di sessione in entrambe le direzioni per server e cliente.
Fonte: opennet.ru
