【摘 要】
：
本文给出了一种新的逻辑系统,并给出了若干实用的定理,这些定理可更方便地用来分析密码协议的安全性.此外,本文还给出了若干协议的安全性分析实例,在得到协议安全性分析结果的同时,也说明了本系统不仅可以用来分析常见的密钥建立协议的安全性,还可用来分析身份认证协议和非否认协议等其他密码协议的安全性.
【机 构】
：
郑州信息工程大学信息工程学院(郑州)
论文部分内容阅读
本文给出了一种新的逻辑系统,并给出了若干实用的定理,这些定理可更方便地用来分析密码协议的安全性.此外,本文还给出了若干协议的安全性分析实例,在得到协议安全性分析结果的同时,也说明了本系统不仅可以用来分析常见的密钥建立协议的安全性,还可用来分析身份认证协议和非否认协议等其他密码协议的安全性.
其他文献
为了解决地面移动体与地面通信、定位、测速的问题,本文提出了一种新型无线感应技术.理论分析及实验结果表明,新型无线感应系统具有传统无线感应系统同样的信号传输特性.
本文提出一种适合于软件无线电的DQPSK突发信号的高效联合码元定时恢复、频偏估计和纠正方法.该联合同步方法具有简单、计算量小和易于用DSP实现的特点,因此适合在软件无线电接收机中使用.该联合同步方法还具有前馈结构和不需要前导同步序列的特点,因此特别适合在突发模式传输中使用.通过计算机仿真对本文提出的联合同步方法在AWGN信道中对接收机BER性能的影响进行了评估.
本文研究了级连空时分组码和Turbo乘积码在不相关Rayleigh衰落信道中的实现方法和性能.相对于空时网格码,空时分组码编译码简单,而且译码输出的软信息可以直接用于Turbo乘积码的软输入软输出译码.通过数值仿真的结果可以看出,相对于不编码无分集的QPSK和16QAM系统,这种级连编码方式可以得到30dB的编码分集增益.
WAP将基于WEB的信息服务拓展到无线通信领域,为电子商务的发展提供了广阔的应用前景,移动通信中的安全问题由此显得尤其突出.本文讨论了WAP的安全通信机制,并对将高级加密标准、椭圆曲线密码算法应用于WAP中的实现方法进行了探讨.
网络环境中,安全应急系统在攻击发生时采取应急措施,保护主机服务持续运行,吸收攻击行为,回溯攻击源并对攻击源施以反击.首先介绍了网络环境下的安全应急系统,应急系统的行为描述和结构设计提供了理论依据和论证.
给出了一类广义Bent函数的递归构造方法,并讨论了它们的性质.这类广义Bent函数具有高非线性性,平衡性,且具有一致相关值,并且与k满足(3≤k≤n-1)时可构造出任意k次的广义Bent函数,亦即在GF(2)上存在满足上述性质的n-1次广义Bent函数.
证明了(1)n为偶数时,GF(2)上的任一几乎完全非线性置换的分量函数都具有至少为3的代数次数;(2)GF(2)上不存在几乎完全非线性置换.
本文在介绍了遗传算法优化的特点和具有良好非周期自相关特性的二元序列的概念后,讨论了用遗传算法优化二元序列的方法,通过实验发现,在采用遗传算法优化二元序列时,引入最优个体保存策略和调整运行参数可以取得较好的效果,即此方法是可行的.但同时也发现该方法难以收敛到全局最优解.
本文介绍了MC-CDMA体制,并与DS-CDMA、OFDM体制进行了比较,指出了这种调制技术用于无线通信的优点.介绍了3种OFDM与DS-CDMA相结合的方式,并对其性能进行了比较.文章最后指出我们研究MC-CDMA的意义.
本文首先提出了一个具有指定接收者验证的签名加密方案.该方案是数字签名与公钥密码体制的有机集成.与普通数字签名方案相比,除了具有认证性、数据完整性外还具有保密性和接收方的隐私性.然后又利用门限方案首次构造了一个(t,n)门限签名加密方案.该(t,n)门限签名方案具有数据传输安全、鲁棒性、通信代价更小、执行效率更高等特点.