protocol-analysis

一篇 FAST 2018 的研究论文，提出了面向共识型存储系统的协议感知恢复技术，能够在故障后高效地恢复状态，同时不违反正确性约束。

本文介绍了Verifpal的修订版分析引擎，Verifpal是一个符号协议验证器，详细阐述了其形式化规范、证明以及与其他工具如ProVerif和Tamarin的对比评估。

本文分析了AI Agent从MCP转向CLI的趋势，讨论了CLI在本地执行、节省上下文和调试等方面的优势，并指出MCP和CLI未来可能的分工。

本文介绍了一项针对AI代理的冻结协议下零字节执行的31,430次试验跨供应商研究，质疑代理运行时是否应保留已验证的零字节终端状态。

这项研究系统地分析了五种智能体互操作协议（MCP、A2A、ACP、ANP、ERC-8004）与一个六维治理分类法的对比，发现投票、异议保留和人工升级普遍缺失，表明受治理的智能体社区缺少一个架构层。

本文介绍了PROBE，一种用于诊断802.11数据包捕获的多阶段流水线，它结合了确定性归一化、多轮集成和判据感知证据框架，以产生可靠且校准的诊断结果，优于单次LLM分析和朴素集成投票。