分組密碼工作模式

密碼學中，區塊密碼的工作模式允許使用同一個區塊密碼金鑰對多於一塊的資料進行加密，並保證其安全性。區塊密碼自身只能加密長度等於密碼區塊長度的單塊資料，若要加密變長資料，則資料必須先被劃分為一些單獨的密碼塊。通常而言，最後一塊資料也需要使用合適填充方式將資料擴充套件到符合密碼塊大小的長度。一種工作模式描述了加密每一資料塊的過程，並常常使用基於一個通常稱為初始化向量的附加輸入值以進行隨機化，以保證安全。工作模式主要用來進行加密和認證。對加密模式的研究曾經包含資料的完整性保護，即在某些資料被修改後的情況下密碼的誤差傳播特性。後來的研究則將完整性保護作為另一個完全不同的，與加密無關的密碼學目標。部分現代的工作模式用有效的方法將加密和認證結合起來，稱為認證加密模式。雖然工作模式通常應用於對稱加密，它亦可以應用於公鑰加密，例如在原理上對RSA進行處理，但在實用中，公鑰密碼學通常不用於加密較長的資訊，而是使用結合對稱加密和公鑰加密的混合加密方案。歷史和標準化.最早出現的工作模式，ECB，CBC，OFB和CFB可以追溯到1981年。2001年，NIST修訂了其早先發布的工作模式工作列表，加入了AES，並加入了CTR模式。最後，在2010年1月，NIST加入了XTS-AES，而其餘的可信模式並沒有為NIST所認證。例如CTS是一種密文竊取的模式，許多常見的密碼學執行庫提供了這種模式。ECB，CBC，OFB，CFB，CTR和XTS模式僅僅提供了機密性；為了保證加密資訊沒有被意外修改或惡意篡改，需要採用分離的訊息驗證碼，例如CBC-MAC。密碼學社群認識到了對專用的保證完整性的方法的需求，NIST因此提出了HMAC，CMAC和GMAC。HMAC在2002年通過了認證，CMAC在2005年透過，GMAC則在2007年被標準化。在發現將認證模式與加密模式聯合起來的難度之後，密碼學社群開始研究結合了加密和認證的單一模式，這種模式被稱為認證加密模式，或稱為authenc。AE模式的例子包括CCM，GCM，CWC，EAX，IAPM和OCB。現在，工作模式為許多國家和國內的標準認證實體所定義，其中最有影響力的美國的NIST，而其它有影響力的組織包括ISO，IEC，IEEE，美國的ANSI，以及IETF。初始化向量.初始化向量是許多工作模式中用於將加密隨機化的一個位塊，由此即使同樣的明文被多次加密也會產生不同的密文，避免了較慢的重新產生金鑰的過程。初始化向量與金鑰相比有不同的安全性需求，因此IV通常無須保密，然而在大多數情況中，不應當在使用同一金鑰的情況下兩次使用同一個IV。對於CBC和CFB，重用IV會導致洩露明文首個塊的某些資訊，亦包括兩個不同訊息中相同的字首。對於OFB和CTR而言，重用IV會導致完全失去安全性。另外，在CBC模式中，IV在加密時必須是無法預測的；特別的，在許多實現中使用的產生IV的方法，例如SSL2.0使用的，即採用上一個訊息的最後一塊密文作為下一個訊息的IV，是不安全的。填充.塊密碼只能對確定長度的資料塊進行處理，而訊息的長度通常是可變的。因此部分模式，再以0位元組填滿最後一個塊；或向最後一個塊填充"n"個值均為"n"的位元組。CFB，OFB和CTR模式不需要對長度不為密碼塊大小整數倍的訊息進行特別的處理。因為這些模式是透過對塊密碼的輸出與明文進行異或工作的。最後一個明文塊與金鑰流塊的前幾個位元組異或後，產生了與該明文塊大小相同的密文塊。流密碼的這個特性使得它們可以應用在需要密文和明文資料長度嚴格相等的場合，也可以應用在以流形式傳輸資料而不便於進行填充的場合。常用模式.電子密碼本.最簡單的加密模式即為電子密碼本模式。需要加密的訊息按照塊密碼的塊大小被分為數個塊，並對每個塊進行獨立加密。本方法的缺點在於同樣的明文塊會被加密成相同的密文塊；因此，它不能很好的隱藏資料模式。在某些場合，這種方法不能提供嚴格的資料保密性，因此並不推薦用於密碼協議中。下面的例子顯示了ECB在密文中顯示明文的模式的程度：該影象的一個位圖版本透過ECB模式可能會被加密成中圖，而非ECB模式通常會將其加密成右圖。右圖是使用CBC，CTR或任何其它的更安全的模式加密左圖可能產生的結果——與隨機噪聲無異。注意右圖看起來的隨機性並不能表示影象已經被安全的加密；許多不安全的加密法也可能產生這種“隨機的”輸出。ECB模式也會導致使用它的協議不能提供資料完整性保護，易受到重放攻擊的影響，因為每個塊是以完全相同的方式解密的。例如，“夢幻之星線上：藍色脈衝”線上電子遊戲使用ECB模式的Blowfish密碼。在金鑰交換系統被破解而產生更簡單的破解方式前，作弊者透過重複傳送加密的“殺死怪物”訊息包以非法的快速增加經驗值。密碼塊連結.1976年，IBM發明了密碼分組連結模式。在CBC模式中，每個明文塊先與前一個密文塊進行異或後，再進行加密。在這種方法中，每個密文塊都依賴於它前面的所有明文塊。同時，為了保證每條訊息的唯一性，在第一個塊中需要使用初始化向量。若第一個塊的下標為1，則CBC模式的加密過程為formula_1formula_2而其解密過程則為formula_3formula_2CBC是最為常用的工作模式。它的主要缺點在於加密過程是序列的，無法被並行化，而且訊息必須被填充到塊大小的整數倍。解決後一個問題的一種方法是利用密文竊取。注意在加密時，明文中的微小改變會導致其後的全部密文塊發生改變，而在解密時，從兩個鄰接的密文塊中即可得到一個明文塊。因此，解密過程可以被並行化，而解密時，密文中一位的改變只會導致其對應的明文塊完全改變和下一個明文塊中對應位發生改變，不會影響到其它明文的內容。填充密碼塊連結.填充密碼塊連結，是一種可以使密文中的微小更改在解密時導致明文大部分錯誤的模式，並在加密的時候也具有同樣的特性。加密和解密演算法如下：formula_5formula_6PCBC主要用於Kerberos v4和WASTE中，而在其它場合的應用較少。對於使用PCBC加密的訊息，互換兩個鄰接的密文塊不會對後續塊的解密造成影響。正因為這個特性，Kerberos v5沒有使用PCBC。密文反饋.密文反饋模式類似於CBC，可以將塊密碼變為自同步的流密碼；工作過程亦非常相似，CFB的解密過程幾乎就是顛倒的CBC的加密過程：formula_7formula_8formula_9上述公式是描述的是最簡單的CFB，在這種模式下，它的自同步特性僅僅與CBC相同，即若密文的一整塊發生錯誤，CBC和CFB都仍能解密大部分資料，而僅有一位資料錯誤。若需要在僅有了一位或一位元組錯誤的情況下也讓模式具有自同步性，必須每次只加密一位或一位元組。可以將移位暫存器作為塊密碼的輸入，以利用CFB的自同步性。為了利用CFB製作一種自同步的，可以處理任意位情況錯誤的流密碼，需要使用一個與塊的大小相同的移位暫存器，並用IV將暫存器初始化。然後，將暫存器內容使用塊密碼加密，然後將結果的最高"x"位與明文的"x"進行異或，以產生密文的"x"位。下一步將生成的"x"位密文移入暫存器中，並對下面的"x"位明文重複這一過程。解密過程與加密過程相似，以IV開始，對暫存器加密，將結果的高"x"與密文異或，產生"x"位明文，再將密文的下面"x"位移入暫存器。下式中Si是移位暫存器的第"i"個狀態，a « x是指將"a"移位"x"位，head(a, x)是指"a"的高"x"位，"n"則是指IV的位數。formula_10formula_11formula_12formula_13若密文的"x"位發生錯誤，則密碼在移位暫存器恢復與加密時的狀態相同之前，輸出不正確的結果，而當暫存器狀態恢復後，密碼即可以重新同步，恢復正常輸出，因此最多隻有一塊資料發生錯誤。與CBC相似，明文的改變會影響接下來所有的密文，因此加密過程不能並行化；而同樣的，與CBC類似，解密過程是可以並行化的。在解密時，密文中一位資料的改變僅會影響兩個明文塊：對應明文塊中的一位資料與下一塊中全部的資料，而之後的資料將恢復正常。CFB擁有一些CBC所不具備的特性，這些特性與OFB和CTR的流模式相似：只需要使用塊密碼進行加密操作，且訊息無需進行填充。輸出反饋.輸出反饋模式可以將塊密碼變成同步的流密碼。它產生金鑰流的塊，然後將其與明文塊進行異或，得到密文。與其它流密碼一樣，密文中一個位的翻轉會使明文中同樣位置的位也產生翻轉。這種特性使得許多錯誤校正碼，例如奇偶校驗位，即使在加密前計算，而在加密後進行校驗也可以得出正確結果。由於XOR操作的對稱性，加密和解密操作是完全相同的：formula_14formula_15formula_16formula_17每個使用OFB的輸出塊與其前面所有的輸出塊相關，因此不能並行化處理。然而，由於明文和密文只在最終的異或過程中使用，因此可以事先對IV進行加密，最後並行的將明文或密文進行並行的異或處理。可以利用輸入全0的CBC模式產生OFB模式的金鑰流。這種方法十分實用，因為可以利用快速的CBC硬體實現來加速OFB模式的加密過程。注意：CTR模式。計數器模式.與OFB相似，CTR將塊密碼變為流密碼。它透過遞增一個加密計數器以產生連續的金鑰流，其中，計數器可以是任意保證長時間不產生重複輸出的函式，但使用一個普通的計數器是最簡單和最常見的做法。使用簡單的、定義好的輸入函式是有爭議的：批評者認為它“有意的將密碼系統暴露在已知的、系統的輸入會造成不必要的風險”。目前，CTR已經被廣泛的使用了，由輸入函式造成的問題被認為是使用的塊密碼的缺陷，而非CTR模式本身的弱點。無論如何，有一些特別的攻擊方法，例如基於使用簡單計數器作為輸入的硬體差錯攻擊。CTR模式的特徵類似於OFB，但它允許在解密時進行隨機存取。由於加密和解密過程均可以進行並行處理，CTR適合運用於多處理器的硬體上。注意圖中的“nonce”與其它圖中的IV相同。IV、隨機數和計數器均可以透過連線，相加或異或使得相同明文產生不同的密文。誤差傳播.在訊息鑑別碼和認證加密的廣泛應用之前，常常有人討論塊密碼工作模式的“誤差傳播”特性，作為工作模式效能的一部分。例如，若密文傳輸中一個數據塊的錯誤會導致採用ECB模式生成的明文中同樣一個塊的錯誤，而CBC模式中會導致兩個明文塊出錯。有人認為這樣的特性在應對隨機誤差時會是有益的，而還有人認為這樣的特性使得攻擊者更容易篡改訊息的一部分。無論如何，若使用了適當的完整性保護措施，這樣的誤差很可能會導致整個訊息重發。若需要應對隨機誤差，則應當在傳送密文之前增加錯誤校正碼。認證加密.一些工作模式在設計中希望將保密性和認證性結合起來，例如XCBC，ACBC，APM，，，，和。認證加密模式被可以分為單次處理和兩次處理兩種型別。然而，對密碼學使用者社群而言，不幸的是，許多單次處理的認證加密演算法，例如OCB，是受專利所保護的。另外，有的模式也允許為未加密的關聯資料進行認證，因此被稱為AEAD。例如，EAX是一種兩次處理的AEAD方法，而OCB模式是單次的。其它模式和密碼學概念.除了上文中提到的模式以外，還有很多其它的塊密碼工作模式。有的被公眾所接受，有其詳細描述了，甚至被標準化了，並在使用中；而有的則被認為是不安全的，而從未使用過；另外一些則並沒有被分類為保密，認證或簽名加密，例如金鑰反饋模式和AES-hash。NIST維護著一張塊密碼工作模式列表。磁碟加密通常使用特殊目的、專門設計的模式。可以調節的小資料塊加密模式是設計用於加密磁碟區塊的。塊密碼也可以用於其它加密協議中，在這些協議中，塊密碼的使用方式與前述工作模式相似。在一切協議中，為了保證其安全性，必須在構建工作模式時特別注意。有數種方法可以用塊密碼構建密碼雜湊函式，向壓縮函式。訊息認證碼通常由塊密碼得到，例如，和。認證加密也採用塊密碼作為其中的一部，其同時使用加密和MAC以提供保密性和資料完整性，例如，，，，和。