密码算法语言Cryptol公开发布

密码算法语言Cryptol公开发布，并提供下载

原作者：solidot
window.google_render_ad();
Galois宣布密码术使用的语言Cryptol正式向公众开放。 Cryptol是一类领域特定语言（Domain-specific language），用于设计、实现和核查加密算法。Cryptol最初是Galois为美国国家安全局（NSA）开发的，它已经在许多项目中使用。Cryptol允许快速评估和持续修订，它现已提供了Linux、OS X、和Windows下载。

http://www.galois.com/technology/communications_security/cryptol