Each corresponds to a mathematical

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:

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

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

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