dassarthak18/spore-protocols
收藏官方服务：
资源简介：
安全协议开放仓库（Security Protocols Open Repository，简称SPORE）数据集包含了用于训练大型语言模型以理解和推理加密协议的安全协议规范。该数据集是一个全面的经过形式化分析的安全协议集合，每个协议规范包括参与者声明（协议中的参与者）、密码学原语（密钥、随机数、时间戳等）、带有密码学操作的消息交换序列以及用于加密、签名和其他安全操作的清晰表示法。
The Security Protocols Open Repository (SPORE) dataset contains security protocol specifications formatted for training large language models to understand and reason about cryptographic protocols. The dataset is a comprehensive collection of security protocols that have been formally analyzed, including details such as principal declarations, cryptographic primitives, message exchange sequences, and clear notation for security operations.
提供机构：
dassarthak18
