‹

11 · Security & Cryptography

11 · Security & Cryptography

11 · ​ความปลอดภัย​และ​วิทยาการ​รหัสลับ

This chapter is not a floor of the tower but a stairwell cut through all of them — an attacker enters on whichever floor you left unguarded, and is under no obligation to use the door you built.

​บท​นี้​ไม่​ใช่​ชั้นหนึ่ง​ของ​หอคอย ​แต่​เป็น​ช่อง​บันได​ที่​เจาะ​ทะลุ​ทุก​ชั้น — ​ผู้​โจมตี​เข้าทาง​ชั้น​ไหน​ก็ได้​ที่​คุณ​ปล่อย​ไว้​ไม่​มี​คน​เฝ้า ​และ​ไม่​มี​ข้อผูกมัด​ใด​ที่จะ​ต้อง​ใช้​ประตู​ที่​คุณ​สร้าง​ไว้

How do strangers build trust over a wire?

​คนแปลกหน้า​สร้าง​ความไว้ใจ​กัน​ผ่าน​สาย​ได้​อย่างไร

In November 1976 the IEEE Transactions on Information Theory carried a paper opening with a sentence academics almost never allow themselves: "We stand today on the brink of a revolution in cryptography" (Diffie & Hellman, 1976). The problem it dissolved was thousands of years old, and it was not that codes kept getting broken. It was a delivery problem. Every cipher in history — Caesar's, Mary Stuart's, Enigma's — required that sender and receiver already share a secret key: a courier, a meeting, a locked bag. Scrambling the message was never the hard part. Getting the key to the far end untouched was, and on a planetary network of strangers who will never meet, it looked impossible.

​เดือน​พฤศจิกายน 1976 ​วารสาร IEEE Transactions on Information Theory ​ลง​เปเปอร์​ที่​เปิด​ด้วย​ประโยค​ที่​นักวิชาการ​แทบ​ไม่​ยอมให้​ตัวเอง​เขียน — "​วันนี้​เรา​กำลัง​ยืน​อยู่​บน​ขอบ​ของ​การปฏิวัติ​ทาง​วิทยาการ​รหัสลับ" (We stand today on the brink of a revolution in cryptography) (Diffie & Hellman, 1976) ​ปัญหา​ที่​มัน​คลี่คลาย​มีอายุ​นับ​พันปี ​และ​ไม่​ใช่​เรื่อง​ที่​รหัส​ถูก​ถอด​ได้​เรื่อยๆ ​มัน​คือ​ปัญหา​การส่งมอบ ​รหัสลับ​ทุก​แบบ​ใน​ประวัติศาสตร์ — ​ของ Caesar, ​ของ Mary Stuart, ​ของ Enigma — ​ต้องการ​ให้​ผู้ส่ง​กับ​ผู้รับ​ถือ​กุญแจ​ลับ (key) ​ร่วมกัน​อยู่​ก่อน​แล้ว ​ผ่าน​คน​เดินสาร ​ผ่าน​การนัด​พบ ​หรือ​ผ่าน​กระเป๋า​ที่​ล็อก​ไว้ ​การสับ​ข้อความ​ให้​อ่านไม่ออก​ไม่​เคย​เป็น​ส่วน​ที่​ยาก ​ส่วน​ที่​ยาก​คือ​ส่ง​กุญแจ​ไป​ถึง​ปลายทาง​โดย​ไม่​มี​ใคร​แตะต้อง ​และ​บน​เครือข่าย​ระดับ​ดาวเคราะห์​ที่​เต็มไปด้วย​คนแปลกหน้า​ที่จะ​ไม่​มี​วัน​เจอกัน ​เรื่อง​นี้​ดู​เป็นไปไม่ได้

It is not. Two people who have never met can shout across a room where everyone is listening and writing everything down, and finish sharing a number no listener can compute.

​มัน​เป็นไปได้ ​คน​สอง​คน​ที่​ไม่​เคย​เจอกัน​ตะโกน​ข้าม​ห้อง​ที่​ทุกคน​ฟัง​อยู่​และ​จด​ทุก​คำ​ไว้ ​แล้ว​จบ​ลง​ด้วย​ตัวเลข​ร่วมกัน​ตัว​หนึ่ง​ที่​ไม่​มี​ผู้ฟัง​คน​ไหน​คำนวณ​ตาม​ได้

