检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

标准模型下多个PKG的基于身份广义签密

电子与信息学报 2011年第5期33卷 1204-1210页

作者：冀会芳韩文报刘连东信息工程大学郑州450002

广义签密是指除了能实现签密功能,还可单独实现加密和认证功能的密码机制。该文定义了不同PKG环境下基于身份的广义签密方案较为全面的安全模型,并提出一个具体方案,进而在标准模型下证明了方案的安全性。和已有的不同PKG环境下基于身... 详细信息

广义签密是指除了能实现签密功能,还可单独实现加密和认证功能的密码机制。该文定义了不同PKG环境下基于身份的广义签密方案较为全面的安全模型,并提出一个具体方案,进而在标准模型下证明了方案的安全性。和已有的不同PKG环境下基于身份签密方案相比,文中方案的效率较高,且应用范围更为广泛。

关键词：基于身份密码广义签密不同PKG环境双线性对标准模型

在线全文

学校读者我要写书评

暂无评论

并行星载软件全数字模拟测试平台的研究

并行星载软件全数字模拟测试平台的研究

作者：冀会芳吉林大学

学位级别：硕士

提高星载软件可靠性,可以极大减少软件故障导致的空间飞行器事故,对星载软件进行测试是提供可靠性的必要手段。然而星载软件作为嵌入式软件,很多特点都增加了其测试难度,严重制约测试进度、质量。本论文利用模拟器技术,搭建全数字模拟... 详细信息

提高星载软件可靠性,可以极大减少软件故障导致的空间飞行器事故,对星载软件进行测试是提供可靠性的必要手段。然而星载软件作为嵌入式软件,很多特点都增加了其测试难度,严重制约测试进度、质量。本论文利用模拟器技术,搭建全数字模拟闭环测试平台,使得可以在PC机上运行星载软件,同时实现常用的调试功能,极大提高了软件测试人员发现错误、问题的效率。但是,并行星载系统无法在模拟测试平台上完成测试运行,其中的多个有交互通信关系的星载软件,须要多个模拟器同时运行才能完成对其测试。由于多个模拟器没有统一的时钟标准,必须对它们实现时间同步,才’能保证系统的行为被正确模拟。论文创新性的提出,将并行仿真中时间同步策略应用到解决多个模拟器的时同步问题,之前没有任何文献采用采取这种解决方法。论文将一种乐观同步算法-周期时间差(Breathing Time Warp, BTW)策略用于实现两个模拟器的同步。实验证明BTW可以正确解决模拟器间时间同步的问题,而且运行统计结果表明BTW在仿真速度和回退次数方面比BTB、TW都好,反消息个数比TW少。表明BTW是解决多模拟器运行同步问题的理想策略。

关键词：模拟器嵌入式软件测试星载软件并行仿真时间同步策略

布尔函数零化子的构造和代数免疫最优布尔函数的构造

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

布尔函数零化子的构造和代数免疫最优布尔函数的构造

作者：冀会芳解放军信息工程大学

学位级别：硕士

对基于线性反馈移位寄存器(LFSR)的流密码进行代数攻击的关键是寻找布尔函数的低次零化子。同时,为抵抗代数攻击,密码学中的布尔函数需要具有良好的代数免疫性。因此,寻找布尔函数低次零化子和构造代数免疫最优的布尔函数,成为布尔函数... 详细信息

