关于冗余函数和自反函数性质之研究 被引量：3

1

作者 练益群 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第5期532-534,共3页

冗余函数和自反函数为特殊布尔函数.本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点.

关键词 冗余函数 自反函数 特殊布尔函数

在线阅读 下载PDF 职称材料

基于Haar变换的冗余函数和线性函数的检测 被引量：2

2

作者 邱晓华 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第5期542-544,548,共4页

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编... 给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作. 展开更多

关键词 谱技术 HAAR变换 冗余函数 线性函数 特殊逻辑函数

在线阅读 下载PDF 职称材料

无Hash或冗余函数数字签密方案的分析与改进

3

作者 周克元 《计算机应用与软件》 CSCD 2016年第12期321-324,共4页

对不使用Hash或冗余函数的数字签密方案进行分析,指出柏骏方案和于永方案均可被消息接收者伪造签名攻击,给出两种攻击方案,指出李方伟方案无前向安全和公开验证消息机密性。提出一个新的无Hash或冗余函数的数字签密方案,方案具有前向安... 对不使用Hash或冗余函数的数字签密方案进行分析,指出柏骏方案和于永方案均可被消息接收者伪造签名攻击,给出两种攻击方案,指出李方伟方案无前向安全和公开验证消息机密性。提出一个新的无Hash或冗余函数的数字签密方案,方案具有前向安全性和公开验证消息机密性,并进行了正确性和安全性分析。接收者无法进行伪造签名攻击,与已有方案比较,降低了算法复杂度。 展开更多

关键词 数字签密 哈希函数 冗余函数 前向安全 公开验证 伪造签名

在线阅读 下载PDF 职称材料

基于图形方法的冗余函数与自反函数检测 被引量：6

4

作者 任兵 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第3期318-320,329,共4页

冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函数的图形检测方法,并用实例说明之.通过计算机编程操作,可以得到用于多变量冗余函数和自反函数检测的... 冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函数的图形检测方法,并用实例说明之.通过计算机编程操作,可以得到用于多变量冗余函数和自反函数检测的快速算法. 展开更多

关键词 冗余函数 自反函数 K-图 BJ图 分解图

在线阅读 下载PDF 职称材料

基于表格方法的冗余函数、自反函数及自双反函数的检测 被引量：5

5

作者 郦可 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第5期520-523,共4页

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.

关键词 冗余函数 自反函数 自双反函数 表格法

在线阅读 下载PDF 职称材料

不使用Hash和Redundancy函数的认证加密方案 被引量：6

6

作者 张串绒 尹忠海 肖国镇 《电子学报》 EI CAS CSCD 北大核心 2006年第5期874-877,共4页

本文提出了一类新的认证加密方案,这类方案首次将消息可恢复签名和对称加密有机结合.它有两个特点,一个是签名中的承诺值只有预定的接收者才能算出,从而又可将该承诺值用作对称加密的密钥,取得一举两得之功效;另一个是用签名中恢复出的... 本文提出了一类新的认证加密方案,这类方案首次将消息可恢复签名和对称加密有机结合.它有两个特点,一个是签名中的承诺值只有预定的接收者才能算出,从而又可将该承诺值用作对称加密的密钥,取得一举两得之功效;另一个是用签名中恢复出的消息与对称解密得到的消息相比较,实现消息有效性的验证,改变了传统上使用Hash函数或Redundancy函数的验证方法.因此本文提出的新方案是一类不使用Hash函数和Re-dundancy函数的认证加密方案, 展开更多

关键词 密码学 消息可恢复签名 认证加密 哈希函密 冗余函数

在线阅读 下载PDF 职称材料

基于谱技术检测特殊逻辑函数的新方法 被引量：6

7

作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页

阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.

关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于分解图检测特殊函数的新方法 被引量：3

8

作者 赵美玲 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第4期412-415,共4页

特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本... 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发,导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理,着重介绍了基于分解图的相关定理在特殊函数检测中的应用,并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义. 展开更多

关键词 特殊函数 分解图 冗余函数 线性函数 对称函数 双反函数 自双反函数 布尔函数

在线阅读 下载PDF 职称材料

含任意项特殊逻辑函数的图形化检测 被引量：2

9

作者 王勇超 俞天秀 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第5期539-541,共3页

从K图出发,提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法.实例表明,该图形方法具有简单、直接、方便、可编程的特点.

关键词 冗余函数 线性函数 对称函数 自反函数 任意项 检测

在线阅读 下载PDF 职称材料

特殊逻辑函数布尔差分及布尔e-导数的性质研究 被引量：1

10

作者 方伟杰 厉晓华 杭国强 《浙江大学学报（理学版）》 CAS CSCD 2013年第5期535-538,共4页

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出... 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 展开更多

关键词 布尔差分 布尔e-导数 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

不使用Hash和Redundancy函数的有序多重数字签名方案 被引量：1

11

作者 刘振 余昭平 董涛 《计算机工程与应用》 CSCD 北大核心 2007年第23期116-118,123,共4页

现有的有序多重数字签名方案都使用了Hash函数和消息冗余函数,这必将承受由Hash函数和消息冗余函数带来的安全威胁。首先指出了施方案(文献[1])中存在的安全性问题,随后利用椭圆曲线密码算法设计了一个新的有序多重数字签名方案,该方案... 现有的有序多重数字签名方案都使用了Hash函数和消息冗余函数,这必将承受由Hash函数和消息冗余函数带来的安全威胁。首先指出了施方案(文献[1])中存在的安全性问题,随后利用椭圆曲线密码算法设计了一个新的有序多重数字签名方案,该方案不使用Hash函数和消息冗余函数,减少了这方面所带来的安全威胁;取消了施方案里的签名中心,避免了该签名中心的参与导致计算瓶颈的产生;所有消息均公开,签名者可以共同通过验证来发现伪签名和成员内部的欺诈行为。该文方案能够克服施方案的安全问题,并且计算量小,结构简单,具有一定的实用价值。 展开更多

