于义科
- 作品数:22 被引量:56H指数:5
- 供职机构:南昌航空大学信息工程学院更多>>
- 发文基金:国家自然科学基金北京市重点学科建设基金国家科技基础条件平台建设计划更多>>
- 相关领域:自动化与计算机技术文化科学农业科学自然科学总论更多>>
- 一个标准模型下基于身份的高效代理签名方案被引量:6
- 2011年
- 目前对于基于身份的代理签名方案来说,方案的安全性大多是在随机预言模型下证明的,但随机预言机的实现方式可能会导致方案的不安全。相对而言,设计标准模型下的代理签名方案更有实际意义。提出了一种安全、高效的基于身份的代理签名方案,利用双线性对技术对方案的正确性进行了严格证明,并在标准模型下基于CDH困难假设给出了方案安全性的详细证明。与现有的标准模型下安全的基于身份的代理签名方案相比,该方案具有更高的效率。
- 于义科郑雪峰韩晓光刘行兵
- 标准模型下基于身份的代理环签名方案研究
- 2012年
- 现有的基于身份的代理环签名方案的安全性大都是在随机预言模型下证明的,随机预言机模型将Hash函数理想化为一个完全随机模型,在实际应用中不一定安全.鉴于此,提出一个新的基于身份的代理环签名方案.在标准模型下证明了该方案能够抵抗存在性伪造攻击,且签名者具有无条件匿名性,因此具有更好的安全可靠性.
- 于义科郑雪峰张清国张明德
- 关键词:代理环签名计算DIFFIE-HELLMAN问题
- 模块化课程思政教学在计算机科学导论中的应用研究被引量:1
- 2023年
- 计算机科学导论是计算机科学相关专业大一新生的入门课程,课程目标重在专业引导和价值观培养。该课程紧贴学科前沿发展,知识点庞杂,特别在当前大思政背景下,研究模块化方法对思政元素与教学任务的有机融合十分必要。该文以计算机科学导论课程为载体,探讨模块化课程思政教学的可结合性、可行性和可实现性。
- 毛红梅于义科蔡虹
- 关键词:计算机科学导论模块化
- 标准模型下基于身份的动态门限代理签名方案
- 2011年
- 目前对于基于身份的门限代理签名方案来说,方案的安全性大多是在随机预言模型下证明的,并且这些门限代理签名方案中的代理签名密钥固定。相对而言,设计标准模型下的动态门限代理签名方案更有实际意义。针对以上两个问题,根据Paterson提出的基于身份的签名方案,利用计算Diffie-Hellman问题的困难性在标准模型下设计了一个代理签名密钥可变的动态门限代理签名方案。最后,利用双线性对技术对方案的正确性进行了严格证明,并在CDH困难假设下给出了方案安全性的详细分析过程和证明,结果表明方案是可证安全的和可靠的。
- 于义科郑雪峰刘行兵韩晓光
- 关键词:计算DIFFIE-HELLMAN问题
- 一种安全有效的基于身份的门限签密方案被引量:1
- 2010年
- 签密是一种将加密和数字签名技术结合在一起的思想,它比采用先签名后加密的方法具有更高的效率.基于双线性对技术,提出了一种新的基于身份的门限签密方案.它利用决策双线性Diffie-Hellman(DBDH)问题的困难性在随机预言模型下给出了方案的语义安全性证明,并利用计算Diffie-Hellman(CDH)问题的困难性证明了方案的不可伪造性,同时指出方案具有较高的效率.
- 孙华郑雪峰于义科周芳
- 关键词:双线性对随机预言模型
- 标准模型下基于身份的高效动态门限代理签名方案被引量:11
- 2011年
- 基于身份的门限代理签名方案大都是在随机预言模型下进行安全证明,并且方案中每个代理人的代理签名密钥在有效期内都是固定不变的。在已有的基于身份的签名方案基础上,利用可公开验证秘密分享技术提出了一个在标准模型下可证安全的基于身份的(t,n)-动态门限代理签名方案。方案中代理人的代理签名密钥可以定期更新,而且代理签名验证过程只需要常数个双线性对运算,因此方案具有更好的动态安全性和较高的效率。
- 于义科郑雪峰
- 关键词:计算DIFFIE-HELLMAN问题
- 无线有组织网群组移动模型被引量:2
- 2010年
- 群组移动模型是无线网络研究中的基础问题之一。移动模型对无线网络协议的设计、算法的性能评价等问题的研究具有重要意义。回顾了现有群组移动模型的特点和应用范围,它们都不能有效模拟无线有组织网群组行为特性。在分析无线有组织网群组特点的基础之上,提出了以中心节点为参考点的无线有组织网群组移动模型,模型仿真更加接近真实无线有组织网络。通过设置不同参数对网络仿真与网络实际情况进行分析比较,证实了新的群组移动模型的可用性。
- 刘行兵郑雪峰韩晓光于义科
- 关键词:无线网网络仿真
- ZigBee网络中孤岛节点快速处理算法研究被引量:1
- 2012年
- 研究ZigBee网络孤岛节点的搜索和处理,快速减免孤岛节点提高网络资源利用率。针对节点间因配置或接口协议不统一而造成孤岛节点的出现,传统的基于广度搜索的处理方法需要逐一遍历所有节点从而搜索出孤岛节点,造成搜索效率不高、网络资源利用率较低的问题。为解决上述问题,提出了基于节点帧的孤岛节点处理方法。利用ZigBee网络树型结构的特点,只有父节点中可能存在孤岛节点,因此通过判断网络节点是否为父节点并将结果保存在节点帧中,根据节点帧找到网络中有限的父节点并从中监测出孤岛节点,避免了遍历所有网络节点而造成的搜索效率不高的问题。仿真结果表明,节点帧方法能够快速搜索出ZigBee网络中的孤岛节点并作减免处理,有效提高了网络资源的利用率。
- 胡颖辉于义科
- 关键词:树型结构
- 分层可信计算平台模型的研究与实现被引量:4
- 2010年
- 提出了一种基于现有计算机网络的可信计算平台模型。该模型充分利用了现有的计算机及其网络平台的通用性,将现有的计算平台分层逻辑化为不同的信任层,不仅降低了可信计算平台模型实施的难度,而且提高了其灵活性、扩展性和效率;同时该模型从客户端系统的引导阶段出发构建完整的可信链,保证了可信计算平台的安全性;此外该模型解决了现有的可信计算平台的方向性和系统输入未知性的问题。原型系统实现的结果表明,由于系统中所有计算机及其网络构成统一的可信计算平台,使信任的传递从用户到用户,进而实现真正的对于用户体验的可信计算。
- 周毅郑雪峰于义科
- 关键词:可信计算可信计算平台信任模型
- 高性能可伸缩LVS集群的研究和实践被引量:3
- 2001年
- 在网络系统性能研究中 ,集群技术是提高系统综合性能的一种重要方法。讨论了如何在Linux操作系统平台上搭建LVS集群 ,论述了其体系结构、设计方法 ,描述了地址转换 (NAT)、IP隧道 (IPTunneling)和直接路由DirectRouting三种IP层的负载均衡办法及满足不同应用需要的四种调度算法 (RR、WRR、LC和WLC)。
- 于义科严永福
- 关键词:虚拟服务器LVS调度算法LOADBALANCER