Verified”的相关资讯
共1条
  • OK Labs推出新型移动安全内核OKL4 Verified

    领先的手机及宽带互联网设备嵌入式虚拟软件提供商OpenKernelLabs(OKLabs)日前推出了可供下载的OKL4Verified(项目名称为seL4),一款经过全面认证的无缺陷安全微核,专为移动/无线设备中的关键业务和任务应用而设计。现在

    分享到:
    2011-01-28 09:20

资讯排行榜

  • 每日排行
  • 每周排行
  • 每月排行

华强资讯微信号

关注方法:
· 使用微信扫一扫二维码
· 搜索微信号:华强微电子