OK Labs推出可供下载的移动安全内核OKL4 Verified，下载，推出，安全内核，项目，可供，领先的手机及宽带互联网设备嵌入式虚拟软件提供商Open Kernel Labs (OK Labs)日前推出了可供下载的OKL4 Verified（项目名称为seL4），一款经过全面认证的无缺陷安全微核，专为移动/无线设备中的关键业务和任务应用而设计。现在，无论是强调安全性的设备制造商（OEMs）、移动网络运营商(MNOs)、应用开发商、研究人员，还是其他感兴趣的人士，都可以下载、运行并在嵌入式ARM11平...
2011-01-28 00:00:00百科下载 推出 安全内核
