隐花植物

Cryptyc:密码协议类型检查器。CyrTyc系统是一种密码协议类型检查器。与大多数类型检查器不同的是,它不只是检查简单的数据错误,例如取消整数或将指针当作布尔来处理。它还可以静态检查安全性违规,如保密性或真实性错误。CypTyc系统是作为Java Applet和命令行应用程序实现的。可以使用Applet编辑示例协议,并对协议进行打字检查,以确保它们不违反安全策略。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。