Score:0

จะเข้าใจ "ความถูกต้อง" และ "ความเป็นส่วนตัว" ของรูปแบบการเข้ารหัสโหมด CCM ได้อย่างไร

ธง cn

โหมด CCM หมายถึงโหมดการเข้ารหัส CTR+ CBC-MAC

ขึ้นอยู่กับ กระดาษแผ่นนี้ข้อได้เปรียบของฝ่ายตรงข้ามต่อความถูกต้องของ CCM คือ:

เท่ากับ(1) ก

ความถูกต้อง: เป็นไปไม่ได้ที่ฝ่ายตรงข้ามจะปลอมแปลงรหัสลับที่ถูกต้องโดยไม่ทราบรหัสลับ

และข้อได้เปรียบของฝ่ายตรงข้ามต่อความเป็นส่วนตัวของ CCM คือ:

เท่ากับ(2) ข

ความเป็นส่วนตัว: มันควรจะเป็นไปไม่ได้สำหรับฝ่ายตรงข้าม รับข้อมูลใด ๆ จากข้อความไซเฟอร์ โดยไม่รู้รหัสลับ

ฉันสับสนเกี่ยวกับ "รับข้อมูลใด ๆ จากข้อความเข้ารหัส" ในคำจำกัดความของความเป็นส่วนตัวที่แสดงด้านบน หมายความว่าหากความเป็นส่วนตัวถูกทำลาย ฝ่ายตรงข้ามสามารถรับข้อมูลข้อความล้วนจากไซเฟอร์เท็กซ์ได้หรือไม่ ถ้าใช่ กรอกข้อมูลเกี่ยวกับข้อความธรรมดาหรือข้อมูลเพียงบางส่วนเกี่ยวกับข้อความธรรมดา? แต่ฉันก็รู้สึกเช่นกันว่า Eq(2) อธิบายถึงความสามารถของที่ปรึกษาในการแยกไซเปอร์เท็กซ์ของ CCM จากบิตสตริงแบบสุ่ม ดังนั้นเราจึงไม่สามารถทราบข้อความธรรมดาได้แม้ว่าความเป็นส่วนตัวจะเสียหายก็ตาม

คำถามที่สองของฉันเกี่ยวกับความถูกต้อง การทำลายความถูกต้องจะนำไปสู่การรั่วไหลของข้อความธรรมดาหรือไม่ กล่าวอีกนัยหนึ่งหากเราต้องการพิสูจน์ความเป็นส่วนตัวของข้อความธรรมดาเราต้องพิจารณากรณีที่ความถูกต้องเสียหายหรือไม่?

ขอบคุณล่วงหน้า.

หมายเหตุ: Adv_E^prp(B) เป็นข้อได้เปรียบของฝ่ายตรงข้ามในการเปลี่ยนรูปแบบแบบสุ่มหลอก (prp)

Score:1
ธง ng

ความหมายของคำจำกัดความของความเป็นส่วนตัวคือ

ความเป็นส่วนตัว: เป็นไปไม่ได้ที่ฝ่ายตรงข้ามจะได้ข้อมูลใด ๆ เกี่ยวกับข้อความธรรมดาที่สอดคล้องกันจากข้อความไซเฟอร์ ยกเว้นความยาว โดยไม่ทราบรหัสลับ

ซึ่งห้ามมิให้ฝ่ายตรงข้ามสามารถค้นหาข้อมูลบางส่วนเกี่ยวกับข้อความธรรมดา (เช่น หากข้อมูลเหล่านั้นเหมือนกันสำหรับข้อความไซเฟอร์หลายรายการ หรือหากข้อความธรรมดามีไบต์ซ้ำกัน) อีกครั้ง ยกเว้นความยาวของข้อความเหล่านั้น

หากเราต้องการพิสูจน์ความเป็นส่วนตัวของข้อความธรรมดา เราจำเป็นต้องพิจารณากรณีที่ความถูกต้องเสียหายหรือไม่?

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

