領先的手機及寬帶互聯網設備嵌入式虛擬軟件提供商Open Kernel Labs (OK Labs)日前推出了可供下載的OKL4 Verified(項目名稱為seL4),一款經過全面認證的無缺陷安全微核,專為移動/無線設備中的關鍵業務和任務應用而設計。現在,無論是強調安全性的設備制造商(OEMs)、移動網絡運營商(MNOs)、應用開發... (來源:新品頻道)
OK LabsOKL4 Verified 2011-1-27 17:32