我们根据类别形式化了密码学的模拟范式理论并表明，针对抽象攻击的安全协议形成对称单体范畴，从而给出了可组合安全性的抽象模型密码学中的定义。我们的模型能够结合计算安全性、设置假设和各种攻击模型，如串通或以模块化、灵活的方式独立行动的对手子集。我们最后，使用字符串图重新恢复一次性pad的安全性，Diffie-Hellman密钥交换的正确性和与二部分和三部分加密的限制，排除例如可组合承诺和广播。在路上，我们展示了两个分类构建可能具有独立利益的资源理论：一捕获多方共享的资源和一个捕获资源渐进成功的转换。