美国国家安全局开源Tokeneer研究项目

来源: LUPA开源社区

关键词: 开源 项目 安全局 TOKENEER 国家
　　高安全性、低缺陷的软件开发将戏剧性的获得美国国家安全局（NSA）的帮助，NSA向开源社区提供了Tokeneer研究项目。

　　项目的主要意图是展示一款非常安全的软件如何能合理的开发。 Tokeneer使用SPARK Ada语言编写，它是一种高级程序设计语言，设计用于编写高安全应用程序。

　　SPARK Ada最初是Ada语言的一个子集，设计是让所有的SPARK程序都能成为合法的Ada程序。Ada的适应性、可靠性和易用性，使其成为关键性任务，高度完整性系统的自然选择，SPARK则进一步为其增加了一个静态测试开发工具箱。该项目针对是工业和学术社区。
声明：LUPA开源社区刊登此文只为传递信息，并不表示赞同或者反对。