UC, Categorically: Rigorous Diagrammatic Proofs
这篇论文将范畴论应用于密码学中的通用可组合性（UC）框架，以建立安全组合的严格数学理论。UC框架由Canetti提出，用于评估协议在并发环境中的安全性，但传统形式化依赖于交互式图灵机和复杂的概率论证明，难以扩展和验证。作者针对静态参与方和会
#math.CT
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题这篇论文将范畴论应用于密码学中的通用可组合性（UC）框架，以建立安全组合的严格数学理论。UC框架由Canetti提出，用于评估协议在并发环境中的安全性，但传统形式化依赖于交互式图灵机和复杂的概率论证明，难以扩展和验证。作者针对静态参与方和会