美国国家安全局安全科学实验室成立于北卡罗来纳州

北卡罗来纳州立大学、伊利诺伊大学香槟分校和卡耐基梅隆大学分别从美国国家安全局(NSA)获得250万美元的初始拨款，以促进为可信系统的设计和分析建立更科学的基础。

北卡罗来纳州安全科学实验室的联合首席研究员是Laurie Williams博士，计算机科学教授，和Michael Rappa博士，高级分析研究所主任和计算机科学教授。

众所周知，关键的网络系统必须激发信任和信心，保护数据资源的隐私和完整性，并可靠地执行。为了解决确保明天的系统的持续挑战，NSA得出结论，政府，工业和学术界的研究人员的协作群落是必不可少的。

为了达到这个目的，美国国家安全局的拨款已经为致力于发展安全科学(SoS)的学术“标签”和一个广泛的、自我维持的社区努力来推进它。一个主要的目标是创建一个统一的知识和分析方法和工具的主体，可以作为信任工程学科、课程和严格的设计方法的基础。SoS标签研究的结果将通过使用一个新的、基于网络的协作环境进行广泛的记录和广泛的分发。其目的是让该环境成为了解安全科学中正在进行的工作的主要资源，并成为一个与他人一起参与推进最新技术的场所。

该lablet将位于下一代IT系统研究所(ITng)，在充分利用NC State在分析方面的专业知识和经验的同时，将对安全科学的发展做出广泛的贡献，包括在NC State Institute of Advanced analytics中可用的广泛专业知识。

“数据加密的安全设防技术具有声音数学基础，基于加密算法的强度提供可预测和可量化的安全性，”威廉姆斯说。“相反，其他安全技术背后的科学，提供漏洞预防，检测和强化的是基本的或不存在。结果，设计值得信赖的系统的原则通常不会植根于科学。NSA建立的三个SOS Lablets将研究提供这种科学基础的技术。“

lablet的工作将利用计算研究的几个基本领域和相关的分析。容错计算中的一些思想可以适用于安全环境。控制理论中的策略将被扩展，以解释系统在受到攻击时可能存在的高变异和不确定性。本课程将运用博弈论和决策理论原理来探讨进攻和防守之间的相互作用。将使用正式的方法来开发安全弹性的正式概念。端到端系统分析将被用于调查大型系统对网络攻击的弹性。标签的工作将借鉴数学、统计和工程等其他领域的思想。

公司成立于2007年高级分析研究所提供研究生教育，促进新兴分析领域的研究。它是应用数学、统计学和计算机科学以及其他领域的教员之间合作的焦点。它的核心使命是让学生为从大量结构化和半结构化数据中获得见解的挑战性任务做好准备。该研究所的旗舰教育项目是国家第一个和卓越的分析学硕士(MSA)学位。MSA是一个密集的，全日制，10个月的学习经验，创新的课程和5年的记录，优秀的学生成果。

的ITng是一项位于NC州工程学院内的研究组织。其使命是为政府，工业和大学合作伙伴，教师和学生之间的合作提供论坛，用于研究和实施解决当前IT挑战的解决方案。在研究，实践和政策的交汇处工作，ITNG侧重于健康和福祉领域，教育创新，能源和环境和安全领域的下一代信息技术挑战。其他大型政府赞助的项目，由ITNG提供安全的开放系统倡议（SOSI），由军队研究办公室和国家常规保障（NCB制定）的国家合作，由国土安全部主办。

数控状态-