The strangest part of that revolution is that it had already happened, in silence. In a January 1970 report, James Ellis of Britain's GCHQ argued that "non-secret encryption" was possible; Clifford Cocks built a working scheme in 1973 and Malcolm Williamson another in 1974. All of it was classified. GCHQ released the papers on 17 December 1997, the day before Cocks announced them in public — a month after Ellis had died on 25 November 1997, never permitted to say what he had done (GCHQ).

​ส่วน​ที่​แปลกที่​สุด​ของ​การปฏิวัติ​ครั้งนั้น​คือ​มัน​เกิดขึ้น​ไป​แล้ว​อย่าง​เงียบๆ ​ใน​รายงาน​เดือน​มกราคม 1970 James Ellis ​แห่ง GCHQ ​ของ​อังกฤษ ​เสนอ​ว่า "​การเข้ารหัส​แบบ​ไม่​ลับ" (non-secret encryption) ​เป็นไปได้ Clifford Cocks ​สร้างสคี​มา​ที่​ใช้งาน​ได้​จริง​ใน​ปี 1973 Malcolm Williamson ​สร้าง​อีก​แบบ​ใน​ปี 1974 ​ทั้งหมด​ถูก​จัด​ชั้น​เป็นความลับ GCHQ ​ปล่อย​เอกสาร​ออกมา​วันที่ 17 ​ธันวาคม 1997 ​หนึ่ง​วันก่อน Cocks ​ประกาศ​ต่อ​สาธารณะ — ​หนึ่ง​เดือน​หลัง Ellis ​เสียชีวิต​เมื่อ​วันที่ 25 ​พฤศจิกายน 1997 ​โดย​ไม่​เคย​ได้รับอนุญาต​ให้​พูดว่า​ตัวเอง​ทำ​อะไร​ไว้ (GCHQ)

Assume the enemy has your blueprints. In 1883 Auguste Kerckhoffs published six requirements for a field cipher in the Journal des sciences militaires. Five are period furniture. The second has outlived them all: the system "must not require secrecy and can be stolen by the enemy without causing trouble" (Kerckhoffs, 1883). Claude Shannon restated the rule in the 1949 paper that made cryptography a mathematical science (Communication Theory of Secrecy Systems), and modern standards still say it plainly — security "should not depend on the secrecy of the implementation or its components" (NIST SP 800-123). A key can be replaced in seconds by one person; a hidden design baked into a million shipped devices cannot be replaced at all, needing only one captured device to become public. Concentrate the secrecy in the smallest, most replaceable thing you own. That thing is the key.

​สมมติ​ว่า​ศัตรู​ถือ​พิมพ์เขียว​ของ​คุณ​อยู่​ใน​มือ​แล้ว ​ปี 1883 Auguste Kerckhoffs ​ตีพิมพ์​ข้อกำหนด​หก​ข้อ​สำหรับ​รหัสลับ​ภาคสนาม​ใน Journal des sciences militaires ​ห้า​ข้อ​เป็น​เฟอร์นิเจอร์​ของ​ยุค​นั้น ​ข้อ​ที่สอง​อยู่รอด​มา​ได้​นาน​กว่า​ทุก​ข้อ — ​ระบบ "​ต้อง​ไม่ต้อง​อาศัย​ความลับ ​และ​ต่อให้​ถูก​ศัตรู​ขโมย​ไป​ก็​ไม่​ก่อปัญหา" (must not require secrecy and can be stolen by the enemy without causing trouble) (Kerckhoffs, 1883) Claude Shannon ​เขียน​กฎ​ข้อ​นี้​ใหม่​ใน​เปเปอร์​ปี 1949 ​ที่​ทำให้​วิทยาการ​รหัสลับ​กลายเป็น​ศาสตร์​เชิง​คณิตศาสตร์ (Communication Theory of Secrecy Systems) ​และ​มาตรฐาน​ยุค​นี้​ก็​ยัง​พูดตรงๆ ​อย่างเดียวกัน — ​ความปลอดภัย "​ไม่​ควร​ขึ้นอยู่กับ​ความลับ​ของ​การนำ​ไป​ใช้งาน​จริง​หรือ​ส่วนประกอบ​ของ​มัน" (should not depend on the secrecy of the implementation or its components) (NIST SP 800-123) ​คน​คนเดียว​เปลี่ยน​กุญแจ​ใหม่​ได้​ใน​ไม่​กี่​วินาที ​ดีไซน์​ที่ซ่อน​ไว้​ใน​อุปกรณ์​นับ​ล้าน​เครื่อง​ที่​ส่งออก​ไป​แล้ว​เปลี่ยน​ไม่​ได้​เลย ​และ​อุปกรณ์​ถูก​ยึด​ไป​เครื่อง​เดียว​ก็​พอให้​มัน​กลายเป็น​ของ​สาธารณะ ​รวมความ​ลับ​ไว้​ที่​สิ่ง​ที่​เล็ก​ที่สุด​และ​เปลี่ยน​ง่าย​ที่สุด​เท่าที่​คุณ​มี ​สิ่ง​นั้น​คือ​กุญแจ

