Forking引理与一类基于身份签名体制的安全性证明(英文)

来源 :软件学报 | 被引量 : 0次 | 上传用户:yangjie871202
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern提出的Forking引理在基于身份签名体制研究领域的扩展,有助于理解和简化一些现有的基于身份签名体制的安全性证明,如Cha-Cheon的体制、Hess的体制1及Cheon-Kim-Yoon的体制等. Under the random oracle model, we study the security of a type of identity-based signature system (called the identity-based general signature scheme) .The resulting theoretical results can be viewed as Forking Lemmas by Pointcheval and Stern in the Identity-Based Signature System The expansion of the domain helps to understand and simplify some of the existing evidence of identity-based security systems such as Cha-Cheon’s system, Hess’s system1 and Cheon-Kim-Yoon’s system.
其他文献
针对工作流系统中存在的异常问题,本文提出了一个基于WF-net和ECA规则的工作流恢复网模型。主要对可预测和不可预测异常处理进行分析。模型设计时采用了WF-net结构,运行时可动
会议
携带证明的代码(Proof-Carrying Code,PCC)最早由Necula提出,其定义是可执行代码携带上关于自身安全性的形式证明。代码消费方不需要信任PCC代码的生产方,即可执行代码与安全性
会议
随着GIS的发展,地理空间数据的异构性和分布性的问题也日益突出,给地理空间数据的共享造成了很大的困难。本文针对地理空间数据共享存在的问题提出一种分布式异构空间数据共享
会议
统一建模语言UML为开发人员的软件设计提供了丰富的建模元素,但是模型元素之间缺乏准确的语义约束,无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描
会议
快速原型法是软件工程中需求分析中常用的一种方法,但在具体的应用中也发现一些问题,比如模型建立时的预见性差,对衍生需求的工作量难以界定等。针对上述问题,本文将软件工程中快
会议
在生产实践中,Web开发人员常常遇到应用服务器性能不能满足客户需求的情况,从事Web服务器性能调整的优化人员不断地从事着最大限度提升系统性能的研究和探索,以寻求一条最佳途径
会议