Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
该论文提出了一种从协议规范文档（RFC）中自动提取有限状态机（FSM）的数据驱动方法，并将其应用于自动化攻击发现。网络协议的安全验证通常依赖攻击者合成或基于模型的模糊测试，但这些技术需要协议的正式表示，通常为FSM。然而，许多协议仅以英文散
#protocol
共收录 8 条相关情报。
← 返回所有主题Lacan: Making Accountability in Anonymous Networks Real
互联网日常活动中，匿名性和问责制都是基本需求，但二者看似矛盾，难以同时实现。现有方案要么依赖路径上的受托服务器，要么需要逐包授权或逐包公钥运算，要么需要中央权威进行每会话干预，在可部署性、开销或信任模型上存在不足。本文提出 Lacan 协议
Skill-as-API: Confidential Multi-Agent Coordination for Agentic Software Engineering
本文提出了一种名为 Skill-as-API 的保密多智能体协调协议，用于解决 AI 编码智能体在协作过程中泄露专业技能知识产权的问题。当前 AI 编码助手正从独立工具演变为协作队友，它们可以发现并调用彼此的专业技能。然而，现有的协调通道本
Stateful Greybox Fuzzing.
本论文针对协议实现这类反应式系统中的状态相关（stateful）缺陷的模糊测试难题，提出了一种无需协议形式化规范即可自动识别状态变量并引导状态空间覆盖的灰盒模糊测试方法。作者观察到，在Top-50最广泛使用的开源协议实现中，所有实现都使用枚
How Does Blockchain Security Dictate Blockchain Implementation?
该论文以形式化框架分析区块链安全保证与协议实现之间的内在关系。作者首先指出，不同区块链协议提供类型不同的安全保证：BFT 类协议（如 Algorand）通常在部分同步环境中安全，而最长链协议（如 Bitcoin）则需要更强的同步性才能确保安
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
该论文提出了一种名为Owl的新框架，用于安全协议的组合验证。现有的计算安全协议验证工具要么缺乏模块化，要么缺乏自动化。Owl通过新颖地使用信息流类型和细化类型来实现加密安全的证明。该框架允许对安全协议进行基于类型的模块化描述，其中不相交的子
OptRand: Optimistically Responsive Reconfigurable Distributed Randomness.
本文提出 OptRand，一种高效、不可预测的同步随机信标协议。现有同步随机信标协议在通信开销、延迟、容错性及可重配置性方面难以兼得。OptRand 的核心创新在于：1) 结合双线性对公开可验证秘密共享与非交互式零知识证明，构建线性大小（节
TIP: A Decentralized Intent-Based Protocol for Declarative IoT Interoperability and Sandboxed Schema Adaptation
该论文提出了一种名为 TIP (The Intent Protocol) 的去中心化声明式网络协议，旨在解决异构物联网系统因硬件架构、网络协议栈和数据序列化格式不同而导致的碎片化问题。现有标准如 MQTT、CoAP、DDS 依赖于地址绑定和