Some doors swing one way. Multiplying two large primes takes a modern processor a fraction of a millisecond. Recovering those primes from the product has no known classical method that finishes in a useful lifetime. Cryptography lives inside gaps like this — computations cheap forward and ruinous backward. Here is the honest part: nobody has proved such functions exist. Their existence would imply P ≠ NP; the reverse implication is not known, so even settling that famous question would not settle this one (status). Every encrypted payment and every signed software update rests on a conjecture that has survived fifty years of attack — which is evidence, not proof.

​ประตู​บาง​บาน​แกว่ง​ได้​ทางเดียว ​การคูณ​จำนวน​เฉพาะ​ขนาดใหญ่​สอง​ตัว​กินเวลา​โปรเซสเซอร์​สมัยใหม่​แค่​เศษ​เสี้ยว​มิล​ลิ​วินาที ​การย้อน​หา​จำนวน​เฉพาะ​สอง​ตัว​นั้น​จาก​ผลคูณ​ไม่​มี​วิธี​แบบ​คลาสสิก​วิธี​ใด​ที่​รู้จัก​กัน​แล้วเสร็จ​ได้​ใน​ช่วงชีวิต​ที่​ใช้ประโยชน์​ได้ ​วิทยาการ​รหัสลับ​อาศัย​อยู่​ใน​ช่องว่าง​แบบนี้ — ​คำนวณ​ไป​ข้างหน้า​ถูก ​ย้อนกลับ​แพง​จน​พัง ​ส่วน​ที่​ต้อง​พูดตรงๆ ​คือ​ไม่​มี​ใคร​พิสูจน์​ได้​ว่า​ฟังก์ชัน​ทางเดียว (one-way function) ​แบบนี้​มี​อยู่​จริง ​การมี​อยู่​ของ​มัน​จะ​บอกเป็นนัย​ว่า P ≠ NP ​ส่วน​นัย​กลับด้าน​นั้น​ไม่​มี​ใคร​รู้ ​ต่อให้​ตัดสิน​คำถาม​ชื่อดัง​ข้อ​นั้น​ได้ ​ก็​ยัง​ไม่​ได้​ตัดสิน​ข้อ​นี้ (status) ​การจ่าย​เงิน​ที่​เข้ารหัส​ทุกครั้ง​และ​การอัปเดต​ซอฟต์แวร์​ที่​เซ็น​กำกับ​ทุกครั้ง ​วาง​อยู่​บน​ข้อสันนิษฐาน​ที่​รอด​การโจมตี​มา​ห้าสิบ​ปี — ​นั่น​คือ​หลักฐาน ​ไม่​ใช่​บทพิสูจน์

