Score:0

ความแตกต่างระหว่างความมั่นใจอย่างไม่มีเงื่อนไข การรักษาความลับที่สมบูรณ์แบบ และความมั่นใจในเชิงความหมาย ความเป็นปรปักษ์และความเป็นปรปักษ์

ธง cn

ใครช่วยบอกฉันถึงความแตกต่างระหว่างความปลอดภัยที่ไม่มีเงื่อนไข การรักษาความลับที่สมบูรณ์แบบ และความปลอดภัยเชิงความหมาย ฉันรู้ว่าเพื่อการรักษาความลับที่สมบูรณ์แบบ เรามีศัตรู A ที่มีความได้เปรียบเท่ากับ 0ราคา(w0) = ราคา(w1)ในขณะที่ฝ่ายตรงข้ามมีทรัพยากรไม่ จำกัด และสำหรับความปลอดภัยเชิงความหมายความได้เปรียบเท่ากับ 0 แต่มี epsilon เล็กน้อย และฉันคิดว่าความปลอดภัยที่ไม่มีเงื่อนไขหมายถึงสิ่งเดียวกับความปลอดภัยเชิงความหมาย แต่ฝ่ายตรงข้ามมีทรัพยากร จำกัด โปรดแจ้งให้เราทราบความแตกต่างที่ถูกต้อง ขอบคุณ ในการบรรยายของอาจารย์มีคำจำกัดความดังต่อไปนี้:

แนวคิดของความเป็นส่วนตัวที่สมบูรณ์แบบนั้นตั้งอยู่บนสมมติฐานที่ว่าผู้โจมตีสังเกตข้อความเข้ารหัสเฉพาะที่ตรงกับคีย์เข้ารหัสเฉพาะ เรากำลังพูดถึงกุญแจแบบใช้ครั้งเดียว อย่างไรก็ตาม เราจะให้พลังการประมวลผลที่ไม่จำกัดแก่ฝ่ายตรงข้าม เราจะมีความลับที่สมบูรณ์แบบหากฝ่ายตรงข้าม (A) ล้มเหลวและประสบความสำเร็จในเกมนี้ด้วยความน่าจะเป็นที่เท่ากัน กล่าวคือ $\Pr (W_0) = \Pr (W_1)$. ถ้าใช่, $A$ข้อดีของเกมนี้คือ $AvCP (A, E) = 0$. เราเห็นว่าระบบเข้ารหัสที่ปลอดภัยอย่างไม่มีเงื่อนไขนั้นไม่เป็นศูนย์แม้ว่าจะเป็นเช่นนั้นก็ตาม $A$ มีทรัพยากรไม่ จำกัด จำนวนและเวลาในการประมวลผลไม่ จำกัด

และคำจำกัดความของการรักษาความปลอดภัยเชิงความหมาย:

ป้อนคำอธิบายรูปภาพที่นี่

ที่ไหน เอวีเอส เป็นข้อได้เปรียบของคู่ต่อสู้ (ซึ่งคู่ต่อสู้ที่มีประสิทธิภาพหมายถึงทรัพยากรมีจำกัด) เขายังกล่าวอีกว่า:

การรักษาความปลอดภัยที่ไม่มีเงื่อนไขซึ่งฝ่ายตรงข้ามจะได้รับพลังการประมวลผลที่ไม่มีที่สิ้นสุด

แต่ในขณะเดียวกัน เขาก็กล่าวว่า unconditionally secure เท่ากับ semantically secure :

ระบบเข้ารหัสที่ปลอดภัยอย่างไม่มีเงื่อนไขมีความปลอดภัยทางความหมาย เราได้เห็นแล้วว่าข้อได้เปรียบของฝ่ายตรงข้าม (ได้ผลหรือไม่) ต่อการเข้ารหัสดังกล่าวเป็นศูนย์ หน้ากากแบบใช้แล้วทิ้งเป็นตัวอย่างที่ชัดเจนของระบบการเข้ารหัสที่ปลอดภัยทางความหมาย (เนื่องจากปลอดภัยอย่างไม่มีเงื่อนไข)

ดังนั้นฉันจึงสับสนมากเนื่องจากเขากล่าวก่อนหน้านี้ว่าใน semantically secure ทรัพยากรมีจำกัด แต่ในความปลอดภัยไม่มีเงื่อนไขนั้นไม่จำกัด แต่เขาบอกว่า unconditionally secure เท่ากับ semantically secure ??

