摘要。我们根据类别理论形式化了密码学的仿真范式，并表明协议免受抽象攻击形成对称的单体类别，从而为密码学中的合并安全性定义提供了抽象的模型。我们的模型能够以模块化，灵活的方式结合计算安全性，设置假设和各种攻击模型，例如勾结或独立代表对手的子集。我们通过使用字符串图来重新启动一次性垫的安全性，Diffie-Hellman密钥交换的正确性以及有关双方和三方加密的限制的无效结果，排除了组合承诺和广播。在途中，我们展示了可能具有独立兴趣的资源理论的两个分类结构：一个捕获多个政党共享的资源，一个捕获渐近成功的资源转换。这是纸张的更正版本https://arxiv.org/abs/2208.13232最初于2023年12月18日发布。