期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
并发安全的紧凑多重息票方案 被引量:1
1
作者 柳欣 徐秋亮 《电子学报》 EI CAS CSCD 北大核心 2012年第5期877-882,共6页
已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协... 已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协议编译器对底层的Blanton方案进行扩展得到的.第二个方案(即前一个方案的增强版本)利用直线提取技术实现了更为高效的安全性归约过程,并借助基于同态加密的非交互零知识论证避免了对随机预言机的使用.与其他的强不可分割的方案相比,第一个方案具有更高的通信效率,且第二个方案的安全性并不依赖于随机预言模型. 展开更多
关键词 电子现金 多重息票 非交互的零知识 并发安全性 注册公钥模型
在线阅读 下载PDF
满足增强安全性的匿名订购系统 被引量:1
2
作者 柳欣 《计算机工程与应用》 CSCD 2012年第17期16-22,共7页
尚未提出支持顾客根据所需订购次数付费的高效匿名订购系统,已有系统未能实现防止匿名性滥用与确保顾客隐私间的平衡。已有系统都是基于标准的sigma协议构造的,因此仅能在随机预言模型下满足较弱的诚实验证者的零知识性。提出一个改进... 尚未提出支持顾客根据所需订购次数付费的高效匿名订购系统,已有系统未能实现防止匿名性滥用与确保顾客隐私间的平衡。已有系统都是基于标准的sigma协议构造的,因此仅能在随机预言模型下满足较弱的诚实验证者的零知识性。提出一个改进的系统,利用最新的可充值电子钱包技术对Au-Susilo-Yiu非交互的k次匿名认证方案进行扩展,利用Zhao等人的技术将底层的sigma协议增强为黑盒零知识的知识论证协议。新系统不仅同时实现了订购次数不受限制、支持服务类型、订购服务不可共享以及令牌可重用的性质,而且在标准模型下满足可证安全。 展开更多
关键词 隐私保护 匿名订购 可充值的电子钱包 sigma协议 黑盒零知识 有条件的匿名性 标准模型
在线阅读 下载PDF
基于局部标记信息的多标记学习算法
3
作者 石杰 《计算机工程与应用》 CSCD 北大核心 2015年第10期132-136,共5页
一个样例的标记信息可能会对附近其他样例的学习提供有用信息,特别是在数据比较匮乏的情况下,利用已标记数据与未标记数据间的相关性,能够在一定程度上避免因数据不足所造成的误差。针对样例之间的相关性研究,提出基于局部标记信息的多... 一个样例的标记信息可能会对附近其他样例的学习提供有用信息,特别是在数据比较匮乏的情况下,利用已标记数据与未标记数据间的相关性,能够在一定程度上避免因数据不足所造成的误差。针对样例之间的相关性研究,提出基于局部标记信息的多标记学习算法,算法首先获取样例的局部标记信息,然后将样例的局部标记信息引入属性空间构造新的样例集合,并根据新的样例集合进行分类。实验结果表明,算法的分类性能得到较大提升,且优于其他常用多标记学习算法。 展开更多
关键词 多标记学习 样例相关性 聚类 K近邻
在线阅读 下载PDF
氩气/空气辉光放电对聚乙烯薄膜的表面改性研究 被引量:4
4
作者 陈龙溪 郑磊 吴斌 《真空科学与技术学报》 EI CAS CSCD 北大核心 2014年第12期1315-1320,共6页
利用氩气/空气混合气体辉光放电对聚乙烯(PE)材料表面改性。主要研究了单一气体等离子体和混合气体等离子体对PE膜表面改性的影响,通过蒸馏水的接触角测量和二碘甲烷的接触角测量对处理前后的PE膜表面性质进行表征,对PE膜表面能的变化... 利用氩气/空气混合气体辉光放电对聚乙烯(PE)材料表面改性。主要研究了单一气体等离子体和混合气体等离子体对PE膜表面改性的影响,通过蒸馏水的接触角测量和二碘甲烷的接触角测量对处理前后的PE膜表面性质进行表征,对PE膜表面能的变化进行了分析。实验结果表明,经辉光放电等离子体处理过的PE膜表面的液体接触角显著下降,固体表面能有明显提高,在固定的电压和气压下,PE膜表面水接触角随着氩气/空气混合比例的增大而先减小后增大,说明辉光放电比丝状放电在提高聚乙烯材料润湿性方面效果要好。处理后的样品放置在空气当中后,样品表面水接触角有所增大,但始终小于处理前的接触角。 展开更多
关键词 氩气/空气 辉光放电 聚乙烯薄膜 表面改性
在线阅读 下载PDF
基于DAA的轻量级多商家多重息票系统 被引量:2
5
作者 柳欣 徐秋亮 张波 《通信学报》 EI CSCD 北大核心 2016年第9期30-45,共16页
基于Brickell等的DAA(direct anonymous attestation)方案提出一个支持多商家环境的多重息票系统。新系统将多重息票中的关键元素与抗篡改的TPM(trusted platform module)芯片进行绑定,从而能更有效地阻止用户的共享行为。新系统的构造... 基于Brickell等的DAA(direct anonymous attestation)方案提出一个支持多商家环境的多重息票系统。新系统将多重息票中的关键元素与抗篡改的TPM(trusted platform module)芯片进行绑定,从而能更有效地阻止用户的共享行为。新系统的构造过程使用了Chow等的服务器辅助签名验证技术、Yang等的自盲化证书技术以及Peng等的区间证明技术,使用户在息票发布和兑换协议中均无需执行低效的对运算。相对于多个同类系统,新系统同时满足多个较理想的性质,而且与ARM TrustZone平台上的移动支付框架兼容。此外,新系统在通信和运算耗费方面具有明显优势。 展开更多
关键词 多重息票 直接匿名证明 服务器辅助签名验证 区间证明 不可分割性
在线阅读 下载PDF
实用的强不可分割多重息票方案 被引量:2
6
作者 柳欣 徐秋亮 《计算机研究与发展》 EI CSCD 北大核心 2012年第12期2575-2590,共16页
当前,多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界,以及如何为兑换协议提供高效、灵活的兑换机制.为此,提出两个具备改进的效率与功能的方案.新方案分别利用Chaa... 当前,多重息票方案设计中的主要困难是如何设计能自由设置兑换次数上界的息票发布协议且所得协议的复杂性并不依赖于这个上界,以及如何为兑换协议提供高效、灵活的兑换机制.为此,提出两个具备改进的效率与功能的方案.新方案分别利用Chaabouni等人的离散对数区间证明技术和Canard等人的关于被承诺元素的知识证明技术实现了对息票兑换次数上界的灵活设置,并且利用Peng等人的批量零知识证明与验证技术对兑换协议的运算复杂度进行了优化.新方案在Nguyen的形式化模型下满足可证安全,而且首次实现了实际应用中的全部理想特性,即并发发布、紧凑存储、批量兑换以及支持设置息票对象和过期日期.性能分析表明,新方案的通信与运算耗费显著低于已有的两个满足强不可分割性质的方案. 展开更多
关键词 电子商务 多重息票 紧凑 强不可分割性 知识签名 批量零知识证明与验证
在线阅读 下载PDF
不可克隆的动态k次匿名认证方案 被引量:2
7
作者 柳欣 徐秋亮 《通信学报》 EI CSCD 北大核心 2012年第7期75-89,共15页
在已有的k次匿名认证方案中,尚存在2个未解决问题:1)如何实现允许服务供应商为每个用户设置不同的访问次数上界,同时不能以损失用户的匿名性作为代价;2)如何防止恶意用户发动大规模的克隆攻击。为此提出一个改进方案。新方案的构造过程... 在已有的k次匿名认证方案中,尚存在2个未解决问题:1)如何实现允许服务供应商为每个用户设置不同的访问次数上界,同时不能以损失用户的匿名性作为代价;2)如何防止恶意用户发动大规模的克隆攻击。为此提出一个改进方案。新方案的构造过程使用了多项关键技术,包括关于"一个被承诺元素小于另一个被承诺元素"的知识证明,动态累加器和基于n次可展示令牌的克隆攻击检测方法等。对Teranishi等人的安全性模型做出修改,并且证明新方案在该模型下满足可证安全。此外,新方案的成员注册协议是并发安全的,因而适合于在实际的异步网络环境(如互联网)下进行部署。 展开更多
关键词 k次匿名认证 零知识证明 克隆攻击 协议 并发零知识
在线阅读 下载PDF
基于.Net的艺术类招生考试管理系统的设计与实现 被引量:8
8
作者 王黎峰 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第3期170-173,共4页
通过.Net和Sql Server 2005两种开发工具设计实现了3层架构的艺术类专业考试系统.系统中,充分使用了XML和Web Services技术,使得各逻辑层之间功能相对独立,之间的接口统一,易维护、易扩展.实践证明,系统的的实现大大降低了招生人员的工... 通过.Net和Sql Server 2005两种开发工具设计实现了3层架构的艺术类专业考试系统.系统中,充分使用了XML和Web Services技术,使得各逻辑层之间功能相对独立,之间的接口统一,易维护、易扩展.实践证明,系统的的实现大大降低了招生人员的工作量,提高了招生人员的工作效率和数据处理的准确率. 展开更多
关键词 NET 招生考试 XML Web SERVICES 系统架构
在线阅读 下载PDF
雾霾天气情况下的交通标志检测 被引量:5
9
作者 薛玉利 《交通运输系统工程与信息》 EI CSCD 北大核心 2016年第4期88-94,共7页
针对雾霾天气不利于交通标志检测的问题,提出一种在雾霾天气下快速实现交通标志检测的算法.首先,通过暗原色原理对雾霾天气中获得的图像进行去雾处理,得到对比度增强的图像;然后,将图像转换为归一化红蓝图像,在不同阈值对该图像进行二值... 针对雾霾天气不利于交通标志检测的问题,提出一种在雾霾天气下快速实现交通标志检测的算法.首先,通过暗原色原理对雾霾天气中获得的图像进行去雾处理,得到对比度增强的图像;然后,将图像转换为归一化红蓝图像,在不同阈值对该图像进行二值化,提取其连通区域,如果连通区域在几个阈值下的二值化图像均能保持形状不变,则选作感兴趣区域;最后,利用交通标志的形状信息将干扰区域去除,得到交通标志的检测结果.实验结果表明,雾霾天气的图像经过去雾处理后对比度增强,检测效率有明显提高;与使用单一阈值检测算法相比,最大稳定极值区域的检测效率更高. 展开更多
关键词 智能交通 交通标志检测 暗原色原理 最大稳定极值区域 雾霾天气
在线阅读 下载PDF
无随机预言的完全匿名多服务订购系统 被引量:1
10
作者 柳欣 雷文庆 《计算机应用》 CSCD 北大核心 2013年第2期417-422,429,共7页
最近,Canard等(CANARD S,JAMBERT A.Untraceability and profiling are not mutually exclusive[C]//TrustBus 2010:Proceedings of the 7th International Conference on Trust,Privacy and Security in Digital Business,LNCS6264.Ber... 最近,Canard等(CANARD S,JAMBERT A.Untraceability and profiling are not mutually exclusive[C]//TrustBus 2010:Proceedings of the 7th International Conference on Trust,Privacy and Security in Digital Business,LNCS6264.Berlin:Springer-Verlag,2010:117-128)提出了多服务订购的概念以及几个实例化的系统。然而,这些系统仅满足较弱的可撤销的匿名性且不适合于"按次付费"的服务。为此,通过对Canard等的系统进行扩展而提出一个改进的多服务订购系统。新系统利用Liu等(LIU J K,AU M H,SUSILO W,et al.Enhancing location privacy for electricvehicles(at the right time)[EB/OL].[2012-08-01].http://eprint.iacr.org/2012/342)的匿名支付技术实现了对"按次付费"的支持,利用Peng-Bao小区间证明技术实现了对"账户余额足以为当前服务付费"的零知识证明。此外,通过将Cramer等的技术应用于底层∑协议,实现了新系统的构造过程所需的完全零知识的知识证明协议。相对于已有的典型系统,新系统的优势体现在安全性方面:首先,在标准模型下满足可证安全;其次,实现了3个关键性质的最强安全等级,即支付令牌的不可分割性、用户的匿名性和底层证明系统的零知识性。 展开更多
关键词 电子商务 增强隐私保护的机制 匿名访问 知识证明 标准模型
在线阅读 下载PDF
基于DAA-A的改进可授权电子现金系统 被引量:1
11
作者 柳欣 张波 《计算机研究与发展》 EI CSCD 北大核心 2016年第10期2412-2429,共18页
当前,已有的可授权电子现金系统通信效率不高,同时其公平交换子协议要求使用低效的cutand-choose证明技术且集中式的可信第三方(trusted third party,TTP)容易遭受拒绝服务攻击.此外,多个相关的公平支付系统或者要求使用cut-and-choose... 当前,已有的可授权电子现金系统通信效率不高,同时其公平交换子协议要求使用低效的cutand-choose证明技术且集中式的可信第三方(trusted third party,TTP)容易遭受拒绝服务攻击.此外,多个相关的公平支付系统或者要求使用cut-and-choose证明技术,或者使用了具有安全性缺陷的可验证加密技术.利用基于属性的自盲化证书系统构造了一个具有属性的直接匿名证明(direct anonymous attestation with attributes,DAA-A)方案,然后基于该方案构造了满足更强可开脱性的可授权电子现金系统.为了提高用户端在支付过程中的运算效率,使用了Arfaoui等人的集合关系证明协议,同时利用预计算技术对用户的知识签名进行了效率优化.为了避免执行低效的cut-and-choose证明,设计了一个支持分布式TTP的乐观公平交换子协议.通过与Golle-Mironov模型相结合,新系统可以应用于外包计算领域.与已有同类系统相比,新系统同时满足允许多次支付、无需使用cut-and-choose技术和用户无状态性等多个理想性质.此外,新系统的公平交换子协议引入了分布式TTP,即考虑了拒绝服务攻击的风险. 展开更多
关键词 可授权电子现金 直接匿名证明 公平交换 cut-and-choose证明 外包计算
在线阅读 下载PDF
改进的支持暂停匿名用户服务的电子现金系统 被引量:1
12
作者 柳欣 徐秋亮 《计算机应用研究》 CSCD 北大核心 2016年第10期3099-3104,共6页
对Au等人的支持暂停匿名用户服务的电子现金系统作出性能和安全性的改进。改进系统是通过结合自盲化证书和批量零知识证明技术对Brickell等人的EPID(enhanced privacy ID)方案作出扩展而得到的,而且构造过程借鉴了Xi等人将系统的运行时... 对Au等人的支持暂停匿名用户服务的电子现金系统作出性能和安全性的改进。改进系统是通过结合自盲化证书和批量零知识证明技术对Brickell等人的EPID(enhanced privacy ID)方案作出扩展而得到的,而且构造过程借鉴了Xi等人将系统的运行时间划分为若干时间周期且为未被废除用户颁发通行证的思想。改进系统要求用户在取款之前通过预计算阶段取得通行证,之后各参与方在取款和支付协议中的运算和通信耗费均为常数。此外,改进系统在基于游戏的模型下满足更高等级的平衡性和可开脱性。 展开更多
关键词 电子现金 直接匿名证明 增强的秘密身份标志 知识签名
在线阅读 下载PDF
改进的基于DAA的隐私保护云资源消费系统
13
作者 柳欣 《小型微型计算机系统》 CSCD 北大核心 2015年第12期2707-2713,共7页
当前,用户在享受低成本且便捷的云服务的同时,不得不面对个人隐私遭受损害的风险.为此,Pirker等人提出一个允许用户利用资源受限设备匿名消费云资源的系统.该系统的主要缺点是要求用户和云服务供应商执行大量的在线对运算,且并未提供完... 当前,用户在享受低成本且便捷的云服务的同时,不得不面对个人隐私遭受损害的风险.为此,Pirker等人提出一个允许用户利用资源受限设备匿名消费云资源的系统.该系统的主要缺点是要求用户和云服务供应商执行大量的在线对运算,且并未提供完整的协议实现细节及形式化证明.对Brickell等人的DAA(直接匿名证明)方案进行扩展,并且结合Yang等人的改进的BBS+签名证明协议和Peng等人的小区间证明技术提出一个更为高效的改进系统.改进系统在新定义的安全模型下满足可证安全,且具有如下的显著特点,即无需用户执行在线对运算,利用硬件机制防止恶意用户共享匿名令牌,且适合于在智能手机平台上进行部署. 展开更多
关键词 云服务 云资源 隐私保护的 直接匿名证明 区间证明
在线阅读 下载PDF
具有在线提取器的成员基于身份的群签名方案
14
作者 柳欣 《计算机工程与应用》 CSCD 2013年第2期113-118,共6页
基于身份的群签名方案(ID-based GS)在本质上是追踪机制得到优化的群签名方案。ID-based GS方案的优势是对用户的成员公钥及其公开识别信息(如IP地址)进行了紧密的绑定。然而,已有的ID-based GS方案并不令人满意,这主要体现在无法在形... 基于身份的群签名方案(ID-based GS)在本质上是追踪机制得到优化的群签名方案。ID-based GS方案的优势是对用户的成员公钥及其公开识别信息(如IP地址)进行了紧密的绑定。然而,已有的ID-based GS方案并不令人满意,这主要体现在无法在形式化的安全模型下得到证明,仅实现了放宽的安全性质,以及效率不高。通过结合双线性群上的消息块签名方案以及具有在线提取器的非交互知识证明技术,提出一个更为实用的ID-based GS方案。新方案具备两个显著的性质,即打开权威可以独立地打开争议的签名,而且注册协议能够以并发方式执行。此外,利用迭代散列函数和批验证技术,可以进一步地降低新方案的运算耗费。 展开更多
关键词 成员基于身份的群签名 非交互的知识证明 在线提取器 并发加入 批验证
在线阅读 下载PDF
基于GPU的对称正定稀疏矩阵复线性方程组迭代算法
15
作者 李伟伟 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期297-302,共6页
提出一种基于图形处理器(GPU)的对称正定稀疏矩阵复线性方程组迭代算法.首先,采用基于GPU的共轭梯度法和双共轭梯度法,实现GPU上的矩阵向量乘操作,并充分优化相应的算法步骤;其次,实现基于GPU的对角元预处理、不完全Cholesky分解和对称... 提出一种基于图形处理器(GPU)的对称正定稀疏矩阵复线性方程组迭代算法.首先,采用基于GPU的共轭梯度法和双共轭梯度法,实现GPU上的矩阵向量乘操作,并充分优化相应的算法步骤;其次,实现基于GPU的对角元预处理、不完全Cholesky分解和对称超松弛3种预处理方法,提出一种基于GPU的求解三角方程组并行算法;最后,实验分析各种预处理方法的优劣.实验结果表明,该算法较CPU串行迭代算法与经典的直接法速度提升较大,最高可达到76倍的加速比. 展开更多
关键词 复线性方程组 迭代法 GPU计算
在线阅读 下载PDF
基于直接匿名证明的k次属性认证方案 被引量:5
16
作者 柳欣 徐秋亮 +1 位作者 张斌 张波 《通信学报》 EI CSCD 北大核心 2018年第12期113-133,共21页
当前,已有k次属性认证(简称k-TABA)方案以及相关属性认证方案的主要缺点是认证子协议的运算复杂度依赖于属性认证策略的规模,而且并未考虑成员废除和属性更新问题。基于直接匿名证明、集合成员身份证明和密文策略属性加密技术构造了新的... 当前,已有k次属性认证(简称k-TABA)方案以及相关属性认证方案的主要缺点是认证子协议的运算复杂度依赖于属性认证策略的规模,而且并未考虑成员废除和属性更新问题。基于直接匿名证明、集合成员身份证明和密文策略属性加密技术构造了新的k-TABA方案。为了进一步优化用户端运算效率,首先对底层属性加密方案进行修改,然后利用Green等的密钥绑定技术对解密过程进行外包。该方案不但可部署于可信平台,而且支持可表述性认证策略。此外,该方案满足多个理想性质,诸如注册过程可验证性、成员废除和属性更新等。该方案最显著的性能优势是用户在认证阶段的运算开销为常数。 展开更多
关键词 属性认证 直接匿名证明 密文策略属性加密 线性秘密分享 外包解密
在线阅读 下载PDF
面向云服务的轻量级匿名订阅系统
17
作者 柳欣 张波 +1 位作者 张斌 孙世文 《计算机应用研究》 CSCD 北大核心 2022年第4期1228-1236,共9页
针对已有匿名订阅系统订阅方式不灵活、用户端运算量大以及用户访问次数不受限制等缺陷,在Canard等人系统的基础上,提出一个面向云服务的轻量级匿名订阅系统。新系统的构造过程使用了关于掌握Au-Susilo-Mu签名的知识证明、改进的集合成... 针对已有匿名订阅系统订阅方式不灵活、用户端运算量大以及用户访问次数不受限制等缺陷,在Canard等人系统的基础上,提出一个面向云服务的轻量级匿名订阅系统。新系统的构造过程使用了关于掌握Au-Susilo-Mu签名的知识证明、改进的集合成员证明以及双线性对运算的性能优化技术。与已有系统相比,新系统同时满足以下性质:允许用户一次性订阅多种服务类型;对用户的访问次数作出限制;不允许用户与他人共享使用电子钱包;为用户提供了较强的隐私保护等级。该系统可证能安全地实现匿名订阅的功能。仿真实验表明,当被证明的秘密值在50~1050内变化时,用户在Access协议中的运行效率较同类系统提高了79.5%~83.2%。 展开更多
关键词 云服务 隐私保护 匿名订阅 知识证明 集合成员证明
在线阅读 下载PDF
剪切磁场位形下电阻壁模不稳定性的数值模拟 被引量:2
18
作者 陈龙溪 王进芳 +1 位作者 孙哲 边珍珠 《核聚变与等离子体物理》 CAS CSCD 北大核心 2018年第1期21-28,共8页
数值研究了平衡磁场位形对电阻壁模稳定性的影响。研究发现,磁场剪切对电阻壁模有解稳作用,对于不同的剪切磁场位形,最不稳定的电阻壁模的环向模数和极向模数不同。等离子流对电阻壁模的增长有抑制作用,稳定住电阻壁模的临界流速度随着... 数值研究了平衡磁场位形对电阻壁模稳定性的影响。研究发现,磁场剪切对电阻壁模有解稳作用,对于不同的剪切磁场位形,最不稳定的电阻壁模的环向模数和极向模数不同。等离子流对电阻壁模的增长有抑制作用,稳定住电阻壁模的临界流速度随着磁场剪切率的增大而增大。电阻壁模经线性增长后,进入非线性演化阶段,最后达到饱和状态,剪切磁场位形下的扰动磁能比均匀磁场位形下的扰动磁能饱和度高。 展开更多
关键词 电阻壁模 磁场剪切 稳定性 数值模拟
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部