Evaluating the Effectiveness of LLMs in Aiding Compliance Testing of PKCS#1-v1.5
该论文研究了如何利用大语言模型(LLM)辅助二进制协议实现的一致性测试,以PKCS#1 v1.5签名验证标准为例。PKCS#1 v1.5是一种广泛部署的TLV编码标准,其实现需要同时满足结构和语义约束。传统随机测试和简单变异难以探索协议的有
共收录 1 条相关情报。
← 返回所有主题该论文研究了如何利用大语言模型(LLM)辅助二进制协议实现的一致性测试,以PKCS#1 v1.5签名验证标准为例。PKCS#1 v1.5是一种广泛部署的TLV编码标准,其实现需要同时满足结构和语义约束。传统随机测试和简单变异难以探索协议的有