CheckMate: Automated Game-Theoretic Security Reasoning.
本文提出 CheckMate 框架，用于全自动化的博弈论安全分析，特别关注区块链技术。CheckMate 将协议建模为博弈，并分析其博弈论安全性，即激励兼容性和拜占庭容错性。该框架要么通过提供防御策略证明协议是安全的，要么给出所有可能的攻击
#game-theoretic-security
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题本文提出 CheckMate 框架，用于全自动化的博弈论安全分析，特别关注区块链技术。CheckMate 将协议建模为博弈，并分析其博弈论安全性，即激励兼容性和拜占庭容错性。该框架要么通过提供防御策略证明协议是安全的，要么给出所有可能的攻击