A secret can be agreed in public. The Diffie–Hellman construction is worth understanding once, because it feels like sleight of hand and is not. Both parties agree publicly on a large prime and a base number. Each privately picks an exponent, raises the base to it, and shouts the result. Each then raises the other person's shouted number to their own private exponent. Both arrive at the same value, because exponentiation does not care about the order. An eavesdropper holds both public results and cannot get there, because recovering an exponent from its result — the discrete logarithm — is one of those one-way doors. Two years later, Rivest, Shamir and Adleman turned the same asymmetry the other way round (RSA, 1978): not hiding a message, but signing it, so anyone can check who wrote it and no one can forge it. Diffie and Hellman received the Turing Award for 2015 (ACM).

​ความลับ​ตกลง​กัน​ใน​ที่แจ้ง​ได้ ​โครงสร้าง Diffie–Hellman ​คุ้ม​ที่จะ​ทำความเข้าใจ​สักครั้ง ​เพราะ​มัน​ให้ความรู้​สึก​เหมือน​กล​มายากล ​ทั้งที่​ไม่​ใช่ ​ทั้งสองฝ่าย​ตกลง​กัน​ใน​ที่แจ้ง​เรื่อง​จำนวน​เฉพาะ​ขนาดใหญ่​ตัว​หนึ่ง​กับ​เลข​ฐาน​ตัว​หนึ่ง ​แต่ละ​ฝ่าย​เลือก​เลขชี้กำลัง​ของ​ตัวเอง​เป็นการ​ส่วนตัว ​ยก​เลข​ฐาน​ขึ้น​เป็น​เลขชี้กำลัง​นั้น ​แล้ว​ตะโกน​ผลลัพธ์​ออก​ไป ​ต่อมา​แต่ละ​ฝ่าย​ยกตัว​เลขที่ ​อีก​ฝ่าย ​ตะโกน​ออกมา ​ขึ้น​เป็น​เลขชี้กำลัง​ส่วนตัว​ของ​ตัวเอง ​ทั้งคู่​ได้​ค่า​เดียวกัน ​เพราะ​การยกกำลัง​ไม่​สนใจ​ลำดับ ​คน​ดักฟัง​ถือ​ผลลัพธ์​สาธารณะ​ไว้​ทั้งสอง​ค่า​แต่​ไป​ต่อ​ไม่​ได้ ​เพราะ​การย้อน​หา​เลขชี้กำลัง​จาก​ผลลัพธ์​ของ​มัน — ​ลอการิทึม​ไม่​ต่อเนื่อง (discrete logarithm) — ​ก็​เป็น​ประตู​ทางเดียว​อีก​บาน​หนึ่ง ​สอง​ปี​ต่อมา Rivest, Shamir ​และ Adleman ​พลิก​ความไม่​สมมาตร​อัน​เดียวกัน​นี้​กลับด้าน (RSA, 1978) ​ไม่​ใช่​ซ่อน​ข้อความ ​แต่​เซ็น​กำกับ​มัน ​ให้​ใคร​ก็​ตรวจ​ได้​ว่า​ใคร​เขียน ​และ​ไม่​มี​ใคร​ปลอม​ได้ Diffie ​กับ Hellman ​ได้รับ​รางวัล Turing Award ​ประจำปี 2015 (ACM)

Encryption is one promise out of three, and usually not the one you needed. Confidentiality means nobody else can read it. Integrity means nobody altered it in flight. Authentication means it came from who it claims. These are separable, and the failure mode is unglamorous: an attacker who cannot read your ciphertext may still flip bits inside it, or replay yesterday's valid message today. Most real protocol disasters are integrity or authentication failures wearing an encrypted coat.

