ส่วนประกอบที่เป็นมาตรฐานคือจุดเริ่มต้นของการทบทวน ไม่ใช่ใบรับรองแอปส่งข้อความทั้งระบบ
ML-KEM-768 ช่วยให้สองฝ่ายสร้างความลับร่วมที่นำไปใช้ปกป้องข้อความได้ มันเป็นองค์ประกอบหนึ่งของระบบส่งข้อความ ไม่ใช่โปรโตคอลแชตที่ครบถ้วน ไม่ใช่อัลกอริทึมเข้ารหัสข้อความ และไม่ใช่ใบรับรองว่าแอปปลอดภัย
NIST เผยแพร่ FIPS 203 เมื่อวันที่ 13 สิงหาคม 2024 โดยกำหนดมาตรฐาน ML-KEM และชุดพารามิเตอร์ 512, 768 และ 1024 ความปลอดภัยอาศัยปัญหาทางคณิตศาสตร์บนแลตทิซที่เชื่อว่าต้านทานการโจมตีควอนตัมได้ “เชื่อว่าต้านทานได้” เป็นสมมติฐานความปลอดภัยที่มีการวิเคราะห์รองรับ ไม่ใช่คำสัญญาว่าจะไม่มีจุดอ่อนในอนาคต ดู NIST FIPS 203
KEM อยู่ตรงไหนในการแชตเข้ารหัส
วิธีที่มีประโยชน์ในการทำความเข้าใจคำกล่าวอ้างเรื่องการเข้ารหัสคือไล่ตามข้อมูลกุญแจ:
- ยืนยันตัวตนของคู่สนทนาที่ตั้งใจติดต่อ การแลกเปลี่ยนกุญแจกับผู้แอบอ้างก็ยังเป็นการแลกเปลี่ยนกับคนผิด
- สร้างข้อมูลลับร่วม KEM สร้างความลับผ่านการห่อหุ้มและคลายห่อ
- สร้างกุญแจให้ตรงกับวัตถุประสงค์ ฟังก์ชันสร้างกุญแจแยกข้อมูลที่ส่วนต่าง ๆ ของโปรโตคอลใช้
- เข้ารหัสและตรวจสอบความถูกต้องแท้จริงของข้อความ ระบบเข้ารหัสแบบยืนยันความถูกต้องปกป้องเนื้อหาและตรวจพบการแก้ไขที่ไม่ได้รับอนุญาต
- จัดการเซสชันตลอดเวลา การหมุนเวียนและลบกุญแจ การเปลี่ยนอุปกรณ์ และการกู้คืน เป็นตัวกำหนดว่าการถูกเจาะในภายหลังอาจเปิดเผยอะไร
ขั้นตอนเหล่านี้อธิบายว่าทำไมมาตรฐานสำหรับขั้นตอนที่สองจึงตรวจรับรองแอปทั้งตัวไม่ได้ คำถามที่พบบ่อยด้านการเข้ารหัสต้านทานควอนตัมของ NIST ให้บริบทสำหรับการนำมาตรฐานใหม่ไปใช้
เหตุใดจึงรวม ML-KEM กับการตกลงกุญแจแบบดั้งเดิม?
การออกแบบแบบผสมใช้องค์ประกอบต้านทานควอนตัมควบคู่กับองค์ประกอบดั้งเดิม เช่น Diffie–Hellman บนเส้นโค้งวงรี ประโยชน์ที่มุ่งหวังคือหลีกเลี่ยงการพึ่งสมมติฐานเพียงชุดใดชุดหนึ่งในช่วงเปลี่ยนผ่าน
คำกล่าวอ้างด้านความปลอดภัยเป็นของ ตัวรวมและโปรโตคอลที่ครบถ้วน ไม่ใช่แค่รายชื่อสองอัลกอริทึม ผู้ทบทวนต้องทราบว่าอินพุตใดได้รับการยืนยัน ถูกเข้ารหัสรูปแบบและรวมอย่างไร บริบทใดผูกอยู่ในการสร้างกุญแจ และจะเกิดอะไรเมื่อองค์ประกอบหนึ่งล้มเหลว การนำความลับมาต่อกันโดยไม่มีโครงสร้างที่ระบุไว้ไม่ใช่เหตุผลพิสูจน์ความปลอดภัย
สำหรับผู้ใช้ คำถามในทางปฏิบัติไม่ใช่ “หน้าตั้งค่าเขียนว่าปลอดภัยต่อควอนตัมหรือไม่?” แต่คือ “บทสนทนาและรุ่นใดใช้โครงสร้างนี้จริง และมีหลักฐานใดรองรับคำอธิบายนั้น?”
สิ่งที่ Livara จัดทำเอกสารไว้
เอกสารความปลอดภัยของ Livara อธิบายเซสชันแชตส่วนตัว LVR1 ที่ใช้ข้อมูล P-256 แบบดั้งเดิมกับ ML-KEM-768 และใช้ AES-256-GCM สำหรับเนื้อหา ส่วนกลุ่มส่วนตัว LGS1 ถูกอธิบายเป็นสายโซ่ผู้ส่งที่แจกจ่ายผ่านเซสชัน LVR1 ระหว่างสองฝ่าย ทั้งสองเป็นคนละชั้นกัน ข้อความกลุ่มทั่วไปจึงไม่จำเป็นต้องเป็นการแลกเปลี่ยน ML-KEM ใหม่สำหรับผู้รับทุกคน
อ่านเอกสารนี้ในฐานะคำอธิบายของผู้พัฒนา การเอ่ยชื่อองค์ประกอบพื้นฐานที่เป็นมาตรฐานไม่ได้แสดงว่าการประกอบเฉพาะของ Livara ผ่านการตรวจสอบอิสระ หรือทุกบิลด์ที่ติดตั้งนำไปใช้อย่างถูกต้อง Proof Lab ระบุขอบเขตการสาธิตในเบราว์เซอร์ไว้อย่างชัดเจน โดยไม่ได้รันแรตเชต LVR1/LGS1 แบบครบถ้วน และไม่ใช่การตรวจสอบโปรโตคอล
การปกป้องต้านทานควอนตัมไม่ครอบคลุมอะไร
| คำถาม | เหตุใด ML-KEM เพียงอย่างเดียวจึงตอบไม่ได้ |
|---|---|
| ผู้รับคัดลอกข้อความของฉันได้หรือไม่? | ผู้รับได้รับเนื้อหาที่อ่านได้ |
| อุปกรณ์ของฉันปลอดสปายแวร์หรือไม่? | ความสมบูรณ์ของจุดปลายทางเป็นสมมติฐานความไว้วางใจอีกเรื่องหนึ่ง |
| ข้อมูลสำรองได้รับการปกป้องหรือไม่? | กุญแจสำรองและกฎการกู้คืนต้องมีการออกแบบของตัวเอง |
| การเปลี่ยนสมาชิกกลุ่มปลอดภัยหรือไม่? | กฎการยืนยันตัวตน สมาชิก และการเปลี่ยนกุญแจมีความสำคัญ |
| บริการเก็บเมทาดาทาหรือไม่? | การเข้ารหัสเนื้อหาไม่ได้ซ่อนเส้นทางหรือเวลาโดยอัตโนมัติ |
| การโทรได้รับการปกป้องเหมือนแชตข้อความหรือไม่? | การส่งสัญญาณและสื่อของการโทรอาจใช้โปรโตคอลต่างกัน |
แบบจำลองภัยคุกคามของ Livara ยังแยกบทสนทนาส่วนตัวออกจากช่องสาธารณะ และยอมรับความเสี่ยงการเปิดเผยในระดับอุปกรณ์ อย่าขยายคำกล่าวอ้างสำหรับแชตส่วนตัวไปยังทุกส่วนของผลิตภัณฑ์
รายการตรวจสอบสำหรับผู้เลือกซื้อ “การส่งข้อความ FIPS 203”
ขอชุดพารามิเตอร์และรุ่นโปรโตคอลที่แน่นอน คำอธิบายการยืนยันคู่สนทนาและการรวมกุญแจ รุ่นไคลเอนต์ที่รองรับ พฤติกรรมกับไคลเอนต์ที่ไม่เข้ากัน และผลทดสอบหรือข้อค้นพบการทบทวนที่ผูกกับการนำไปใช้ในรุ่นที่แจกจ่ายจริง หากผู้ขายอ้าง การตรวจรับรอง FIPS ให้ขอบันทึกการตรวจรับรองที่เกี่ยวข้องและขอบเขตของมัน การใช้อัลกอริทึมที่อธิบายในเอกสาร FIPS ไม่ใช่หลักฐานว่าผลิตภัณฑ์หรือโมดูลผ่านการตรวจรับรองแล้วในตัวมันเอง
อย่าอนุมานอายุแบตเตอรี่ อัตรารับส่งข้อมูล หรือการตอบสนองของแอปจากชื่อพารามิเตอร์ สิ่งเหล่านี้ต้องอาศัยการวัดที่ระบุอุปกรณ์ บิลด์ และภาระงานไว้อย่างชัดเจน
ความเปลี่ยนแปลงที่มีประโยชน์ต่อการส่งข้อความคือเครื่องมือใหม่สำหรับการรักษาความลับระยะยาว คุณค่าขึ้นกับการผสานระบบ การนำไปใช้ และขอบเขตการทำงาน ไม่ใช่การเปลี่ยนคำโฆษณาหนึ่งเป็นอีกคำหนึ่ง
