机译:具有有效验证的普通公钥模型中的非交互式多重签名
Department of Computer Science and Technology. East China Normal University, Shanghai 200241,PR China;
Department of Computer Science, University of Texas at San Antonio, TX, USA;
cryptography; multisignature; computational diffie-hellman (cdh) with bilinear maps (co-cdh); discrete logarithm (dl); decisional diffie-hellman (ddh); plain public-key model; random oracle model;
机译:普通公钥模型中的紧密安全非交互多重签名
机译:普通公钥模型中的顺序聚合签名和多重签名
机译:普通公钥模型中的顺序聚合签名和多重签名
机译:具有更严格安全性的纯公开密钥模型中基于非交互式CDH的多重签名方案
机译:使用Trnsys的Aquaponic系统动态建模与验证节能温室
机译:自动选择验证工具以有效分析生化模型
机译:在普通公钥模型中紧密安全的非交互式多目标
机译:功能故障模型的验证和资源有效验证工具的使用。