46、基于CSP验证点对点系统的安全属性

基于CSP验证点对点系统的安全属性

1. 点对点系统的安全问题

在点对点（P2P）系统中，攻击者可以在多个层面发起攻击。为了实现某一层的安全，必须先解决其下层的安全问题。以下是各层存在的固有安全隐患：
- 路由层 ：攻击者可能破坏路由协议，具体表现如下：
- 无路由 ：查询请求被丢弃，导致网络被分割成无法相互通信的部分。
- 重定向 ：查询请求被转发到恶意节点，也可能转发到无辜节点以发起DDoS攻击。
- 伪装 ：伪装成路由路径中的最终节点。
- 应用接口层 ：攻击者可以通过以下方式破坏 store(k, data) 协议：
- 丢弃元组 ：丢弃本应存储在其节点上的元组 (k, data) 。
- 篡改数据 ：对数据进行篡改。
- 应用层 ：攻击者可能破坏特定于应用的属性，例如：
- 破坏数据 ：植入恶意软件等。
- 攻击其他机制 ：如复制、访问控制等机制。

2. 点对点系统的根真实性属性

2.1 虚假目的地攻击

攻击者可能会尝试伪装成搜索键的目的地，即虚假目的地攻击。例如，攻击者控制对等节点498和775，可能会使对等节