Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem
这篇论文研究的是无中心可信运营者的节点间“相互证明”（mutual attestation）问题。在远程证明（remote attestation）场景中，每个节点为了验证对端节点的可信性，需要持有对端代码的参考度量值（reference
#kleene-recursion
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题这篇论文研究的是无中心可信运营者的节点间“相互证明”（mutual attestation）问题。在远程证明（remote attestation）场景中，每个节点为了验证对端节点的可信性，需要持有对端代码的参考度量值（reference