kelalaka avatar
in flag
คำตอบอาจยาวเกินไปที่จะเขียน อันที่เรียบง่าย เราผ่อนคลายจากการรักษาความปลอดภัยที่สมบูรณ์แบบ เนื่องจากต้องใช้ขนาดคีย์เท่ากับขนาดข้อความ และต้องไม่ใช้ซ้ำ ในการรักษาความปลอดภัยเชิงความหมาย เราผ่อนปรนเงื่อนไขเกี่ยวกับพลังที่จำกัดขอบเขตพหุนาม Semantical Security สามารถแสดงได้เท่ากับ Ind-CPA และง่ายต่อการพิสูจน์สิ่งต่างๆ แล้ว **คุณไปเอาคำจำกัดความที่คุณสับสนมาจากไหน**? คุณช่วยระบุสิ่งนี้ได้ไหม
joxavy avatar
cn flag
@kelalaka ขอบคุณสำหรับคำตอบ และฉันนำมันมาจากบทเรียนของฉัน ที่อาจารย์ให้มา เขาบอกให้เราแยกความแตกต่างระหว่างพวกเขา โดยขึ้นอยู่กับความได้เปรียบ การขอความช่วยเหลือที่จำกัด/ไม่จำกัด เพราะในบทเรียนบอกว่าความปลอดภัยที่ไม่มีเงื่อนไขคือ ปลอดภัยทางความหมาย แต่ในขณะเดียวกันก็มีความแตกต่างเพราะฉันเดาว่าความปลอดภัยทางความหมายนั้นไม่แน่ใจโดยไม่มีเงื่อนไข ไม่มีความเท่าเทียมกันระหว่างพวกเขา
kelalaka avatar
in flag
ดังนั้นนี่คือ HW คุณสามารถ [แก้ไข] คำถามของคุณด้วยคำจำกัดความจากการบรรยายและเราสามารถให้คำแนะนำแก่คุณพร้อมความคิดเห็น
joxavy avatar
cn flag
@kelalaka ฉันได้แก้ไขด้วยคำจำกัดความจากการบรรยาย
kelalaka avatar
in flag
$$\text{unconditionally secure encryption} \implies \text{semantically secure}$$ แต่การสนทนานั้นไม่เป็นความจริง คุณพลาดจุดนี้ $$\text{semantically secure} \nRightarrow \text{การเข้ารหัสที่ปลอดภัยอย่างไม่มีเงื่อนไข}$$
joxavy avatar
cn flag
@kelalaka โอ้ ฉันเข้าใจแล้ว ขอบคุณ แต่การรักษาความลับที่สมบูรณ์แบบนั้นเทียบเท่ากับพวกเขาหรือไม่? เพราะผมเชื่อว่าเขาเคยกล่าวไว้ว่า มันเท่ากับ semantically secure
kelalaka avatar
in flag
อย่างไรก็ตาม ไม่ชัดเจน ควรเป็น 'แน่ใจอย่างไม่มีเงื่อนไข = การรักษาความลับที่สมบูรณ์แบบ' คุณอาจถือว่า Lindell&Katz เป็นหนังสือเสริม...
joxavy avatar
cn flag
@kelalaka แน่ใจอย่างไม่มีเงื่อนไข = การรักษาความลับที่สมบูรณ์แบบ และ แน่ใจอย่างไม่มีเงื่อนไข = ปลอดภัยทางความหมาย แต่ความปลอดภัยทางความหมายนั้นไม่แน่นอนอย่างไม่มีเงื่อนไข และไม่ใช่การรักษาความลับที่สมบูรณ์แบบ โอเค ขอบคุณมากที่สละเวลา ขอโทษที่ฉันถามเยอะไป ^^
kelalaka avatar
in flag
คุณกำลังใช้ `=` แทน `=>` ที่นี่ `แน่นอนไม่มีเงื่อนไข => ปลอดภัยทางความหมาย`
joxavy avatar
cn flag
@kelalaka แน่ใจอย่างไม่มีเงื่อนไข => ปลอดภัยทางความหมายและ 'แน่ใจอย่างไม่มีเงื่อนไข = การรักษาความลับที่สมบูรณ์แบบ' หนึ่งในนั้นเท่ากับและอีกอันหนึ่งเท่ากับในทางเดียวเท่านั้น
kelalaka avatar
in flag
ใช่ คุณสามารถดูได้จาก $\epsilon$
joxavy avatar
cn flag
@kelalaka ขอบคุณมาก!

โพสต์คำตอบ

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