สรุปสั้น

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

ล่าสุดบริษัท Atalanta ซึ่งเป็นบริษัทด้านความมั่นคงปลอดภัยไซเบอร์ ได้เปิดตัวผลิตภัณฑ์ชื่อ Argo ที่บรรจุเทคโนโลยีซึ่งกำลังถูกใช้พิสูจน์ความทนทานของเครือข่ายสื่อสารดาวเทียมของบริษัท Viasat ผู้ตกเป็นเป้าการโจมตีในปี 2565 ต่อภัยคุกคามรูปแบบใหม่ที่กำลังก่อตัวขึ้น แนวทางที่บริษัทเรียกว่า software understanding อาศัยการผสมคณิตศาสตร์ที่ซับซ้อนเข้ากับเทคโนโลยีปัญญาประดิษฐ์ เพื่อวิเคราะห์ซอฟต์แวร์และระบบที่เชื่อมต่ออินเทอร์เน็ตหาช่องโหว่ในลักษณะที่ครอบคลุมกว่าเครื่องมือเดิม โดยบริษัทอ้างว่าเป็นระบบเชิงพาณิชย์รายแรกที่ทำได้เช่นนี้

ประเด็นที่ทำให้ข่าวนี้มีน้ำหนักมากกว่าการเปิดตัวผลิตภัณฑ์ทั่วไปคือบริบทเบื้องหลัง ทั้งการที่หน่วยงานรัฐบาลสหรัฐฯ หลายแห่งออกคำเตือนในช่วงฤดูร้อนที่ผ่านมาว่าแฮ็กเกอร์อิหร่านกำลังเล็งระบบน้ำและระบบบำบัดน้ำเสียรวมถึงโครงสร้างพื้นฐานสำคัญอื่น ๆ และการที่หน่วยงานวิจัยกลาโหมสหรัฐฯ หรือ DARPA ทุ่มงบประมาณกับเทคโนโลยีกลุ่มนี้มาแล้วสองทศวรรษ ทำให้การที่เทคโนโลยีสาย formal methods เริ่มออกสู่ตลาดเชิงพาณิชย์ได้จริงถือเป็นจุดเปลี่ยนที่ผู้เชี่ยวชาญในวงการจับตา

รายละเอียดข่าว

เว็บไซต์ SecurityWeek รายงานเมื่อวันที่ 20 สิงหาคม 2569 อ้างอิงรายงานของสำนักข่าว Associated Press ว่า บริษัท Atalanta ได้ปล่อยผลิตภัณฑ์ชื่อ Argo ออกสู่ตลาด โดยเป็นผลิตภัณฑ์ที่บรรจุเทคโนโลยีซึ่งถูกนำไปใช้พิสูจน์ความทนทานของเครือข่ายสื่อสารดาวเทียมของ Viasat แล้วในปัจจุบัน ผู้เชี่ยวชาญในอุตสาหกรรมมองว่านี่เป็นขีดความสามารถใหม่สำหรับผู้ที่ต้องปกป้องระบบสำคัญในสมรภูมิสงครามไซเบอร์ที่กำลังก่อตัว

นาง Anjana Rajan ประธานเจ้าหน้าที่บริหารและผู้ร่วมก่อตั้ง Atalanta กล่าวกับ Associated Press ว่าเครื่องมือและเทคนิคของเมื่อวานไม่สามารถขยายขนาดให้รองรับโจทย์ของวันนี้ได้ และ software understanding จะเป็นเส้นทางข้างหน้าสำหรับทุกคนที่กำลังสร้างระบบซึ่งมีผลต่อความมั่นคงของสหรัฐฯ

ฝั่งผู้ใช้งาน นาย Nick Saunders หัวหน้าฝ่ายกลยุทธ์ไซเบอร์ของ Viasat ระบุว่าเทคโนโลยีนี้ไม่เพียงทำให้เครือข่ายของบริษัทแข็งแรงขึ้นต่อการโจมตีในอนาคต แต่ยังผลิตหลักฐานทางคณิตศาสตร์ที่รองรับคำกล่าวอ้างนั้นด้วย โดยเขาอธิบายว่าตลอดปีที่ผ่านมาบริษัททำงานร่วมกับ Atalanta เพื่อสร้างขีดความสามารถที่ทำให้เริ่มเข้าใจได้ว่าระบบของตัวเองทนทานต่อการโจมตีมากขึ้นอย่างไร

เทคโนโลยีของ Atalanta ยังถูกดึงไปใช้กับโครงการ Genesis Mission ซึ่งเป็นความพยายามของกระทรวงพลังงานสหรัฐฯ ในการสร้างเตาปฏิกรณ์นิวเคลียร์ที่ทำงานได้ด้วยตัวเอง

นาย Greg Shannon หัวหน้านักวิทยาศาสตร์ด้านความมั่นคงปลอดภัยไซเบอร์ของ Idaho National Laboratory ซึ่งเป็นห้องปฏิบัติการของรัฐบาลสหรัฐฯ กล่าวว่าเทคโนโลยีในกลุ่มที่ Atalanta กำลังนำออกสู่ตลาดน่าจะกลายเป็นมาตรฐานสำหรับการทดสอบขีดความสามารถใหม่ ๆ ในที่สุด โดยเขาคาดว่าในอีกหนึ่งถึงสองทศวรรษข้างหน้ามันจะกลายเป็นส่วนหนึ่งของชุดเครื่องมือพัฒนาซอฟต์แวร์มาตรฐาน

