For example, one can define a simil

For example, one can define a similar game for measuring the security of a block cipher-based encryption algorithm, and then try to show (through a reduction argument) that the probability of an adversary winning this new game is not much more than PE(A) for some A. (The reduction typically provides limits on q and the running time of A.) Equivalently, if PE(A) is small for all relevant A, then no attacker has a significant probability of winning the new game. This formalizes the idea that the higher-level algorithm inherits the block cipher's security.

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

ตัวอย่าง หนึ่งสามารถกำหนดเกมคล้ายกันสำหรับการวัดความปลอดภัยของอัลกอริทึมการเข้ารหัสลับโดยใช้การเข้ารหัสที่บล็อก และพยายามแสดง (ผ่านอาร์กิวเมนต์ลด) ที่น่าโมโหชนะเกมนี้ใหม่ไม่มากขึ้นกว่า PE(A) สำหรับอ.บาง (การลดจะให้จำกัดคิวและเวลาทำงานของอ.) Equivalently ถ้า PE(A) มีขนาดเล็กสำหรับ A ทั้งหมดที่เกี่ยวข้อง แล้วผู้โจมตีไม่ได้ที่สำคัญน่าชนะเกมใหม่ นี้ formalizes คิดว่า อัลกอริทึมสูงกว่าสืบทอดความปลอดภัยของรหัสบล็อก

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

ตัวอย่างเช่นหนึ่งสามารถกำหนดเกมที่คล้ายกันสำหรับการวัดความปลอดภัยของบล็อกวิธีการเข้ารหัสการเข้ารหัสที่ใช้และจากนั้นพยายามที่จะแสดง (ผ่านอาร์กิวเมนต์ลดลง) ที่น่าจะเป็นของฝ่ายตรงข้ามชนะในเกมใหม่นี้ไม่ได้เป็นอะไรมากไปกว่า PE ( ) สำหรับบาง A. (การลดลงมักจะมีข้อ จำกัด ในคิวและเวลาการทำงานของเอ) เท่ากันถ้า PE (A) มีขนาดเล็กสำหรับที่เกี่ยวข้องทั้งหมดแล้วโจมตีไม่มีมีความน่าจะเป็นอย่างมีนัยสำคัญในการชนะเกมใหม่ ซึ่งรูปแบบความคิดที่ว่าอัลกอริทึมระดับสูงสืบทอดการรักษาความปลอดภัยการเข้ารหัสบล็อก

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

ตัวอย่างเช่นหนึ่งสามารถกำหนดเกมที่คล้ายกัน เพื่อวัดความปลอดภัยของโรงละครสัตว์ขั้นตอนวิธีการเข้ารหัสที่ใช้ และจากนั้นพยายามที่จะแสดง ( ผ่านการโต้แย้ง ) ที่มีความน่าจะเป็นของคู่ต่อสู้ชนะเกมใหม่นี้ไม่ได้มีมากขึ้นกว่า PE ( ) บาง A ( ลดโดยทั่วไปจะมีข้อจำกัดเรื่องคิวและ เวลาของ A . ) ก้อง ถ้า PE ( ) เป็นขนาดเล็กทั้งหมดที่เกี่ยวข้อง ,แล้วไม่โจมตีมีความน่าจะเป็นนัยของการชนะเกมใหม่ นี้ formalizes ว่าขั้นตอนวิธีการรักษาความปลอดภัยสูง จะบล็อกรหัส .