- 年份
- 2016（1）
- 2015（1）
- 2013（1）
- 2010（1）
- 2009（2）
- 2008（3）
- 2007（6）
- 2006（4）
- 2005（1）
- 2003（1）
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)（21）
- 中国科学引文数据库(CSCD)（20）
- 北京大学中文核心期刊目录(北大核心)（18）
- 刊名
- 计算机工程（5）
- 电子学报（4）
- 计算机工程与应用（4）
- 西安电子科技大学学报（自然科学版）（2）
- 中国科学院研究生院学报（1）
- 电子科技大学学报（1）
- 福建电脑（1）
- 计算机工程与科学（1）
- 计算机应用研究（1）
- 计算机技术与发展（1）
- 更多...
- 作者单位
- 西安电子科技大学（8）
- 西北师范大学（4）
- 郑州轻工业学院（3）
- 北京邮电大学（2）
- 上海交通大学（1）
- 中国科学院软件研究所（1）
- 兰州城市学院（1）
- 北京信息科技大学（1）
- 华南师范大学（1）
- 华南理工大学（1）
- 更多...
- 语种
- 汉语（23）
- 关键词
- 公平交换协议（23）
- 电子商务（7）
- 公平性（4）
- 数字签名（3）
- 认证邮件协议（3）
- 形式化分析（2）
- 电子合同签署协议（2）
- 短签名（2）
- 离散对数（2）
- BLS短签名（1）
- 更多...
- 作者
- 王彩芬（4）
- 张玉清（3）
- 杨波（3）
- 王芷玲（3）
- 肖国镇（3）
- 辛向军（3）
- 张青（2）
- 张龙（2）
- 李发根（2）
- 温巧燕（2）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 23 条结果
- 基于ATL的公平交换协议的形式化验证北大核心CSCDCSTPCD摘要：如何对电子商务协议进行分析与验证一直是研究的热点，基于ATL（交替时态逻辑）对电子商务协议中的公平交换协议（Fair Exchange Protocols）进行形式化分析与验证，并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描述公平交换协议，并使用ATS（Alternating Transition Systems，交替转移系统）来为公平交换协议进行形式化建模，再用形式化验证工具MOCHA对公平交换协议的公平性…查看全部>>
- Micali类公平交换协议的分析北大核心CSCDCSTPCD
- 简单快速的优化公平交换协议北大核心CSCDCSTPCD
- 基于Schnorr数字签名和秘密分享的交换协议北大核心CSCDCSTPCD
- 基于签密的多方认证邮件协议北大核心CSCD摘要：签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性.文中还通过与已有协议进行比较,阐述了新协议的优点.
- RSA-CEMD协议的分析及基于串空间模型的形式化证明CSCDCSTPCD
- 一种新的认证邮件协议北大核心CSCDCSTPCD摘要：认证邮件协议是指邮件发送方将邮件m与接收方收到该邮件的证据进行交换的协议.认证邮件协议要满足的最重要的性质就是公平性.对原有的一种可转换的认证加密方案进行了改进并且在改进方案的基础上设计了新的认证邮件协议,新的协议执行效率高且弥补了其他认证邮件协议中无法保证邮件机密性的缺陷.
- 一种基于短签名和离线半可信第三方的公平交换协议北大核心CSCDCSTPCD
- 一种基于适应度函数遗传算法的公平交换协议自动生成方法北大核心CSCDCSTPCD
- 具有隐私性的公平文档交换协议北大核心CSCDCSTPCD