Shannon ยังตั้งข้อสังเกตว่า DARPA ซึ่งเป็นหน่วยงานวิจัยล้ำสมัยของกองทัพสหรัฐฯ และเป็นผู้บุกเบิกเทคโนโลยีอย่างอินเทอร์เน็ตและอากาศยานล่องหน ได้ลงทุนกับเทคโนโลยีกลุ่มนี้เป็นเงินหลายพันล้านดอลลาร์ต่อเนื่องมาหลายทศวรรษ ซึ่งการลงทุนดังกล่าวช่วยสร้างอุปสงค์สำหรับระบบอย่าง Argo โดยเขาประเมินว่า DARPA น่าจะลงทุนไปแล้วเกินกว่า 2 พันล้านดอลลาร์ในโครงการต่าง ๆ เพื่อผลักดันสาขา formal methods และตอนนี้ผลของการลงทุนเหล่านั้นเริ่มออกดอกออกผล

เมื่อปีที่ผ่านมา นาย Emil Michael ประธานเจ้าหน้าที่ฝ่ายเทคโนโลยีของกระทรวงกลาโหมสหรัฐฯ กล่าวผ่านคำปราศรัยที่บันทึกไว้ล่วงหน้าในงานประชุมด้านซอฟต์แวร์ของ DARPA ว่าเขามองว่าคณิตศาสตร์ที่รองรับเทคโนโลยีของ Atalanta คืออนาคตของกองทัพ และเขาต้องการให้มันกลายเป็นมาตรฐานทองคำด้านความมั่นคงปลอดภัยไซเบอร์ของกระทรวงกลาโหม

วิธีการโจมตี

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

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

ในเชิงเทคนิค สิ่งที่ Atalanta เสนอไม่ใช่การตรวจจับการโจมตีขณะเกิดเหตุ แต่คือการวิเคราะห์ตัวซอฟต์แวร์เพื่อหาช่องโหว่ให้ครอบคลุมกว่าการทดสอบแบบเดิม สาขา formal methods ที่ DARPA ลงทุนมานานอาศัยการพิสูจน์ทางคณิตศาสตร์ว่าโปรแกรมมีคุณสมบัติบางอย่างจริงหรือไม่ แทนที่จะอาศัยการทดลองยิงอินพุตจำนวนมากแล้วดูว่าโปรแกรมพังหรือเปล่าอย่างที่การทำ fuzzing ทำ ข้อได้เปรียบคือได้ข้อสรุปที่ครอบคลุมทุกกรณีที่เป็นไปได้ในขอบเขตที่พิสูจน์ ส่วนข้อจำกัดที่เป็นอุปสรรคมาตลอดคือต้นทุนของการนำไปใช้กับซอฟต์แวร์ขนาดใหญ่ในโลกจริง ซึ่งเป็นจุดที่บริษัทอ้างว่าปัญญาประดิษฐ์เข้ามาช่วยให้ขยายขนาดได้

ข้อจำกัดของข้อมูลที่ต้องระบุให้ชัดคือ ข่าวนี้มีสถานะเป็นการเปิดตัวผลิตภัณฑ์ที่มีลูกค้าอ้างอิงประกอบ ไม่ใช่รายงานการวิเคราะห์ทางเทคนิคที่ตรวจสอบได้ ทั้งคำว่า software understanding และคำกล่าวอ้างว่าเป็นระบบเชิงพาณิชย์รายแรกที่ทำได้ล้วนเป็นถ้อยคำของบริษัทเอง รายงานไม่ได้ระบุว่า Argo วิเคราะห์ซอฟต์แวร์ด้วยวิธีใดในทางเทคนิค ไม่ได้บอกว่าตรวจพบช่องโหว่อะไรในเครือข่ายของ Viasat บ้าง ไม่มีการประเมินจากบุคคลที่สามที่เป็นอิสระ และไม่ได้อธิบายว่าหลักฐานทางคณิตศาสตร์ที่ Viasat กล่าวถึงครอบคลุมขอบเขตแค่ไหนของระบบทั้งหมด

ผลกระทบ

สำหรับผู้ดูแลโครงสร้างพื้นฐานสำคัญ ประเด็นที่นำไปใช้ได้จริงจากข่าวนี้ไม่ใช่ตัวผลิตภัณฑ์ แต่คือคำถามที่ Viasat ตั้งกับตัวเองแล้วหาคำตอบไม่ได้ด้วยเครื่องมือเดิม นั่นคือคำถามว่าจะพิสูจน์ได้อย่างไรว่าระบบทนทานต่อการโจมตีจริง ไม่ใช่แค่ผ่านการทดสอบชุดที่เตรียมไว้ องค์กรส่วนใหญ่ตอบคำถามนี้ด้วยผลการทดสอบเจาะระบบและรายงานการสแกนช่องโหว่ ซึ่งบอกได้เพียงว่าสิ่งที่ทดสอบแล้วไม่พบปัญหา ไม่ได้บอกว่าสิ่งที่ไม่ได้ทดสอบปลอดภัย ความต่างระหว่างสองข้อความนี้คือช่องว่างที่ formal methods พยายามปิด

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

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

คำแนะนำ

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

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

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

แหล่งอ้างอิง