2017年10月31日，美国国家科学基金会（NSF）宣布通过“安全可靠的网络空间”（SaTC）计划拨款7450万美元以解决网络安全挑战^[1]，这对于实现安全、可靠、有弹性和值得信赖的网络空间至关重要。

SaTC计划旨在通过确保计算与通信系统的安全性和隐私，来最大限度地提高计算与通信系统的经济和社会效益。这些尖端研究不仅调查网络安全的技术解决方案，而且还调查人员及其行为的关键要素。

为了推动访问控制和身份管理、密码学、入侵检测、人机交互和可用性、网络拓扑等领域的广泛研究，NSF将向研究人员提供214项资助。其中获得5年期资助且额度在140万-300万美元之间的三大项目如下。

（1）“高架桥”：用于自动合成密码协议框架。康奈尔大学的Andrew Myers将探索如何缩小软件开发者的安全目标与硬件和密码协议所提供的底层功能之间的差距。

（2）负责任的信息利用：决策系统中的隐私和公平。卡内基梅隆大学的Anupam Datta将调研如何确保自动化系统中的数据隐私和公平。

（3）研究互联网拓扑结构对国家层连接中断和操纵的敏感性。加州大学圣地亚哥分校的Amogh Dhamdhere将确定互联网基础设施拓扑结构存在的潜在漏洞，并量化攻击者利用这些关键漏洞而造成的潜在影响。

获资助的其他项目还重点关注网络安全人才培养，包括新教学材料的试点项目以及教师的专业发展。此外，该项目还与半导体研究联盟（SRC）合作，重点关注硬件系统的安全性。             （田倩飞）