51、CRVad：机密推理与验证技术解析

CRVad：机密推理与验证技术解析

1. CRVad安全机制要求

在推理和验证阶段，CRVad能够检测部分节点的故障，其安全机制需满足以下要求：
- 可验证性 ：若节点存在恶意行为或表现异常，该方法能及时发现并向其他节点报告。
- 准确性 ：当节点行为正常时，不会误判其为恶意节点。
- 自检测性 ：推理和验证过程由自组织节点自行完成，禁止第三方参与。
- 隐私性 ：在验证阶段，相邻节点获取的被验证节点信息不得超过消息传递过程中已了解的内容。

2. 机密推理与验证方法

采用NDlog语言进行推理，Merkle Hash Tree进行验证。以自组织网络中消息收发场景为例，路由路径建立后，发送者在发送消息前会进行一轮握手。

3. NDlog及其语法

NDlog基于Datalog，Datalog程序包含一组声明性规则，规则形式为 p :- q1, q2, q3, ..., qn ，表示 “q1且q2且q3且qn蕴含p”。 :- 左侧为规则头部，对应查询结果；右侧为规则主体，由文字列表组成。NDlog支持在规则中使用位置说明符，用 @ 符号加属性表示。示例如下：

ancestor(@S,X,Y) :- parent(@S,X,Y).
ancestor(@S,X,Y) :- par