​การเข้ารหัส​เป็น​คำมั่น​แค่​ข้อ​เดียว​ใน​สาม​ข้อ ​และ​มัก​ไม่​ใช่​ข้อ​ที่​คุณ​ต้องการ ​ความลับ (confidentiality) ​คือ​ไม่​มี​ใคร​อื่น​อ่าน​มัน​ออก ​ความครบถ้วน (integrity) ​คือ​ไม่​มี​ใคร​แก้ไข​มัน​ระหว่างทาง ​การพิสูจน์​ตัวตน (authentication) ​คือ​มัน​มาจาก​คน​ที่​มัน​อ้างว่า​เป็น ​สาม​อย่างนี้​แยกจาก​กัน​ได้ ​และ​รูปแบบ​ความล้มเหลว​ก็​ไม่​หวือหวา ​ผู้​โจมตี​ที่​อ่าน ciphertext ​ของ​คุณ​ไม่​ออก ​ยัง​สลับ​บิต​ข้างใน​มัน​ได้ ​หรือ​เอา​ข้อความ​ที่​ถูกต้อง​ของ​เมื่อวาน​มา​เล่น​ซ้ำ​วันนี้ ​ความหายนะ​ของ​โพรโทคอล​ใน​โลก​จริง​ส่วนใหญ่​คือ​ความล้มเหลว​ด้าน integrity ​หรือ authentication ​ที่​สวม​เสื้อคลุม​เข้ารหัส​ไว้

Design against an adversary, not for a user. Every other floor in this tower asks whether a system works. This one asks what happens when someone actively wants it not to — and gets to choose the floor. Saltzer and Schroeder set out the discipline in 1975 in eight principles that have not needed revision: economy of mechanism, fail-safe defaults, complete mediation, open design, separation of privilege, least privilege, least common mechanism, psychological acceptability (Proc. IEEE 63(9)). Least privilege is the one to carry: every component gets exactly the authority its job requires, so a compromise stays local. Heartbleed, disclosed on 7 April 2014, was a missing bounds check in OpenSSL that let any stranger ask a server for a slice of its own memory (CISA) — no cipher was broken; a leak two floors down drained the secrets held above it. That is chapter 00's law of leaky abstractions with an adversary standing at the crack.

​ออกแบบ​เพื่อ​รับมือ​ฝ่ายตรงข้าม ​ไม่​ใช่​เพื่อ​ผู้ใช้ ​ทุก​ชั้น​อื่น​ใน​หอคอย​นี้​ถาม​ว่า​ระบบ​ทำงาน​ได้​ไหม ​ชั้นนี้​ถาม​ว่า​เกิด​อะไร​ขึ้น​เมื่อ​มี​คน​ตั้งใจ​อยาก​ให้​มัน​ทำงาน​ไม่​ได้ — ​และ​เลือก​ได้​เอง​ว่า​จะ​ลงมือ​ที่​ชั้น​ไหน Saltzer ​กับ Schroeder ​วาง​วินัย​นี้​ไว้​ใน​ปี 1975 ​เป็นหลัก​การแปด​ข้อ​ที่​ยัง​ไม่ต้อง​แก้ — economy of mechanism, fail-safe defaults, complete mediation, open design, separation of privilege, least privilege, least common mechanism, psychological acceptability (Proc. IEEE 63(9)) ​ข้อ​ที่​ควร​พก​ติดตัว​คือ​สิทธิ์​น้อยที่สุด (least privilege) — ​แต่ละ​คอม​โพ​เนนต์​ได้​อำนาจ​พอดี​กับ​ที่​งาน​ของ​มัน​ต้อง​ใช้ ​ความเสียหาย​เมื่อ​ถูก​เจาะ​จึง​อยู่​แค่​จุด​เดียว Heartbleed ​เปิดเผย​เมื่อ​วันที่ 7 ​เมษายน 2014 ​คือ​การลืม​ตรวจ​ขอบเขต (bounds check) ​ใน OpenSSL ​ที่​ปล่อย​ให้​คนแปลกหน้า​คน​ไหน​ก็ได้​ขอ​ชิ้นส่วน​หน่วยความจำ​ของ​เซิร์ฟเวอร์​ไปดู (CISA) — ​ไม่​มี​รหัสลับ​ตัว​ไหน​ถูก​ถอด ​รอย​รั่ว​ต่ำ​ลง​ไป​สองชั้น​ดูด​ความลับ​ที่เก็บ​อยู่​ข้างบน​ออก​ไป​หมด ​นี่​คือ​กฎ​ว่าด้วย abstraction ​ที่​รั่ว​เสมอ​จาก​บท​ที่ 00 ​โดย​มี​ฝ่ายตรงข้าม​ยืน​อยู่​ตรง​รอยร้าว

