机构名称：
¥ 1.0
正式验证具有30多年的历史，使软件更安全，更安全，更可靠。最近，正式验证已将其覆盖范围从航空和关键系统扩展到密码学，尤其是加密库。结合了促进安全语言和正式验证的最新行政命令，加密图书馆的时间已经成熟，可以提高游戏并开始接受最先进，经过验证，安全和安全的加密图。我们在本文中辩称，不幸的是，当前化身中的FIP标准阻碍了采用更现代的工具链和语言。我们的立场是，许多当前的要求，从自我限制和自我启用（邮政）到代码审查，几乎没有受益，同时对现代加密图书馆的FIPS认证征税。简而言之，FIP会阻止采用更好的加密软件而不是促进。幸运的是，我们相信有许多低悬挂的水果可以使FIPS标准现代化。具体来说，我们认为NIST有机会与学术界和行业合作，起草一套新的标准，这些标准将谈论现代加密图书馆的安全性和设计，并将在其最新执行命令中实施白宫提供的准则。
对安全语言和经过验证的图书馆进行现代化FIP
主要关键词
相关文件推荐
