杨春霞
- 作品数：6 被引量：8H指数：2
- 供职机构：西安理工大学计算机科学与工程学院更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一个新的强指定验证者签名方案与证明方法被引量：3
- 2007年
- 指出了Willy Susilo等提出的基于身份的强指定验证者签名方案的安全性证明存在缺陷,对该方案的安全性给出了新的证明。在此基础上提出了一个新的可消息恢复的基于身份的强指定验证者签名方案,证明了在随机预言机下,攻击者要伪造签名相当于求解BDH问题。该文将指定验证者签名与消息恢复结合,适用于在对隐私性和认证性要求良好协调并且带宽受限的环境下对短消息进行签名。
- 赵男王尚平王晓峰杨春霞王波
- 关键词：不可否认签名指定验证者基于身份
- 构件组合的一致性验证和冗余行为去除被引量：1
- 2010年
- 构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。
- 杨春霞王映辉王宏涛
- 关键词：接口自动机
- 基于SCS方案的透明恢复的优化不可否认协议
- 2006年
- 在基于证书的不可否认协议中,验证方在验证不可否认证据(签名)时,还要搜集存储检验签名者公钥证书的有效性,这对验证方来说是一个负担。论文首先提出了基于GSP(Girault-Poupard-Stern)签名方案的SCS(self-certifiedsignature)方案,它能在一个签名验证的过程中同时检查签名和证书的有效性,具有较高的效率。然后,根据该方案对O.Markowitch和S.Kremer在文献[6]中提出的不可否认协议进行了改进。改进后的协议除了满足一般的透明恢复的不可否认协议的要求外,还具有高效性、机密性,而且对签名者的声誉进行了有效的保护。
- 杨春霞王尚平王晓峰林婷婷赵男
- 关键词：SCS签名不可否认
- 基于双线性对的隐藏签名认证方案被引量：4
- 2008年
- 隐藏签名认证方案是指,当用户从CA得到签名(证书)后,在向服务提供商申请服务时,为防止攻击者截获签名或串通服务提供商来陷害自己,用户向服务提供商证明他(或她)有签名而不把该签名给服务提供商。现有的隐藏签名认证方案都不能阻止CA冒充用户身份。该文引入两个证书权威机构CA,假设两个CA不勾结,提出了3个隐藏签名认证方案。这3个方案都能保护用户身份不被任何人(包括CA)冒充;在用户端具备较强计算能力时,后两个方案实现了用户和服务提供商的双向认证;并且在CA具有一定可信度时,第3个方案还能部分抵抗拒绝服务攻击(DoS)。
- 王尚平杨春霞王晓峰张亚玲
- 关键词：数字签名CADOS
- 一种基于软件生成过程的软件静态演化框架
- 演化性是软件两大特性(构造性和演化性)之一,软件演化分为静态演化和动态演化,静态演化是动态演化的基础。本文以变化为出发点,基于软件生命周期,给出了软件变化实施的跟踪模型,阐明了需求变化信息的传播和实施过程。进而,依据该过...
- 杨春霞王映辉
- 关键词：软件生命周期
- 隐藏证书认证协议的研究
- 身份认证研究用户的物理身份和数字身份相对应的问题,给权限管理提供依据.身份认证是整个信息安全体系的基础,密码学中的身份认证主要通过公钥证书(数字签名)实现.目前人们所关注的是身份识别方案与具体应用环境的有机结合.一个合法...
- 杨春霞
- 关键词：数字签名身份认证权限管理
- 文献传递