The weakest layer is the one made of people. The Morris worm of 2 November 1988 spread through an estimated 6,000 of roughly 60,000 connected machines (FBI) — an estimate, still quoted as one. The ratio has not improved: Verizon's 2026 Data Breach Investigations Report, covering incidents from 1 November 2024 to 31 October 2025, finds a human element in 62% of breaches (DBIR). Mathematics defends the wire. It does not defend the person who is tired at the end of a shift.

​ชั้น​ที่​อ่อนแอ​ที่สุด​คือ​ชั้น​ที่​ทำ​จาก​คน ​หนอน Morris ​เมื่อ​วันที่ 2 ​พฤศจิกายน 1988 ​แพร่​ไป​ราว 6,000 ​เครื่อง ​จาก​เครื่อง​ที่​เชื่อมต่อ​อยู่​ราว 60,000 ​เครื่อง (FBI) — ​เป็นตัว​เลข​ประมาณการ ​และ​ยัง​ถูก​อ้าง​ใน​ฐานะ​ตัวเลข​ประมาณการ​อยู่​จน​วันนี้ ​สัดส่วน​นั้น​ไม่​ดีขึ้น​เลย ​รายงาน Data Breach Investigations Report ​ปี 2026 ​ของ Verizon ​ครอบคลุม​เหตุการณ์​ตั้งแต่​วันที่ 1 ​พฤศจิกายน 2024 ​ถึง 31 ​ตุลาคม 2025 ​พบ​ปัจจัย​จาก​มนุษย์​ใน 62% ​ของ​การรั่วไหล (DBIR) ​คณิตศาสตร์​ป้องกัน​สายส่ง​ได้ ​มัน​ไม่​ป้องกัน​คน​ที่​เหนื่อยล้า​ตอน​ใกล้​หมด​กะ

A clock is running on all of it. Peter Shor showed in 1994 that a sufficiently large quantum computer would factor integers and compute discrete logarithms efficiently — dissolving exactly the two one-way doors that public-key cryptography stands on. No such machine exists (chapter 14 weighs how far away it is), but encrypted traffic recorded today can be decrypted the day one arrives, a strategy standards bodies now name openly as harvest now, decrypt later (NIST IR 8547). The replacement is already standardized: NIST finalized FIPS 203, 204 and 205 on 13 August 2024, and selected the code-based algorithm HQC as a backup on 11 March 2025 (NIST). The engineering problem is not inventing the new mathematics. It is finding, in a civilization's worth of software, every place the old mathematics was quietly assumed.

​นาฬิกา​เดิน​อยู่​บน​ทุกอย่าง​ที่ว่า​มา Peter Shor ​แสดง​ไว้​ใน​ปี 1994 ​ว่า​คอมพิวเตอร์​ควอนตัม​ที่​ใหญ่​พอ​จะ​แยกตัว​ประกอบ​จำนวนเต็ม​และ​คำนวณ​ลอการิทึม​ไม่​ต่อเนื่อง​ได้​อย่าง​มีประสิทธิภาพ — ​สลาย​ประตู​ทางเดียว​สอง​บาน​ที่​วิทยาการ​รหัสลับ​แบบ​กุญแจ​สาธารณะ (public-key) ​ยืน​อยู่​บน​นั้น​พอดี ​เครื่องแบบ​นั้น​ยัง​ไม่​มี​อยู่​จริง (​บท​ที่ 14 ​ชั่งน้ำหนัก​ว่า​มัน​อีก​ไกล​แค่​ไหน) ​แต่ท​ราฟฟิก​ที่​เข้ารหัส​ไว้​แล้ว​บันทึก​เก็บ​ไว้​วันนี้ ​ถอด​ได้​ใน​วันที่​เครื่อง​นั้น​มาถึง ​หน่วยงาน​มาตรฐาน​เรียก​กลยุทธ์​นี้​อย่าง​เปิดเผย​แล้ว​ว่า ​เก็บเกี่ยว​ตอนนี้ ​ถอดรหัส​ทีหลัง (harvest now, decrypt later) (NIST IR 8547) ​ตัวแทน​มี​มาตรฐาน​รองรับ​เรียบร้อย​แล้ว NIST ​สรุป FIPS 203, 204 ​และ 205 ​เป็นทางการ​เมื่อ​วันที่ 13 ​สิงหาคม 2024 ​และ​เลือก​อัลกอริทึม​แบบ code-based ​ชื่อ HQC ​เป็นตัว​สำรอง​เมื่อ​วันที่ 11 ​มีนาคม 2025 (NIST) ​โจทย์​ทาง​วิศวกรรม​ไม่​ใช่​การคิด​คณิตศาสตร์​ชุด​ใหม่ ​แต่​คือ​การตาม​หา​ทุก​จุด​ที่​คณิตศาสตร์​ชุด​เก่า​ถูก​สมมติ​ไว้​เงียบๆ ​ใน​ซอฟต์แวร์​ทั้งหมด​เท่าที่​อารยธรรม​หนึ่ง​เคย​เขียน​ขึ้น​มา