关键词 有序 多重数字签名 HASH函数 冗余函数

在线阅读 下载PDF 职称材料

基于分解图检测含任意项特殊逻辑函数的方法 被引量：4

12

作者 厉晓华 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第5期545-548,共4页

特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.

关键词 特殊函数 分解图 任意项 冗余函数 线性函数 对称函数 双反函数 自双反函数

在线阅读 下载PDF 职称材料

计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用 被引量：2

13

作者 王芳 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2016年第3期303-306,共4页

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.

关键词 c-导数 c-偏导数 冗余函数 线性函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于谱系数图检测特殊逻辑函数的图形方法

14

作者 周振峰 万尤宝 肖林荣 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第6期630-633,共4页

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、... 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点. 展开更多

关键词 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数 谱技术 谱系数图

在线阅读 下载PDF 职称材料

检测含任意项特殊逻辑函数的图形方法

15

作者 厉晓华 方伟杰 《浙江大学学报（理学版）》 CAS CSCD 2014年第1期52-54,共3页

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明... 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点. 展开更多

关键词 K图 分解图 任意项 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

基于d_j图检测特殊布尔函数的图形方法

16

作者 练益群 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2007年第4期414-417,共4页

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外，还讨论了求... 阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外，还讨论了求∫（x1～xn）的dj图的改进的图形方法． 展开更多

关键词 DJ图 特殊函数 布尔函数 线性函数 冗余函数 自反函数 自双反函数

在线阅读 下载PDF 职称材料

计算机辅助特殊逻辑函数检测

17

作者 厉晓华 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第3期288-290,共3页

在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.

关键词 特殊逻辑函数 线性函数 冗余函数 自反函数 自双反函数 计算机辅助设计

在线阅读 下载PDF 职称材料

有效的有序多重数字签名方案 被引量：4

18

作者 刘振 申凯 +1 位作者 余昭平 董涛 《计算机工程与设计》 CSCD 北大核心 2008年第1期25-26,30,共3页

指出了文献[1]方案中存在的安全性问题,随后利用椭圆曲线密码算法设计了一个新的有序多重数字签名方案,且不使用哈希函数和消息冗余函数,减少了这方面所带来的安全威胁;取消了施方案里的签名中心,避免了该签名中心的参与导致计算瓶颈的... 指出了文献[1]方案中存在的安全性问题,随后利用椭圆曲线密码算法设计了一个新的有序多重数字签名方案,且不使用哈希函数和消息冗余函数,减少了这方面所带来的安全威胁;取消了施方案里的签名中心,避免了该签名中心的参与导致计算瓶颈的产生;所有消息均公开,签名者可以共同通过验证来发现伪签名和成员内部的欺诈行为。此方案能够克服施方案的安全问题,并且计算量小,结构简单,具有一定的实用价值。 展开更多

关键词 哈希函数 消息冗余函数 有序的 数字签名 椭圆曲线

在线阅读 下载PDF 职称材料

具有消息恢复功能的盲签名方案

19

作者 刘媛 张秉儒 《华北水利水电学院学报》 2011年第6期125-127,共3页

通过对签名者不可抵赖性缺陷的分析和研究,将公钥密码体制和对称密码体制相结合,提出了一个基于冗余函数、收发双发都不能否认的具有消息恢复功能的盲签名方案,并对该方案的正确性、可靠性和安全性进行了分析.该方案保证了通信的公平公... 通过对签名者不可抵赖性缺陷的分析和研究,将公钥密码体制和对称密码体制相结合,提出了一个基于冗余函数、收发双发都不能否认的具有消息恢复功能的盲签名方案,并对该方案的正确性、可靠性和安全性进行了分析.该方案保证了通信的公平公正性,保密性好,特别适合于商业领域的信息交互. 展开更多

关键词 消息恢复 冗余函数 盲签名 不可否认性

在线阅读 下载PDF 职称材料

多维累加型交叉并联单奇偶校验码的性能分析

20

作者 郭凯 陈彦辉 李建东 《电子科技大学学报》 EI CAS CSCD 北大核心 2010年第4期509-512,共4页

多维累加型交叉并联单奇偶校验(M-ACPC-SPC)码是一种新的纠错编码,该码具有较低的编、译码复杂度及较好的误比特率性能。推导了M-ACPC-SPC码的平均输入冗余重量枚举函数,由此提出了该码的误比特率性能上界及该码在高信噪比条件下误比特... 多维累加型交叉并联单奇偶校验(M-ACPC-SPC)码是一种新的纠错编码,该码具有较低的编、译码复杂度及较好的误比特率性能。推导了M-ACPC-SPC码的平均输入冗余重量枚举函数,由此提出了该码的误比特率性能上界及该码在高信噪比条件下误比特率的近似表达式,其近似结果与仿真值匹配良好。分析表明,随着交织长度及交织器数目的增加,M-ACPC-SPC码的错误平层逐渐降低,为M-ACPC-SPC码的设计提供了有效的参考依据。 展开更多

关键词 误比特率 交叉结构 输入冗余重量枚举函数 迭代译码 TURBO码

在线阅读 下载PDF 职称材料