Secure operating systems[edit]Main

Secure operating systems[edit]
Main article: Security-evaluated operating system
One use of the term "computer security" refers to technology that is used to implement secure operating systems. In the 1980s the United States Department of Defense (DoD) used the "Orange Book"[56] standards, but the current international standard ISO/IEC 15408, "Common Criteria" defines a number of progressively more stringent Evaluation Assurance Levels. Many common operating systems meet the EAL4 standard of being "Methodically Designed, Tested and Reviewed", but the formal verification required for the highest levels means that they are uncommon. An example of an EAL6 ("Semiformally Verified Design and Tested") system is Integrity-178B, which is used in the Airbus A380[57] and several military jets.[58]

ผลลัพธ์ (ไทย) 1:

ระบบปฏิบัติการ [แก้ไข]บทความหลัก: ระบบปฏิบัติประเมินความปลอดภัยใช้คำว่า "คอมพิวเตอร์ความปลอดภัย" หมายถึงเทคโนโลยีที่ใช้จะใช้ระบบปฏิบัติการทาง ในทศวรรษ 1980 ในสหรัฐอเมริกากรมกลาโหม (DoD) ใช้มาตรฐาน "ส้มจอง" [56] แต่ในปัจจุบันนานาชาติมาตรฐาน ISO/IEC 15408 "เงื่อนไขทั่วไป" กำหนดจำนวนของระดับประกันประเมินความก้าวหน้าเข้มงวดมากขึ้น หลายระบบปฏิบัติการทั่วไปตามมาตรฐาน EAL4 ของ "Methodically ออกแบบ ทดสอบ และตรวจสอบ" แต่การตรวจสอบอย่างเป็นทางการที่จำเป็นสำหรับระดับสูงสุดหมายความ ว่า เป็นเรื่องแปลก ตัวอย่างของการ EAL6 ("Semiformally ออกตรวจและทดสอบ") ระบบมีความสมบูรณ์-178B ซึ่งใช้ในการแอร์บัส A380 [57] และ jets ทหารต่าง ๆ [58]

ผลลัพธ์ (ไทย) 2:

ระบบปฏิบัติการที่มีความปลอดภัย [แก้ไข]
บทความหลัก:
ระบบปฏิบัติการรักษาความปลอดภัยประเมินหนึ่งใช้คำว่า"การรักษาความปลอดภัยคอมพิวเตอร์" หมายถึงเทคโนโลยีที่ใช้ในการใช้ระบบปฏิบัติการที่มีความปลอดภัย ในปี 1980 กระทรวงกลาโหมสหรัฐอเมริกา (dod) ใช้ "จองส้ม" [56] มาตรฐาน แต่ในปัจจุบันมาตรฐานสากล ISO / IEC 15408 "ของ Common Criteria" กำหนดจำนวนของความก้าวหน้าที่เข้มงวดมากขึ้นระดับการประเมินผลการประกัน หลายระบบปฏิบัติการร่วมกันตามมาตรฐาน EAL4 ของการเป็น "การออกแบบระบบ, การทดสอบและการสอบทานแล้ว" แต่การตรวจสอบอย่างเป็นทางการที่จำเป็นสำหรับผู้บริหารระดับสูงหมายความว่าพวกเขามีความผิดปกติ ตัวอย่างของ EAL6 ("การออกแบบ Semiformally ที่ตรวจสอบและทดสอบ") ระบบ Integrity-178B ซึ่งจะใช้ในแอร์บัส A380 [57] และเครื่องบินทหารหลาย. [58]

ผลลัพธ์ (ไทย) 3:

ความปลอดภัยระบบปฏิบัติการ [ แก้ไข ]
บทความหลัก : การรักษาความปลอดภัยการประเมินระบบปฏิบัติการ
ใช้คำว่า " ความมั่นคง " คอมพิวเตอร์ ) หมายถึง เทคโนโลยีที่ใช้ ใช้ การรักษาความปลอดภัยระบบปฏิบัติการ ในช่วงปี 1980 สหรัฐอเมริกากรมกลาโหม ( DoD ) ใช้สีส้ม " หนังสือ " [ 56 ] มาตรฐาน แต่ปัจจุบัน 15408 มาตรฐานสากล ISO / IEC ," เกณฑ์ " ร่วมกำหนดหมายเลขของผู้ที่เข้มงวดมากขึ้นการประเมินระดับ ระบบปฏิบัติการทั่วไปหลายมาตรฐาน eal4 ถูกออกแบบมาเป็นขั้นเป็นตอน ทดสอบและตรวจสอบ " แต่อย่างเป็นทางการการตรวจสอบที่จำเป็นสำหรับระดับที่สูงที่สุด หมายความ ว่า พวกเขาจะผิดปกติ ตัวอย่างของ eal6 ( " semiformally ตรวจสอบการออกแบบและทดสอบระบบ integrity-178b " ) ,ซึ่งใช้ใน Airbus A380 [ 57 ] และเครื่องบินหลายทหาร [ 58 ]