Chandler avatar
cn flag
สวัสดีขอบคุณ. ฉันแค่ไม่เข้าใจ: หากผู้โจมตีสามารถเดาข้อความเข้ารหัสได้สำเร็จโดยที่ไม่รู้รหัส (เช่น ทำลายความถูกต้อง) เขาจะไม่สามารถรู้อะไรเกี่ยวกับข้อความธรรมดา ดังนั้นไม่ได้หมายความว่าความเป็นส่วนตัวจะยังคงอยู่แม้ว่าความถูกต้อง หัก? กลับไปที่คำถามของฉัน ดูเหมือนว่าจะพิสูจน์ความเป็นส่วนตัวของข้อความธรรมดาที่เราไม่จำเป็นต้องพิจารณาถึงกรณีของความถูกต้องที่เสียหาย ฉันไม่แน่ใจว่าฉันถูกต้อง ...
fgrieu avatar
ng flag
@แชนดเลอร์. ใช่ "ความเป็นส่วนตัวยังคงอยู่แม้ว่าความถูกต้องจะถูกทำลาย" และมีตัวอย่างมากมายของการเข้ารหัสที่จะตรวจสอบความถูกต้องซึ่งล้มเหลวด้วยวิธีนี้ ไม่ว่าจะภายใต้การโจมตีแบบเข้ารหัสเท่านั้นหรือภายใต้การโจมตีแบบข้อความธรรมดาที่รู้จัก เกี่ยวกับ: "ดูเหมือนว่าจะพิสูจน์ความเป็นส่วนตัวของข้อความธรรมดาที่เราไม่จำเป็นต้องพิจารณากรณีของความถูกต้องเสียหาย": การโจมตีข้อความธรรมดาที่เลือกถือว่าฝ่ายตรงข้ามสามารถส่งข้อความธรรมดาที่พวกเขาเลือกสำหรับการเข้ารหัสและรับข้อความเข้ารหัส นั่นเป็นการสันนิษฐานว่าความถูกต้องไม่ได้เกิดจากระบบ crypto แต่เกิดจากวิธีการใช้งาน ฉันจะชี้แจงสิ่งที่ฉันหมายถึง
Chandler avatar
cn flag
ขอบคุณ. ฉันได้รับคำถามนี้เมื่อฉันทำการพิสูจน์ความปลอดภัยตามเกมสำหรับโปรโตคอลการแลกเปลี่ยนคีย์ซึ่งใช้ CCM เป็นรหัสบล็อก มันทำให้ฉันสับสนมากว่าจะรวมข้อได้เปรียบด้านความถูกต้องหรือข้อได้เปรียบด้านความเป็นส่วนตัวของ CCM เมื่อคำนวณข้อได้เปรียบของฝ่ายตรงข้ามในการแยกแยะคีย์เซสชันจากตัวเลขสุ่มหาก "ความเป็นส่วนตัวยังคงอยู่แม้ว่าความถูกต้องจะถูกทำลาย" ดูเหมือนว่าจำเป็นต้องรวมข้อได้เปรียบด้านความเป็นส่วนตัวไว้ในหลักฐานการรักษาความปลอดภัยนี้เท่านั้น CPA มีเป้าหมายเพื่อค้นหาข้อมูลเกี่ยวกับคีย์ แต่ในหลักฐานของฉัน ความน่าจะเป็นของการเดาคีย์นั้นถูกแยกออกจากเกมก่อนหน้าแล้ว
fgrieu avatar
ng flag
"ในโปรโตคอลการแลกเปลี่ยนคีย์ซึ่งใช้ CCM เป็นรหัสลับ (รับรองความถูกต้อง ไม่ใช่ _block_) (เราควร) รวมข้อได้เปรียบด้านความถูกต้องหรือความเป็นส่วนตัวของ CCM เมื่อคำนวณข้อได้เปรียบของฝ่ายตรงข้ามในการแยกคีย์เซสชันจากตัวเลขสุ่ม" เป็นคำถามที่แตกต่างกัน จากที่ถามมาตอนนี้ คำตอบปัจจุบันมีประโยชน์เพียงเล็กน้อยสำหรับคำถามนี้ อาจขึ้นอยู่กับเกมที่ใช้ทดสอบโปรโตคอล และฉันสามารถจินตนาการถึงโปรโตคอลที่ต้องใช้รหัสที่ได้รับการรับรองความถูกต้องแทนที่จะเป็นเพียงรหัส
Chandler avatar
cn flag
ใช่คุณถูก. ฉันใช้การเข้ารหัสที่รับรองความถูกต้องสำหรับทั้งความถูกต้องและความลับหากคุณคุ้นเคยกับการพิสูจน์ความปลอดภัยจากเกม เป็นไปได้ไหมที่จะให้ข้อมูล (เอกสาร วิดีโอ บล็อก...) เกี่ยวกับการพิสูจน์ความปลอดภัยในเกม ฉันได้ศึกษาบทช่วยสอนของ victor shoup ​​แล้ว (https://www.shoup.net/papers/games.pdf) และเอกสารที่เกี่ยวข้องบางส่วนเกี่ยวกับการพิสูจน์การแลกเปลี่ยนคีย์ แต่ก็ยังสับสนเกี่ยวกับรายละเอียดมากมาย ขอบคุณมาก.

โพสต์คำตอบ

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