论文部分内容阅读
介绍了PCL协议组合逻辑系统的语法、语义和证明系统，并与其他分析方法进行了比较．详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤．该逻辑系统具有Paulson归纳法的相同安全证明等级，又具有BAN逻辑的易读性．
协议组合逻辑系统研究
【摘 要】
：
介绍了PCL协议组合逻辑系统的语法、语义和证明系统，并与其他分析方法进行了比较．详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤．该逻辑系统具有Paulson
【机 构】
：
信息工程大学信息工程学院
【出 处】
：
郑州大学学报(理学版)
【发表日期】
：
2008年4期
其他文献
按照Louisell量子化方案，利用高斯型传播子研究了含源介观RLC电路量子态的时间演化，得到了描述体系量子态的严格波函数，进而求出了量子跃迁几率的公式，为定量分析介观电路的量子
引人粗糙集和支持向量机理论对企业的财务状况进行分析和预测，建立了财务预测模型，为决策者在科技项目立项前后的监督和管理提供支持．
采用位势井方法研究一类具弱阻尼的奇性扰动Boussinesq型方程的初边值问题utt-uxx-αux4-βux6+but=σ(u)xx,x∈Ω,t>0,u(0,t)=u(1,t)=uxx(0,t)=uxx(1,t)=ux4(0,t)=ux4(1,t)=
针对NN-SVM算法的不足,提出了一种新的支持向量分类算法——ACNN-SVM.先对训练样本集进行最近邻修剪,用SVM训练得到一个SVM模型,然后,计算最近邻修剪后的训练样本集中样本到
针对当前P2P网络中广泛采用的集中式P2P网络结构，提出一种基于分层结构的分区策略以提高P2P网络的整体性能．实验证明，这种策略优化了P2P网络中的资源索引结构，网络的整体性能得到
研究'坏'的Boussinesq型方程的初边值问题utt-uxx-uxxtt-aux4+ux4tt=(u)xxu(0,t)=u(1,t)=uxx(0,t)=uxx(1,t)=0u(x,0)=φ(x),ut(x,0)=ψ(x)解的存在性,并给出解爆破
介绍了一个基于专业搜索引擎的元搜索引擎，提出将专业搜索引擎与专门搜索“Invisible Web”检索工具相结合的方法．在对检索结果进行融合处理时，采用建立专业词典的方法来提取主
把轮W4的5个顶点与另外n个顶点都联边得到了一类特殊的图Hn．证明了Hn的交叉数为Z（5，n）＋n＋[n/2]，并在此基础上证明了轮W1与星K1,n的笛卡尔积的交叉数为Z（5，n）＋2n＋[n/2].
通过周期边值问题序列的方法，证明了如下非线性波动方程{uu-uxx-uxxu=f（u）xx，x∈R，t〉0，u（x，0）=u0（x），ut（x，0）=u1（x），x∈R的Cauchy问题整体广义解和整体古典解的存在性和惟一性，并利用凸性引理给
在线汉字书写实时评测可分为笔画规范性评测、笔顺规范性评测和结构规范性评测三个阶段.前两个阶段用来确定汉字书写的可识别性,而结构规范性评测可以看成是书法评测,即书写