对基于线性反馈移位寄存器(LFSR)的流密码进行代数攻击的关键是寻找布尔函数的低次零化子。同时,为抵抗代数攻击,密码学中的布尔函数需要具有良好的代数免疫性。因此,寻找布尔函数低次零化子和构造代数免疫最优的布尔函数,成为布尔函数研究的热点问题。本文主要对这两个方面的问题开展了研究,主要内容包括: 首先给出了一种寻找布尔函数低次零化子的方法。通过分析布尔函数的代数次数与特征矩阵的关系,得到了布尔函数的代数免疫度与特征矩阵的关系。即若n元布尔函数f的代数免疫度为d,则函数f或者1+f的特征矩阵至少存在一个子矩阵,该子矩阵对应布尔函数的代数次数为d,并由此给出了寻找布尔函数低次零化子的两个算法:完全搜索法和随机搜索法。利用完全搜索法可以得到布尔函数的所有低次零化子,同时还可以确定该布尔函数的代数免疫度;利用随机搜索法能快速得到布尔函数的任意一个低次零化子。其次研究了代数免疫最优布尔函数的构造。利用布尔函数代数免疫最优的充分必要条件,得到了一种变元个数为偶数元的代数免疫最优布尔函数的构造方法:利用己知n(n为偶数)元代数免疫最优布尔函数构造新的n元代数免疫最优布尔函数。利用此方法由一个n元代数免疫最优布尔函数可以构造至少2·2C)个代数免疫最优布尔函数,其中至少有2·C(M=1/2C)个是平衡的。在此基础上还分析了如何构造代数次数较高且代数免疫最优的平衡布尔函数,并给出此类函数个数的一个下界,随后讨论了新构造函数与给定函数非线性度之间的关系。本文进一步考虑了代数免疫最优布尔函数的完全构造问题,把构造代数免疫最优布尔函数的问题,转化为从某一向量空间的特定子集合中寻找该向量空间的基问题,从而在n≥3的条件下,分别给出奇数元和偶数元代数免疫最优布尔函数的一种完全构造方法。

关键词：布尔函数零化子代数攻击代数免疫度代数免疫最优

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种无随机预言机的无证书广义签密方案

软件学报 2012年第2期23卷 394-410页

作者：刘连东冀会芳韩文报赵龙信息工程大学电子技术学院河南郑州450004 信息工程大学信息工程学院河南郑州450002

研究在无证书公钥密码系统下的广义签密问题,提出了无证书广义签密方案的形式化定义,并定义其较为完全的安全模型.该安全模型下的第2类攻击者是恶意但被动的攻击者.同时,利用双线性映射设计了一个高效的无证书广义签密方案.其安全性基... 详细信息

研究在无证书公钥密码系统下的广义签密问题,提出了无证书广义签密方案的形式化定义,并定义其较为完全的安全模型.该安全模型下的第2类攻击者是恶意但被动的攻击者.同时,利用双线性映射设计了一个高效的无证书广义签密方案.其安全性基于计算Diffie-Hellman问题和判定性Bilinear Diffie-Hellman问题的困难性,并在标准模型下给出正式的安全性证明.鉴于该方案具有安全高效和无证书的优点,它可以广泛地应用于电子商务、防火墙和密钥分配等领域.

关键词：无证书密码广义签密双线性映射标准模型可证明安全

“数据管理技术及应用”课程思政教学研究与实践

在线全文

学校读者我要写书评

暂无评论

科学咨询(教育科研) 2022年第5期 112-114页

作者：冀会芳周洪伟李福林信息工程大学

开展专业课程思政是贯彻立德树人方针、新时代军事教育方针的重要举措。论文在分析“数据管理技术及应用”课程内容体系的基础上，深入挖掘课程内容中的思政元素和军队基因，并结合课程建设过程，在课程教材、多媒体资源建设和课堂教学... 详细信息

开展专业课程思政是贯彻立德树人方针、新时代军事教育方针的重要举措。论文在分析“数据管理技术及应用”课程内容体系的基础上，深入挖掘课程内容中的思政元素和军队基因，并结合课程建设过程，在课程教材、多媒体资源建设和课堂教学过程中，将专业内容体系和思政元素深度融合，在传授专业知识的同时，以润物无声的方式实现价值引领和德育目标。

关键词：专业课程思政新时代军事教育方针数据管理技术及应用教学改革

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于身份的跨自治域认证密钥协商协议

四川大学学报（工程科学版） 2015年第4期47卷 125-131页

作者：张雪李光松韩文报冀会芳胡洪宇信息工程大学数学工程与先进计算国家重点实验室河南郑州450002 驻成飞公司军代表室四川成都610000

