论文部分内容阅读
本文分别以安全协议模型检测器SATMC和ProVerif为例，介绍了基于经典逻辑的安全协议模型检测两种方法：SAT方法和归结方法，并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。
基于经典逻辑的安全协议模型检测方法
【摘 要】
：
本文分别以安全协议模型检测器SATMC和ProVerif为例，介绍了基于经典逻辑的安全协议模型检测两种方法：SAT方法和归结方法，并简要地给出了我们设计实现的基于SAT方法的安全协议模
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2008年6期
其他文献
提出基本Petri网（EPN）的资源组合方法，用于对学习资源和组合流程进行建模和分析。首先对基于Petri网的组合方法进行综述，这些方法推动了资源组合的发展，但其所描述的资源及变迁规
介绍了一种步进电机驱动的位移检测系统的设计思想,阐述了它的工作原理、机械结构,提出了用于位移检测的差动电感式位移传感器具体的设计方案.经实验分析验证:该位移传感器在
针对压力传感器对温度存在交叉灵敏度这一具体问题,采用LM算法对其进行数据融合,消除温度对压力传感器的影响,大大提高传感器的稳定性及其准确度;针对传感器存在测量误差问题,提出了增加一个噪声来训练网络,增强了网络的容错性。对所提方法进行了仿真研究和简单分析,并与非线性插值(三次多项式插值)作了比较,粗浅地指出:神经网络在数据融合过程中的实现机理。
为了准确测量复合材料中的辐射冲击波,特别研制了一种大尺寸的石英保护环式压电冲击波测量传感器;利用冲击波在材料界面处的透射、反射原理,给出了正确的界面应力换算方法;应用该自行研制的冲击波测试系统,在“闪光二号”电子束加速器上成功地测量了一种碳纤维编织复合材料中的辐射冲击波,测量波形完整、信号信噪比高,测量结果表明该测量系统完全可以胜任强干扰环境中的辐射冲击波测量。
传统的基于总线的SoC体系结构及设计方法在解决多处理器的复杂系统中将遇到瓶颈，有效解决方案NOC（片上网络）成为新的发展趋势。本文研究了广泛使用的二维规则型网络（2D-mesh）对影
传统的工作流产品从建模到运行对业务流程中复杂的群组特性难以提供有效的支持。在通用工作流模型的基础上，对流程模型的表达能力和工作流运行机制进行了扩展，设计并实现了一个
模糊区域的空间信息表示和区域关系处理在空间数据库、地理信息系统和人工智能等领域具有重要的意义。引入Vague集的概念和理论对舍核Vague区域和Vague洞区域关系进行了系统
对于冷拔钢管生产车间的可重入生产的调度问题，采用计算机仿真软件系统eM-Plant来进行仿真优化求解。首先设定工件的成组规则，简化调度问题为投料策略与派工策略，然后采用遗传算
在无线数据广播环境下，从移动客户机到数据库服务器的上行带宽非常有限。传统的并发控制协议不适合这种不对称通讯环境。本文结合乐观并发控制协议和时标排序协议提出一种并发