基于证人不可区分的通用可复合安全并行可否认认证

来源 :软件学报 | 被引量 : 0次 | 上传用户:yumiaochan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对并行可否认认证问题,在UC(universally composable)安全架中,基于WI(witness indistinguishable)提出了一种新的研究思路和解决方法.根据可否认认证的安全目标,形式化地建立了UC安全的并行可否认认证模型.利用可验证平滑投影哈希函数和非承诺加密体制,构造了一类新的并行可否认认证协议结构,基于确定性复合剩余假设和确定性Diffie-Hellman假设,实现了一个具体的协议方案在公共参考串模型中,利用UC框架解决并行协议仿真问题,与定时假设和公共目录方案相比,不
其他文献
目的:分析物种间miRNA序列的共同点和差异点,为后续miRNA研究奠定基础。方法:从miRBase数据库下载8种模式生物,即智人、小鼠、大鼠、果蝇、线虫、拟南芥、水稻、玉米的全部miRN
针对目前土石坝施工期性态分析时效性差,计算参数不准确等问题,将物联网技术引入到性态分析中,在实时获取土石坝安全监测数据的基础上实时更新土石坝填筑过程中坝料力学参数,
XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达
基于EPFTS(ethemet-like physical frame timeslot switching)交换技术,提出了一种新型调度算法TWFS(timeslot weighted fair scheduling),可实现于EPFTS(ethemet-like physical fla
德厚水库溢洪道设计的合理与否直接关系到水库的安全.通过水工模型试验优化溢洪道的设计方案,并根据试验发现的问题,优化溢洪道引渠段左侧导墙、陡坡泄槽段及消力池体型,优化
随着国家“一带一路”倡议构想的逐步落实,越来越多的中国企业特别是施工企业走出国门,参与到更加广阔的世界市场竞争中去,由于国内与国外大环境以及国人与其他民族思维方式
为了解决松散耦合跨组织工作流的仿真建模问题,以染色Petri网为理论基础,将颜色集、染色函数、资源库所、等待库所、忙库所、开始变迁、结束变迁、角色、组织、时间函数、资源
半脆弱水印因为在多媒体内容认证方面的重要作用而受到人们密切的关注.为了能够区分偶然攻击与恶意篡改.半脆弱水印需要对一般的内容保护图像操作有一定的鲁棒性.由于JPEG压缩应