CBC-MAC

tecnica per costruire un codice di autenticazione di messaggio
Versione del 16 mar 2009 alle 16:52 di No2 (discussione | contributi) (+ interlink)

In crittografia, un Cipher Block Chaining Message Authentication Code, abbreviato CBC-MAC, è una tecnica per costruire un codice di autenticazione di messaggio usando un cifrario a blocchi. Il messaggio è crittografato con qualche algoritmo di crittografia a blocchi in modalità CBC per creare una catena di blocchi in cui ognuno di essi dipende dalla cifratura del blocco precedente. Questa interdipendenza assicura che un cambiamento ad un qualsiasi bit del testo in chiaro causerà un cambiamento nel blocco finale crittografato che non può essere predetto o calcolato senza conoscere la chiave di codifica.

Per calcolare il CBC-MAC del messaggio m si cripta m in modalità CBC con il vettore di inizializzazione a zero. La figura seguente mostra il calcolo del CBC-Mac di un messaggio diviso in blocchi usando una chiave segreta k e un cifrario a blocchi E.

Lunghezza dei messaggi variabile

Dato un cifrario a blocchi sicuro, CBC-MAC è sicuro per messaggi a lunghezza fissa. Tuttavia, di per sè, non è sicuro per messaggi di lunghezza variabile. Un attaccante che conosce coppie messaggio-codice CBM-MAC  ,   può generare un terzo messaggio   il cui CBC-MAC sia  . Ciò è possibile semplicemente effettuando lo XOR tra il primo blocco di   con   e quindi concatenando   con questa versione modificata di  , es.facendo  .


Questo problema non può essere risolto aggiungendo un blocco di lunghezza del messaggio (e.g., con Merkle-Damgård strengthening) ed è raccomandato l'uso di una differente modalità operativa, per esempio, CMAC per proteggere l'integrità dei messaggi a lunghezza variabile.

Utilizzo della stessa chiave per crittografare e autenticare

Un errore comune è riutilizzare la stessa chiave   per la crittografia CBC e il CBC-MAC. Anche se un riutilizzo della chiave per scopi differenti è una pratica sconsigliata in generale, in questo caso particolare l'errore porta ad un attacco spettacolare.

Supponiamo che un utente effettui la crittografia di un messaggio   in modalità CBC usando un IV   ed ottenendo il seguente testo cifrato:  , dove  . Inoltre, genera il codice CBC-MAC per IV e per il messaggio:  .

Adesso un attaccante può cambiare ogni bit prima dell'ultimo blocco   e il codice MAC sarà ancora valido. La ragione è che   (questa è attualmente la ragione per cui le persone commettono questo errore così frequentemente—ciò permette di incrementare le performance di un fattore pari a due). Da adesso finchè l'ultimo blocco non è cambiato l'equivalenza   rimane valida e cos' il codice CBC-MAC è corretto.

Questo esempio mostra, inoltre, che un CBC-MAC non può essere usato come funzione monodirezionale resistente alle collisioni: data una chiave è banale creare un messaggio differente che generi lo stesso codice.

Voci correlate

Riferimenti

  Portale Crittografia: accedi alle voci di Wikipedia che trattano di crittografia

Template:Crittografia