Các dự án an toàn HĐH mạng trên thế giới

Một phần của tài liệu Nghiên cứu khả năng an toàn của hệ điều hành mạng (Trang 45 - 46)

Những dự án xây dựng các hệ điều hành an ninh như vậy tại Trung Quốc với chương trình Nền tảng Máy tính Tin cậy TCP, tại Liên minh châu Âu với hệ điều hành có khả năng tự sửa lỗi có tên là Minix, tại Úc với hệ điều hành có nhân seL4 và tại Mỹ không phải là SELinux mà là Ethos - được dựa trên siêu ảo của Xen và đang được tạo ra với an ninh như là mục tiêu hàng đầu của nó.

Để đáp trả cho những tổn thương liên tục của các mạng, nhiều quốc gia đã bắt đầu phát triển các nền tảng và các hệ điều hành an ninh. Các công ty máy tính, các nhà nghiên cứu ở các trường đại học, các nhà thầu và quân đội nghiên cứu phát triển quốc phòng trên thế giới nhận thức được tính sống còn của các mạng và các vi xử lý nhúng bên trong các thiết bị. Họ cũng nhận thức được họ sẽ bị tổn thương thế nào và điều đó giải thích vì sao nhiều sự chú ý đang được đưa ra cho việc xây dựng trong an ninh ở mọi mức độ của hệ thống, bao gồm cả hệ điều hành.

Liên minh châu Âu: Đầu năm 2009 một đại học của Hà Lan đã được trao một trợ cấp 3.3 triệu USD từ Hội đồng Nghiên cứu châu Âu để cấp vốn thêm 5 năm nữa công việc về một hệ điều hành phiên bản dẫn xuất Unix được gọi là Minix. Nỗ lực nghiên cứu này được thiết kế để có tính mềm dẻo và an ninh hơn cả Linux hoặc Windows. Tính năng ấn tượng nhất trong Minix được nói là tính năng tự sửa của

nó. Điều này được tin tưởng sẽ là hệ điều hành đầu tiên với khả năng tự sửa khi một lỗi được dò tìm ra.

Úc: Một trong những hệ điều hành an ninh hơn gần đây trên thế giới là Dự án vi nhân an ninh seL4 (Secure Microkernel Project). Cuối năm 2009 NICTA đã công bố rằng nó đã hoàn tất sự xác nhận chính thức của nhân seL4. Được tin tưởng rằng điều này làm cho seL4 trở thành nhân hệ điều hành có mục đích chung đầu tiên trên thế giới với một bằng chứng toán học chính thống rằng sự triển khai sẽ làm những gì mà đặc tả kỹ thuật nói. Bằng chứng này là một máy được kiểm tra và một máy lớn nhất được thực hiện từ trước tới nay.

Mỹ: Vào tháng 04, các nhà nghiên cứu tại Đại học Illinois tại Chicago đã nhận được 1.15 triệu USD tài trợ từ Quỹ Khoa học Quốc gia để xây dựng một hệ điều hành mới gọi là Ethos. Hệ điều hành an ninh này được nói sẽ dựa trên các máy ảo và khái niệm về sự cô lập. Ethos được dựa trên siêu ảo của Xen và đang được tạo ra với an ninh như là mục tiêu hàng đầu của nó.

Còn ở Việt Nam, với tham vọng trở thành nước mạnh về công nghệ thông tin, thì sẽ làm cái gì. Nhu cầu xây dựng an ninh ở mọi mức độ của một hệ thống là rõ ràng biết rằng nhiều mạng đã bị thâm nhập, cũng như tần suất gia tăng chưa từng thấy của các cuộc tấn công không gian mạng phức tạp và tinh vi.

Một phần của tài liệu Nghiên cứu khả năng an toàn của hệ điều hành mạng (Trang 45 - 46)

Tải bản đầy đủ (PDF)

(105 trang)