蔡永泉
- 作品数：63 被引量：158H指数：8
- 供职机构：北京工业大学更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程轻工技术与工程更多>>
- 一种基于身份信息无可信中心无随机预言的群签名被引量：2
- 2009年
- 本文提出了一种标准模型下基于身份的无可信中心的群签名方案,解决了群签名的前向安全性,并分析了新方案的正确性和安全性.分析结果表明,合法的群成员可以代表群得到有效群签名,仲裁者可以打开签名,且可以判断群管理者是否伪装成合法的群成员.本文还利用对时间段信息的管理实现了该签名的前向安全性,以抵抗密钥泄漏等情况.
- 蔡永泉刘岩
- 关键词：双线性映射
- DMSS-动态Merkle可信树签名方案被引量：5
- 2009年
- 本文通过构造子树及密钥的动态循环更新实现了二叉树的动态更新,改进了Merkle可信树签名方案中,签名数量的增加使得二叉树庞大导致签名效率低下的缺陷,使签名的数量不在受到二叉树大小的影响.此外,本文对改进后的方案进行了安全分析,分析结果表明,该签名方案具有原始Merkle可信树签名方案的安全性,并且,由于采用了分时间段的密钥管理方式,该方案还具有前向安全性.
- 蔡永泉刘芳
- 关键词：数字签名
- 一种新的基于身份的门限签名方案被引量：13
- 2009年
- 门限签名能够分散签名权力,比普通单人签名具有更高的安全性.目前大多数门限签名都是随机预言模型下可证明安全的.本文利用椭圆曲线上的双线性对,以Paterson签名方案为基础,提出了一种无随机预言的基于身份的门限签名方案.该方案需要一个可信任的私钥生成中心来生成和管理私钥.在标准模型下对该方案进行了安全性证明,表明该方案是健壮的,并且能够抵抗适应性选择消息攻击.
- 蔡永泉张雪迪姜楠
- 关键词：基于身份门限签名
- 基于串口通信的HTTP网络访问实现装置
- 基于串口通信的HTTP网络访问实现装置属于信息安全技术领域。本发明解决在传统保护方式下仍旧存在诸多安全隐患的问题。本发明包括代理服务器1，代理服务器2，代理服务器1与代理服务器2之间使用串行端口连接；代理服务器1包含以下...
- 蔡永泉靳禹
- 文献传递
- 基于身份的一轮可认证会议密钥协商协议
- 密钥的建立是人们试图在非安全信道上进行安全群组通信的关键。利用Huang、Chen 和Wang提出的GDH群上的数字签名方案和双线性配对，提出了一种新的基于身份的可认证的会议密钥协商方案。该方案不但只用一轮就可以完成会议...
- 蔡永泉李秀莹
- 关键词：身份认证信息安全
- 基于身份的会议密钥协商算法被引量：2
- 2006年
- 利用Cha和Cheon提出的基于身份的数字签名方案,提出了一种新的会议密钥协商算法,并分析了该算法的正确性、安全性和执行效率。分析结果表明,在Gap Diffie-Hellman假设下,任何窃听者均无法得到有关会议密钥的任何信息,且无论存在多少恶意参与者,诚实参与者都能够协商出共同的会议密钥。该方案效率较高,有较强的灵活性、适应性和实用性。
- 蔡永泉王亚丽
- 关键词：基于身份TATE配对
- 智能型棉花水份测定仪
- 阐述了用于测量棉花水份多棒传感器的设计原理,叙述了基于MCS-51单片机测量方法.
- 蔡永泉刘明亮
- 关键词：振荡器数据采集水份测定仪传感器
- 文献传递
- 理性的安全两方计算协议被引量：13
- 2013年
- 在传统的安全两方计算协议中,一方在得到计算结果后,可能会告诉另一方一个错误的结果,或者立即中断协议,这样不能保证协议的完全公平性.针对此问题,结合博弈论和密码学理论,提出一种理性的安全两方计算协议.首先假设理性的参与者最大的利益是得到计算结果,其次是越少的其他人得到结果越好.然后,研究了参与者遵守和背离协议的策略、效用和动机,构建了安全两方计算的博弈模型.在所设计的协议中,参与者遵守协议是参与者的最优策略,任何参与者的欺骗行为都能被检验,参与者背离协议,没有遵守协议的收益大,这样参与者有动机发送真实的数据,最终,每个参与者都能得到计算结果.分析表明,协议是安全和公平的.
- 张恩蔡永泉
- 关键词：安全多方计算博弈论动态博弈
- Merkle树遍历机制的改进及应用研究
- 2012年
- 无线Mesh网络的网络结构导致了无线Mesh网络具有更多的安全隐患。其中数据完整性校验是保障无线Mesh网络通信安全的一个重要方面,而Merkle可信树适用于批量数据验证。研究无线Mesh网络的安全特点,并研究Merkle可信树数字签名技术。研究表明,在Merkle可信树应用中,遍历可信树计算认证路径节点值需要消耗大量的时间。Merkle可信树的遍历算法的效率是影响Merkle可信树数字签名的关键。在研究的基础上,提出了一种改进的Merkle可信树遍历算法,并将改进后的Merkle可信树应用于无线Mesh网络的数据完整性校验机制。
- 刘芳蔡永泉王朝翔鄢楚平
- 关键词：无线MESH网络遍历
- 一种改进的A(0)协议及其形式化分析被引量：3
- 2006年
- 针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
- 蔡永泉朱勇
- 关键词：安全协议形式化分析
