區塊加密法工作模式
密碼學中,區塊密碼的工作模式(mode of operation)允許使用同一個區塊密碼金鑰對多於一塊的數據進行加密,並保證其安全性。[1][2] 區塊密碼自身只能加密長度等於密碼區塊長度的單塊數據,若要加密變長數據,則數據必須先被劃分為一些單獨的密碼塊。通常而言,最後一塊數據也需要使用合適填充方式將數據擴充到符合密碼塊大小的長度。一種工作模式描述了加密每一數據塊的過程,並常常使用基於一個通常稱為初始化向量的附加輸入值以進行隨機化,以保證安全[1]。
工作模式主要用來進行加密和認證。[1][3] 對加密模式的研究曾經包含數據的完整性保護,即在某些數據被修改後的情況下密碼的誤差傳播特性。後來的研究則將完整性保護作為另一個完全不同的,與加密無關的密碼學目標。部分現代的工作模式用有效的方法將加密和認證結合起來,稱為認證加密模式。[2]
雖然工作模式通常應用於對稱加密[2],它亦可以應用於公鑰加密,例如在原理上對RSA進行處理,但在實用中,公鑰密碼學通常不用於加密較長的資訊,而是使用結合對稱加密和公鑰加密的混合加密方案[1]。
歷史和標準化
最早出現的工作模式,ECB,CBC,OFB和CFB可以追溯到1981年[4]。2001年,NIST修訂了其早先發佈的工作模式工作列表,加入了AES,並加入了CTR模式[5]。最後,在2010年1月,NIST加入了XTS-AES[6],而其餘的可信模式並沒有為NIST所認證。例如CTS是一種密文竊取的模式,許多常見的密碼學執行庫提供了這種模式。
ECB,CBC,OFB,CFB,CTR和XTS模式僅僅提供了機密性;為了保證加密資訊沒有被意外修改或惡意篡改,需要採用分離的訊息驗證碼,例如CBC-MAC。密碼學社群認識到了對專用的保證完整性的方法的需求,NIST因此提出了HMAC,CMAC和GMAC。HMAC在2002年通過了認證[7],CMAC在2005年通過[8],GMAC則在2007年被標準化[9]。
在發現將認證模式與加密模式聯合起來的難度之後,密碼學社區開始研究結合了加密和認證的單一模式,這種模式被稱為認證加密模式(AE,Authenticated Encryption),或稱為authenc。AE模式的例子包括CCM[10],GCM[11],CWC,EAX,IAPM和OCB。
現在,工作模式為許多國家和國內的標準認證實體所定義,其中最有影響力的來源是美國的NIST,而其它有影響力的組織包括ISO,IEC,IEEE,美國的ANSI,以及IETF。
初始化向量(IV)
初始化向量(IV,Initialization Vector)是許多工作模式中用於將加密隨機化的一個位塊,由此即使同樣的明文被多次加密也會產生不同的密文,避免了較慢的重新產生金鑰的過程。
初始化向量與金鑰相比有不同的安全性需求,因此IV通常無須保密,然而在大多數情況中,不應當在使用同一金鑰的情況下兩次使用同一個IV。對於CBC和CFB,重用IV會導致泄露明文首個塊的某些資訊,亦包括兩個不同訊息中相同的字首。對於OFB和CTR而言,重用IV會導致完全失去安全性。另外,在CBC模式中,IV在加密時必須是無法預測的;特別的,在許多實現中使用的產生IV的方法,例如SSL2.0使用的,即採用上一個訊息的最後一塊密文作為下一個訊息的IV,是不安全的[12]。
填充
塊密碼只能對確定長度的數據塊進行處理,而訊息的長度通常是可變的。因此部分模式(即ECB和CBC)需要最後一塊在加密前進行填充。有數種填充方法,其中最簡單的一種是在明文的最後填充空字元以使其長度為塊長度的整數倍,但必須保證可以恢復明文的原始長度;例如,若明文是C語言風格的字串,則只有串尾會有空字元。稍微複雜一點的方法則是原始的DES使用的方法,即在數據後添加一個1位,再添加足夠的0位直到滿足塊長度的要求;若訊息長度剛好符合塊長度,則添加一個填充塊。最複雜的則是針對CBC的方法,例如密文竊取,殘塊終結等,不會產生額外的密文,但會增加一些複雜度。布魯斯·施奈爾和尼爾斯·弗格森提出了兩種簡單的可能性:添加一個值為128的位元組(十六進制的80),再以0位元組填滿最後一個塊;或向最後一個塊填充n個值均為n的位元組[13]。
CFB,OFB和CTR模式不需要對長度不為密碼塊大小整數倍的訊息進行特別的處理。因為這些模式是通過對塊密碼的輸出與明文進行異或工作的。最後一個明文塊(可能是不完整的)與金鑰流塊的前幾個位元組異或後,產生了與該明文塊大小相同的密文塊。串流加密法的這個特性使得它們可以應用在需要密文和明文數據長度嚴格相等的場合,也可以應用在以流形式傳輸數據而不便於進行填充的場合。
常用模式
電子密碼本(ECB)
最簡單的加密模式即為電子密碼本(Electronic codebook,ECB)模式。需要加密的訊息按照塊密碼的塊大小被分為數個塊,並對每個塊進行獨立加密。
本方法的缺點在於同樣的明文塊會被加密成相同的密文塊;因此,它不能很好的隱藏數據模式。在某些場合,這種方法不能提供嚴格的數據保密性,因此並不推薦用於密碼協定中。下面的例子顯示了ECB在密文中顯示明文的模式的程度:該圖像的一個點陣圖版本(左圖)通過ECB模式可能會被加密成中圖,而非ECB模式通常會將其加密成右圖。
原圖 | 使用ECB模式加密 | 提供了偽隨機性的非ECB模式 |
右圖是使用CBC,CTR或任何其它的更安全的模式加密左圖可能產生的結果——與隨機噪聲無異。注意右圖看起來的隨機性並不能表示圖像已經被安全的加密;許多不安全的加密法也可能產生這種「隨機的」輸出。
ECB模式也會導致使用它的協定不能提供數據完整性保護,易受到重放攻擊的影響,因為每個塊是以完全相同的方式解密的。例如,「夢幻之星線上:藍色脈衝」線上電子遊戲使用ECB模式的Blowfish密碼。在金鑰交換系統被破解而產生更簡單的破解方式前,作弊者通過重複傳送加密的「殺死怪物」訊息包以非法的快速增加經驗值。
密碼塊連結(CBC)
1976年,IBM發明了密碼區塊連結(CBC,Cipher-block chaining)模式[14]。在CBC模式中,每個明文塊先與前一個密文塊進行異或後,再進行加密。在這種方法中,每個密文塊都依賴於它前面的所有明文塊。同時,為了保證每條訊息的唯一性,在第一個塊中需要使用初始化向量。
若第一個塊的下標為1,則CBC模式的加密過程為
而其解密過程則為
CBC是最為常用的工作模式。它的主要缺點在於加密過程是串行的,無法被並列化,而且訊息必須被填充到塊大小的整數倍。解決後一個問題的一種方法是利用密文竊取。
注意在加密時,明文中的微小改變會導致其後的全部密文塊發生改變,而在解密時,從兩個鄰接的密文塊中即可得到一個明文塊。因此,解密過程可以被並列化,而解密時,密文中一位的改變只會導致其對應的明文塊完全改變和下一個明文塊中對應位發生改變,不會影響到其它明文的內容。
填充密碼塊連結(PCBC)
填充密碼塊連結(PCBC,Propagating cipher-block chaining)或稱為明文密碼塊連結(Plaintext cipher-block chaining)[15][16],是一種可以使密文中的微小更改在解密時導致明文大部分錯誤的模式,並在加密的時候也具有同樣的特性。
加密和解密演算法如下:
PCBC主要用於Kerberos v4和WASTE中,而在其它場合的應用較少。對於使用PCBC加密的訊息,互換兩個鄰接的密文塊不會對後續塊的解密造成影響[17]。正因為這個特性,Kerberos v5沒有使用PCBC。
密文反饋(CFB)
密文反饋(CFB,Cipher feedback)模式類似於CBC,可以將塊密碼變為自同步的串流加密法;工作過程亦非常相似,CFB的解密過程幾乎就是顛倒的CBC的加密過程:
上述公式是描述的是最簡單的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的位數。
若密文的x位發生錯誤,則密碼在移位暫存器恢復與加密時的狀態相同之前,輸出不正確的結果,而當暫存器狀態恢復後,密碼即可以重新同步,恢復正常輸出,因此最多只有一塊數據發生錯誤。
與CBC相似,明文的改變會影響接下來所有的密文,因此加密過程不能並列化;而同樣的,與CBC類似,解密過程是可以並列化的。在解密時,密文中一位數據的改變僅會影響兩個明文塊:對應明文塊中的一位數據與下一塊中全部的數據,而之後的數據將恢復正常。
CFB擁有一些CBC所不具備的特性,這些特性與OFB和CTR的流模式相似:只需要使用塊密碼進行加密操作,且訊息無需進行填充(雖然密文竊取也允許數據不進行填充)。
輸出反饋(OFB)
輸出反饋模式(Output feedback, OFB)可以將塊密碼變成同步的串流加密法。它產生金鑰流的塊,然後將其與明文塊進行異或,得到密文。與其它串流加密法一樣,密文中一個位的翻轉會使明文中同樣位置的位也產生翻轉。這種特性使得許多錯誤校正碼,例如奇偶校驗位,即使在加密前計算,而在加密後進行校驗也可以得出正確結果。
由於XOR操作的對稱性,加密和解密操作是完全相同的:
每個使用OFB的輸出塊與其前面所有的輸出塊相關,因此不能並列化處理。然而,由於明文和密文只在最終的異或過程中使用,因此可以事先對IV進行加密,最後並列的將明文或密文進行並列的異或處理。
可以利用輸入全0的CBC模式產生OFB模式的金鑰流。這種方法十分實用,因為可以利用快速的CBC硬件實現來加速OFB模式的加密過程。
計數器模式(CTR)
- 注意:CTR模式(Counter mode,CM)也被稱為ICM模式(Integer Counter Mode,整數計數模式)和SIC模式(Segmented Integer Counter)。
與OFB相似,CTR將塊密碼變為串流加密法。它通過遞增一個加密計數器以產生連續的金鑰流,其中,計數器可以是任意保證長時間不產生重複輸出的函數,但使用一個普通的計數器是最簡單和最常見的做法。使用簡單的、定義好的輸入函數是有爭議的:批評者認為它「有意的將密碼系統暴露在已知的、系統的輸入會造成不必要的風險」[18]。目前,CTR已經被廣泛的使用了,由輸入函數造成的問題被認為是使用的塊密碼的缺陷,而非CTR模式本身的弱點[19]。無論如何,有一些特別的攻擊方法,例如基於使用簡單計數器作為輸入的硬件差錯攻擊[20]。
CTR模式的特徵類似於OFB,但它允許在解密時進行隨機存取。由於加密和解密過程均可以進行並列處理,CTR適合運用於多處理器的硬件上。
注意圖中的「nonce」與其它圖中的IV(初始化向量)相同。IV、亂數和計數器均可以通過連接,相加或異或使得相同明文產生不同的密文。
誤差傳播
在訊息鑑別碼和認證加密的廣泛應用之前,常常有人討論塊密碼工作模式的「誤差傳播」特性,作為工作模式效能的一部分。例如,若密文傳輸中一個數據塊的錯誤會導致採用ECB模式生成的明文中同樣一個塊的錯誤,而CBC模式中會導致兩個明文塊出錯。
有人認為這樣的特性在應對隨機誤差(例如傳輸噪聲)時會是有益的,而還有人認為這樣的特性使得攻擊者更容易篡改訊息的一部分。
無論如何,若使用了適當的完整性保護措施,這樣的誤差很可能會導致整個訊息重發。若需要應對隨機誤差,則應當在傳送密文之前增加錯誤校正碼。
認證加密
一些工作模式在設計中希望將保密性和認證性結合起來,例如XCBC[21],ACBC,APM[22],OCB,EAX,CWC,CCM和GCM。認證加密模式被可以分為單次處理和兩次處理兩種類型。然而,對密碼學用戶社群而言,不幸的是,許多單次處理的認證加密演算法,例如OCB,是受專利所保護的。
另外,有的模式也允許為未加密的關聯數據進行認證,因此被稱為AEAD(Authenticated-Encryption with Associated-Data,用於關聯數據的認證加密)。例如,EAX是一種兩次處理的AEAD方法,而OCB模式是單次的。
其它模式和密碼學概念
除了上文中提到的模式以外,還有很多其它的塊密碼工作模式。有的被公眾所接受,有其詳細描述了,甚至被標準化了,並在使用中;而有的則被認為是不安全的,而從未使用過;另外一些則並沒有被分類為保密,認證或簽章加密,例如金鑰反饋模式(KFM,Key Feedback Mode)和AES-hash。NIST維護着一張塊密碼工作模式列表[23][24]。
磁碟加密通常使用特殊目的、專門設計的模式。可以調節的小數據塊加密模式(LRW,XEX和XTS)和大數據塊的模式(CMC和EME)是設計用於加密磁碟區塊的。
塊密碼也可以用於其它加密協定中,在這些協定中,塊密碼的使用方式與前述工作模式相似。在一切協定中,為了保證其安全性,必須在構建工作模式時特別注意。
訊息鑑別碼(MAC)通常由塊密碼得到,例如CBC-MAC,OMAC和PMAC。
認證加密也採用塊密碼作為其中的一部,其同時使用加密和MAC以提供保密性和數據完整性,例如IAPM,CCM,CWC,EAX,GCM和OCB。
參考文獻
- ^ 1.0 1.1 1.2 1.3 Alfred J. Menezes, Paul C. van Oorschot and Scott A. Vanstone. 应用密码学手册. CRC Press. 1996 [2010-09-28]. ISBN 0-8493-8523-7. (原始內容存檔於2005-03-07).
- ^ 2.0 2.1 2.2 Block Cipher Modes. NIST電腦安全資源中心. [2010-09-28]. (原始內容存檔於2012-11-19).
- ^ FIPS 81: DES的工作模式. NIST Computer Security Resource Center. [2010-09-28]. (原始內容存檔於2009-06-04).
- ^ FIPS 81 (頁面存檔備份,存於互聯網檔案館), "DES的工作模式"
- ^ SP800-38A (頁面存檔備份,存於互聯網檔案館), 「塊密碼工作模式的建議」
- ^ SP800-38E (頁面存檔備份,存於互聯網檔案館), 「對塊密碼工作模式的建議:用於機密性儲存裝置的XTS-AES模式」
- ^ FIPS 198 (頁面存檔備份,存於互聯網檔案館), 「基於雜湊的訊息驗證代碼(HMAC)」
- ^ SP800-38B (頁面存檔備份,存於互聯網檔案館), 「塊密碼工作模式的建議:用於認證的CMAC模式」
- ^ SP800-38D (頁面存檔備份,存於互聯網檔案館), 「塊密碼工作模式的建議:Galois/Counter Mode (GCM)和GMAC」
- ^ SP800-38C (PDF). [2010-09-28]. (原始內容存檔 (PDF)於2011-08-05).
- ^ SP800-38D (PDF). [2010-09-28]. (原始內容 (PDF)存檔於2011-08-05).
- ^ B. Moeller, SSL/TLS中CBC密码组的安全性:问题和反制措施, May 20, 2004 [2010-09-28], (原始內容存檔於2012-06-30)
- ^ Bruce Schneier和Niels Ferguson. 实用密码,5.1节.
- ^ William F. Ehrsam, Carl H. W. Meyer, John L. Smith, Walter L. Tuchman, 「通過密碼區塊進行訊息驗證和傳輸錯誤檢測」, US Patent 4074066, 1976
- ^ 填充密码块链接. [2010-09-28]. (原始內容存檔於2012-07-16).
- ^ Kaufman, C., Perlman, R., & Speciner, M (2002). 網絡安全. Upper Saddle River, NJ: Prentice Hall. Page 319 (2nd Ed.)
- ^ Kohl, J. 「Kerberos中用於網絡認證的加密」, Proceedings, Crypto '89, 1989; published by Springer-Verlag; 存档副本 (PDF). [2010-09-28]. (原始內容 (PDF)存檔於2009-06-12).
- ^ Robert R. Jueneman. Analysis of certain aspects of output feedback mode. In Advances in Cryptology, Proceedings of CRYPTO 82, pages 99–127, 1982.
- ^ Helger Lipmaa, Phillip Rogaway, and David Wagner. Comments to NIST concerning AES modes of operation: CTR-mode encryption. 2000
- ^ R. Tirtea and G. Deconinck. Specifications overview for counter mode of operation. security aspects in case of faults. In Electrotechnical Conference, 2004. MELECON 2004. Proceedings of the 12th IEEE Mediterranean, pages 769–773 Vol.2, 2004.
- ^ Virgil D. Gligor, Pompiliu Donescu, "Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes". Proc. Fast Software Encryption, 2001: 92-108.
- ^ Charanjit S. Jutla, "Encryption Modes with Almost Free Message Integrity", Proc. Eurocrypt 2001, LNCS 2045, May 2001.
- ^ NIST: Modes Development. [2010-09-28]. (原始內容存檔於2017-09-04).
- ^ NIST: Recommendation for Block Cipher Modes of Operation (PDF). [2010-09-28]. (原始內容存檔 (PDF)於2017-07-22).