Connections

​เชื่อมโยง

Below: chapter 03 supplies the raw material — a key is only as good as its unpredictability, which entropy measures. Chapters 04 and 05 hold the roots of trust, since a kernel that can be subverted makes every guarantee above it decorative. Alongside: chapter 09 explains why the internet's naming and routing were built for a cooperative world and had authentication bolted on later, and chapter 10 asks how parties agree when some of them have merely crashed — this chapter's adversary upgrades crashing to lying. Above: chapter 12, where the adversary attacks the training data rather than the wire.

​ชั้นล่าง: ​บท​ที่ 03 ​ส่ง​วัตถุดิบ​มา​ให้ — ​กุญแจ​ดี​ได้​แค่​เท่าที่​มัน​คาดเดา​ไม่​ได้ ​และ​สิ่ง​ที่วัด​ความคาดเดา​ไม่​ได้​คือ​เอนโทรปี (entropy) ​บท​ที่ 04 ​กับ 05 ​ถือ​รากฐาน​ของ​ความไว้ใจ​ไว้ ​เพราะ​เคอร์เนล​ที่​ถูก​ล้มล้าง​ได้​ทำให้​การรับประกัน (guarantee) ​ทุก​ข้อ​เหนือ​มัน​เหลือ​เป็น​ของ​ประดับ ​ชั้น​ข้างเคียง: ​บท​ที่ 09 ​อธิบาย​ว่า​ทำไม​การตั้งชื่อ​และ​การจัด​เส้นทาง​ของ​อินเทอร์เน็ต​ถูก​สร้าง​มา​เพื่อ​โลก​ที่​ร่วมมือ​กัน ​และ​เอาการ​พิสูจน์​ตัวตน​มา​ติด​เพิ่ม​ทีหลัง ​บท​ที่ 10 ​ถาม​ว่า​ฝ่าย​ต่างๆ ​ตกลง​กัน​ได้​อย่างไร​เมื่อ​บาง​ฝ่าย​แค่​ล่ม​ไป​เฉยๆ — ​ฝ่ายตรงข้าม​ใน​บท​นี้​ยกระดับ​จาก "​ล่ม" ​เป็น "​โกหก" ​ชั้นบน: ​บท​ที่ 12 ​ที่​ฝ่ายตรงข้าม​โจมตี​ข้อมูล​เท​รน ​ไม่​ใช่​สายส่ง

Open questions

​คำถาม​ที่​ยัง​เปิด​อยู่

Do one-way functions exist? Everything in this chapter is a bet that they do. Can the world's deployed cryptography be migrated to post-quantum algorithms before a cryptographically relevant quantum computer exists, given that nobody knows the date of either event? And the question the field keeps failing rather than solving: can systems be made secure and usable, given that Saltzer and Schroeder listed psychological acceptability fifty years ago and it remains the least-honoured of their eight principles?

