UC框架相关论文
安全协议的分析和验证是保证所设计的协议满足其安全性质的重要技术手段,而借助形式化的方法或工具分析安全协议是非常有效和有必......
鉴于现有移动自组网匿名路由协议不能为组播提供匿名通信支持，而只能提供特定非形式化的匿名性分析，提出了一种UC（universally compos......
协议的UC安全性可以确保它在并发环境下运行的安全性。在UC框架下提出了一个群盲签名的理想函数,并在离散对数假设下构造了一个具......
群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍......
在通用可组合框架下研究安全多方计算的公平性问题。在UC框架下,提出公平安全多方计算的安全模型。在模型中形式化定义了公平安全......
门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关......
鉴于现有MANET匿名路由协议中不明确的敌手模型、未知安全性的密码学原语以及非严格的分析方法不能提供协议匿名性的信任,因此,对......
