文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"机构=燕山大学信息工程学院计算机系"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

SSL协议的扩展Rubin逻辑形式化分析: 收藏
分享
引用; 《计算机工程与设计》2007年第16期28卷 3852-3855,3859页; 作者：李秋山胡游君燕山大学信息工程学院计算机系河北秦皇岛066004; SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1]。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的...; SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1]。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法。; 来源：详细信息评论

闭合序列模式挖掘算法: 收藏
分享
引用; 《计算机工程与设计》2006年第3期27卷 514-518页; 作者：沙金邓成玉张翠肖刘伟峰石家庄铁道学院计算机系河北石家庄050043 燕山大学信息工程学院河北秦皇岛066004; 提出了一种新的挖掘闭合序列模式的PosD算法,该算法利用位置数据保存数据项的顺序信息,并基于位置数据列表保存数据项的顺序关系提出了两种修剪方法:逆向超模式和相同位置数据。为了确保栅格存储的正确性和简洁性,另外还针对一些特殊情...; 提出了一种新的挖掘闭合序列模式的PosD算法,该算法利用位置数据保存数据项的顺序信息,并基于位置数据列表保存数据项的顺序关系提出了两种修剪方法:逆向超模式和相同位置数据。为了确保栅格存储的正确性和简洁性,另外还针对一些特殊情况做处理。试验结果表明,在中大型数据库和小支持度的情况下该算法比CloSpan算法更有效。; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部