When a block cipher is used in a gi

When a block cipher is used in a given mode of operation, the resulting algorithm should ideally be about as secure as the block cipher itself. ECB (discussed above) emphatically lacks this property: regardless of how secure the underlying block cipher is, ECB mode can easily be attacked. On the other hand, CBC mode can be proven to be secure under the assumption that the underlying block cipher is likewise secure. Note, however, that making statements like this requires formal mathematical definitions for what it means for an encryption algorithm or a block cipher to "be secure". This section describes two common notions for what properties a block cipher should have. Each corresponds to a mathematical model that can be used to prove properties of higher level algorithms, such as CBC.
This general approach to cryptography---proving higher-level algorithms (such as CBC) are secure under explicitly stated assumptions regarding their components (such as a block cipher)---is known as provable security.

ผลลัพธ์ (ไทย) 1:

เมื่อบล็อกการเข้ารหัสจะใช้ในการกำหนดวิธีการดำเนินการ อัลกอริทึมผลลัพธ์ควรเชิญมีเกี่ยวกับความปลอดภัยเป็นรหัสบล็อกตัวเอง กลางแห่ง (ที่กล่าวถึงข้างต้น) กึกก้องขาดคุณสมบัตินี้: ทางการเข้ารหัสบล็อกต้นแบบเป็น โหมดกลางแห่งสามารถได้ถูกโจมตีได้ บนมืออื่น ๆ โหมดรักษาการณ์สามารถพิสูจน์ให้ทางภายใต้สมมติฐานที่ว่า รหัสบล็อกต้นแบบเช่นกันคือทาง หมายเหตุ อย่างไรก็ตาม ว่า ทำงบนี้ต้องนิยามทางคณิตศาสตร์สำหรับความหมายในอัลกอริทึมการเข้ารหัสลับหรือรหัสบล็อก "ถูกทาง" ส่วนนี้อธิบายสองทั่วไปความเข้าใจคุณสมบัติใดควรมีการเข้ารหัสแบบบล็อก แต่ละสอดคล้องกับแบบจำลองทางคณิตศาสตร์ที่ใช้การพิสูจน์คุณสมบัติของสูงระดับอัลกอริทึม เช่นรักษาการณ์วิธีการเข้ารหัส---นี้ทั่วไปพิสูจน์สูงกว่าอัลกอริทึม (เช่นรักษาการณ์) มีความปลอดภัยภายใต้สมมติฐานระบุไว้อย่างชัดเจนเกี่ยวกับส่วนประกอบอื่น ๆ (เช่นการบล็อกรหัส)---เป็นที่รู้จักกันเป็น provable ความปลอดภัย

ผลลัพธ์ (ไทย) 2:

เมื่อตัวเลขบล็อกจะใช้ในโหมดที่กำหนดของการดำเนินการขั้นตอนวิธีการที่เกิดขึ้นควรจะต้องเกี่ยวกับความปลอดภัยเช่นการเข้ารหัสบล็อกของตัวเอง ECB (ที่กล่าวข้างต้น) กึกก้องขาดคุณสมบัตินี้: ไม่คำนึงถึงวิธีการรักษาความปลอดภัยการเข้ารหัสบล็อกอิงคือโหมด ECB สามารถถูกโจมตี ในทางตรงกันข้าม, โหมด CBC สามารถพิสูจน์แล้วว่ามีความปลอดภัยภายใต้สมมติฐานว่าบล็อกศูนย์ต้นแบบที่มีความปลอดภัยเช่นเดียวกัน แต่โปรดทราบว่าการทำงบเช่นนี้ต้องใช้คำนิยามทางคณิตศาสตร์อย่างเป็นทางการสำหรับสิ่งที่มันหมายความว่าสำหรับวิธีการเข้ารหัสหรือตัวเลขบล็อกจะ "ปลอดภัย" ส่วนนี้จะอธิบายสองความคิดร่วมกันสำหรับสิ่งที่คุณสมบัติการเข้ารหัสบล็อกควรมี แต่ละสอดคล้องกับแบบจำลองทางคณิตศาสตร์ที่สามารถนำมาใช้เพื่อพิสูจน์คุณสมบัติของอัลกอริทึมระดับที่สูงขึ้นเช่น CBC.
นี้วิธีการทั่วไปในการเข้ารหัส --- พิสูจน์ขั้นตอนวิธีการระดับสูง (เช่น CBC) มีความปลอดภัยภายใต้สมมติฐานที่ระบุไว้อย่างชัดเจนเกี่ยวกับส่วนประกอบของพวกเขา ( เช่นการเข้ารหัสบล็อก) --- เป็นที่รู้จักกันรักษาความปลอดภัยสามารถพิสูจน์ได้

ผลลัพธ์ (ไทย) 3:

เมื่อบล็อกไซเฟอร์จะใช้ในการระบุโหมดของการดำเนินการ ซึ่งควรนึกคิดเกี่ยวกับขั้นตอนวิธีการรักษาความปลอดภัยเช่นรหัสบล็อกตัวเอง ECB ( กล่าวถึงข้างต้น ) ออกมา ขาดคุณสมบัตินี้ : ไม่ว่าการต้นแบบโรงละครสัตว์เป็นโหมด ECB สามารถโจมตี บนมืออื่น ๆโหมด CBC สามารถพิสูจน์ให้เป็นที่ปลอดภัยภายใต้ข้อสมมติพื้นฐานที่โรงละครสัตว์ปลอดภัยเช่นเดียวกัน อย่างไรก็ตาม โปรดสังเกตว่า การทำงบแบบนี้ต้องเป็นทางการทางคณิตศาสตร์ความหมายสำหรับมันหมายถึงอะไรสำหรับขั้นตอนวิธีการเข้ารหัสลับหรือบล็อกไซเฟอร์ " ความปลอดภัย " ส่วนนี้อธิบายสองความคิดทั่วไปของสิ่งที่คุณสมบัติบล็อกไซเฟอร์ ควรมีแต่ละสอดคล้องกับแบบจำลองทางคณิตศาสตร์ที่สามารถใช้เพื่อพิสูจน์คุณสมบัติของอัลกอริทึมในระดับที่สูงขึ้น เช่น CBC .
นี้ทั่วไปวิธีการขั้นตอนวิธีการเข้ารหัส --- พิสูจน์สูง ( เช่น CBC ) มีการระบุไว้อย่างชัดเจนภายใต้สมมติฐานเกี่ยวกับชิ้นส่วนของพวกเขา ( เช่นบล็อกไซเฟอร์ ) --- เรียกว่าความปลอดภัยที่พิสูจน์ได้