当前的跨信任域认证密钥协商协议都对系统参数做了限制假设,这种假设无法满足实际网络需要,为此提出了一种基于身份的跨自治域密钥协商方案,在该方案中各个PKG可以使用完全不同的公开参数以及各自不同的PKG主密钥。在eCK模型下给出了该... 详细信息

当前的跨信任域认证密钥协商协议都对系统参数做了限制假设,这种假设无法满足实际网络需要,为此提出了一种基于身份的跨自治域密钥协商方案,在该方案中各个PKG可以使用完全不同的公开参数以及各自不同的PKG主密钥。在eCK模型下给出了该密钥协商方案的形式化证明,表明该方案在满足基本安全属性的基础上,还具有弱的完美前向安全性、PKG前向安全性、抗密钥泄露伪装攻击以及抗临时密钥泄露攻击等属性。与几种典型的基于身份的跨域认证密钥协商方案性能对比分析表明,提出的方案更加安全高效。

关键词：基于身份密钥协商跨信任域 eCK模型

在线全文

学校读者我要写书评

暂无评论

有限域上几类椭圆曲线簇的有理点数分布

四川大学学报（自然科学版） 2011年第4期48卷 771-776页

作者：赵龙韩文报冀会芳解放军信息工程大学信息研究系郑州450002

设E_(a,b)为定义在有限域F_q上的椭圆曲线y^2=x^3+ax+b,其中q=p^n,素数p≥5,t_(a,b)表示Frobenius映射的迹,于是有理点数#E_(a,b)(F_q)=q+1-t_(a,b).本文作者利用有限域上的指数和计算了t_(az,bz)、(?)t_(az^2,bz^2)、t_(az^2,b)以及∑t_(a,bz^2).基于这些结果作者给出了当a和b相等且跑遍F_q或F_q~*的二次剩余类时#E(F_q)的均值,以及a或b固定,另外一个参数跑遍F_q或F_q~*的二次剩余类时#E(F_q)的均值.

关键词：椭圆曲线有理点数 Frobenius映射指数和

在线全文

学校读者我要写书评

暂无评论

标准模型下基于身份的广义签密方案

计算机应用研究 2010年第10期27卷 3851-3854,3858页

作者：冀会芳韩文报赵龙解放军信息工程大学信息工程学院郑州450002

首次对标准模型下基于身份广义签密体制进行了研究。利用双线性对,提出了基于身份的广义签密方案,并在标准模型下证明了方案的安全性。结果表明,方案的保密性在DBDH假设下是适应性选择密文攻击下不可区分的,在CDHP假设下方案是适应性选... 详细信息

首次对标准模型下基于身份广义签密体制进行了研究。利用双线性对,提出了基于身份的广义签密方案,并在标准模型下证明了方案的安全性。结果表明,方案的保密性在DBDH假设下是适应性选择密文攻击下不可区分的,在CDHP假设下方案是适应性选择消息攻击下存在性不可伪造的。与其他两个基于身份广义签密方案相比,本方案效率较高,且是在标准模型下可证明是安全的。

关键词：基于身份签密广义签密标准模型双线性对可证安全

在线全文

学校读者我要写书评

暂无评论

高效的无证书广义签密方案

四川大学学报（工程科学版） 2011年第5期43卷 133-139页

作者：冀会芳韩文报刘连东信息工程大学信息工程学院河南郑州450002

广义签密指能实现签密功能,还可实现加密和认证功能的密码机制。结合无证书密码,提出了无证书广义签密体制的形式化定义,并定义了其安全模型,进而给出一个具体的无证书广义签密方案,在随机预言模型下证明了方案的安全性。和已有的无证... 详细信息

广义签密指能实现签密功能,还可实现加密和认证功能的密码机制。结合无证书密码,提出了无证书广义签密体制的形式化定义,并定义了其安全模型,进而给出一个具体的无证书广义签密方案,在随机预言模型下证明了方案的安全性。和已有的无证书签密方案相比,该方案在不增加计算复杂度的前提下,可以实现签密,签名和加密功能。

关键词：无证书密码广义签密随机预言模型双线性对