高安全性、低缺陷的软件开发将戏剧性的获得美国国家安全局（NSA）的帮助，NSA向开源社
区提供了Tokeneer研究项目。项目的主要意图是展示一款非常安全的软件如何能合理的开发。 Tokeneer使用SPARK
Ada语言编写，它是一种高级程序设计语言，设计用于编写高安全应用程序。SPARK
Ada最初是Ada语言的一个子集，设计是让所有的SPARK程序都能成为合法的Ada程序。Ada的适应性、可靠性和易用性，使其成为关键性任务，高度
完整性系统的自然选择，SPARK则进一步为其增加了一个静态测试开发工具箱。该项目针对是工业和学术社区。
TAG:
安全局
国家
开源
项目
Tokeneer
推荐给好友 上一篇 | 下一篇
美国国家安全局开源Tokeneer研究项目
字号: 小 中 大 | 打印 发布: 2008-10-08 13:02 作者: webmaster 来源: 网络转载 查看: 153次
