互联网日常活动中，匿名性和问责制都是基本需求，但二者看似矛盾，难以同时实现。现有方案要么依赖路径上的受托服务器，要么需要逐包授权或逐包公钥运算，要么需要中央权威进行每会话干预，在可部署性、开销或信任模型上存在不足。本文提出 Lacan 协议，在现实可部署的设计中同时实现匿名性与可问责性。Lacan 中，发送方只要遵守与接收方事先建立的契约，即可通过路径上的中继获得匿名保护；一旦发生违约，代表接收方的离路径验证者能够通过数据包、路径和会话三个层面，将恶意消息间接关联回发送者身份，从而把公钥操作从逐包降低到逐会话，显著减少计算开销。该关联机制在恶意中继或恶意接收方存在时依然稳健，其安全性依赖作者提出的“后继证明链”，用于可问责的路径重建，并组合了可追踪签名、路径验证和密钥提交加密等部件。作者对 Lacan 的匿名性和可问责性进行了形式化分析，完成了原型实现并评估了性能。实验结果表明，Lacan 在不引入中央权威和逐包公钥运算的前提下，能够以可接受的性能开销实现匿名通道下的责任追踪，是通往现实匿名与问责共存的可行一步。

本文针对隐形互联网项目（I2P）的拓扑结构进行了深入研究。I2P是一个去中心化的点对点网络，旨在支持安全且对抗性的通信，对网络安全和国家安全具有重要影响。其全局拓扑结构由数千个独立的节点选择决策涌现而成，形成了以枢纽节点为中心的复杂结构，难以从外部观测。先前基于协议文档的模型未能捕捉到真实行为。为弥补这一认知差距，作者基于生产代码推导出扩展数学模型（EMM），并在一个由六个路由器组成、地理分布式的测试床上进行了为期三十天的实证验证。实验结果显示：节点可见性有限（约25%的节点）、相对层级分配、强烈的快速层隧道偏好，以及高容量层探索性隧道的过度表现。该模型准确预测了涌现的拓扑不对称性，并定义了破坏隐私所需的对抗性资源，为网络威慑和安全去中心化网络设计提供了原则性基础。本文的核心贡献在于提出了一个经过实证校验的I2P拓扑模型，揭示了实际部署中的关键拓扑特征和漏洞，对于理解匿名网络的隐私风险具有重要意义。