卡斯珀：用于安全协议分析的编译器

卡斯珀是一个对安全协议进行描述的程序用简单、抽象的语言，并生成CSP公司相同的描述协议，适合使用检查FDR3公司.可以使用要么发现对协议的攻击，要么表明不存在此类攻击，根据Dolev-Yao模型的假设（即入侵者可能窃听或截获消息，使用密钥对消息进行解密和加密知道和伪造消息，但不执行任何密码攻击）。

下面将让您了解如何卡斯珀作品：

• A类纸张，描述卡斯珀；
• 一个示例输入文件查找攻击，以及另一个用于表明不存在攻击；
• 这个手册；
• 示例文件库可用作gzipped、tarred目录.

这个卡斯珀可以获得分布在这里，作为一个gzipped的tarred目录。

还有一个编译器COSPJ公司可用，即从生成协议的Java实现卡斯珀-像描述。

如果你遇到任何困难，请联系.