​ฟังก์ชัน​ทางเดียว​มี​อยู่​จริง​ไหม ​ทุกอย่าง​ใน​บท​นี้​คือ​การพนัน​ว่า​มัน​มี ​วิทยาการ​รหัสลับ​ที่​ใช้งาน​อยู่​ทั่วโลก​จะ​ย้าย​ไป​ใช้​อัลกอริทึม post-quantum ​ได้​ทัน​ก่อน​คอมพิวเตอร์​ควอนตัม​ระดับ​ที่​ทำลาย​รหัสลับ​ได้​จะ​มี​อยู่​จริง​ไหม ​ใน​เมื่อ​ไม่​มี​ใคร​รู้​วันที่​ของ​เหตุการณ์​ทั้งสอง​ฝั่ง ​และ​คำถาม​ที่​วงการ​นี้​ทำ​พลาด​ซ้ำแล้วซ้ำเล่า​มากกว่า​จะ​แก้​ได้ — ​ระบบ​จะ​ปลอดภัย ​และ ​ใช้งาน​ง่าย​ไป​พร้อมกัน​ได้​ไหม ​ใน​เมื่อ Saltzer ​กับ Schroeder ​ระบุ psychological acceptability ​ไว้​ตั้ง​ห้าสิบ​ปีก่อน ​และ​มัน​ยัง​เป็น​ข้อ​ที่​ถูก​ให้ความสำคัญ​น้อยที่สุด​ใน​แปด​ข้อ​ของ​พวกเขา

Go deeper

​อ่าน​ต่อ

  • Alfred Menezes, Paul van Oorschot & Scott Vanstone, Handbook of Applied Cryptography, CRC Press, 1996 — the standard reference, all chapters free with the publisher's permission at cacr.uwaterloo.ca/hac.
  • Whitfield Diffie & Martin Hellman, "New Directions in Cryptography," IEEE Transactions on Information Theory IT-22, no. 6 (1976): 644–654 — PDF.
  • Jerome Saltzer & Michael Schroeder, "The Protection of Information in Computer Systems," Proceedings of the IEEE 63, no. 9 (1975): 1278–1308 — PDF.
  • Alfred Menezes, Paul van Oorschot & Scott Vanstone, Handbook of Applied Cryptography, CRC Press, 1996 — ​เอกสารอ้างอิง​มาตรฐาน ​ทุก​บท​เปิด​ให้​อ่าน​ฟรี​โดย​ได้รับอนุญาต​จาก​สำนักพิมพ์​ที่ cacr.uwaterloo.ca/hac
  • Whitfield Diffie & Martin Hellman, "New Directions in Cryptography," IEEE Transactions on Information Theory IT-22, no. 6 (1976): 644–654 — PDF
  • Jerome Saltzer & Michael Schroeder, "The Protection of Information in Computer Systems," Proceedings of the IEEE 63, no. 9 (1975): 1278–1308 — PDF
บทถัดไป · 13 / 1612 · AI & Machine Learning
Size
Page
Font

The Tower of Abstractions — An Encyclopedia of the Computing Disciplines

❦
100 · The Map00 · แผนที่201 · Theory of Computation01 · ทฤษฎีการคำนวณ302 · Algorithms & Data Structures02 · อัลกอริทึมและโครงสร้างข้อมูล403 · Information & Coding03 · สารสนเทศและการเข้ารหัส504 · Computer Architecture04 · สถาปัตยกรรมคอมพิวเตอร์605 · Operating Systems05 · ระบบปฏิบัติการ706 · Languages & Compilers06 · ภาษาและคอมไพเลอร์807 · Software Engineering07 · วิศวกรรมซอฟต์แวร์908 · Databases08 · ฐานข้อมูล1009 · Networks09 · เครือข่าย1110 · Distributed Systems10 · ระบบกระจาย1211 · Security & Cryptography11 · ความปลอดภัยและวิทยาการรหัสลับ1312 · AI & Machine Learning12 · ปัญญาประดิษฐ์และการเรียนรู้ของเครื่อง1413 · HCI & Graphics13 · ปฏิสัมพันธ์มนุษย์–คอมพิวเตอร์ และกราฟิกส์1514 · The Frontier14 · พรมแดน1699 · Closing — The Tower, Seen Whole99 · ปิดเล่ม — หอคอยเมื่อมองทั้งหลัง