检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

突破认证测试方法的局限性

软件学报 2009年第10期20卷 2799-2809页

作者：刘家芬周明天电子科技大学计算机科学与工程学院四川成都610054

认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改... 详细信息

认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改进方案,并进行了形式化证明.新的认证测试定理突破了认证测试元素在整个协议消息中不能被加密的限制,扩展了认证测试理论的应用范围.

关键词：安全协议形式化方法串空间认证测试

在线全文

学校读者我要写书评

暂无评论

基于串空间理论的安全协议自动验证

计算机应用 2015年第7期35卷 1870-1876页

作者：刘家芬西南财经大学经济信息工程学院成都610054 西南财经大学四川省金融智能与金融工程重点实验室成都610054

针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检... 详细信息

针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检验测试元素参数一致性、确认变换进行边唯一存在性和检验目标串参数一致性,将基于串空间理论的协议验证过程标准化为可程序实现的步骤。该算法的时间复杂度为O(n2),避免了模型检测方法的状态空间爆炸问题,并在此基础上实现了安全协议认证属性的自动化验证工具。以BAN-Yahalom协议和TLS 1.0握手协议为例进行了标准化的分析验证,找到了对BAN-Yahalom协议的一种新攻击形式。该攻击无需限制服务器对随机数的检查,比Syverson发现的攻击更具普遍性。

关键词：串空间认证测试安全协议自动化验证认证属性 BAN-Yahalom协议安全传输层握手协议

在线全文

学校读者我要写书评

暂无评论

基于键盘行为数据的用户身份识别

计算机应用 2015年第A1期35卷 110-112,129页

作者：蒋李灵刘家芬西南财经大学经济信息工程学院成都611130

用户击键行为作为一种生物特征,具有采集成本低、安全性高的特点。然而,现有的研究方法和实验环境都是基于实验室数据,并不适用于极度不平衡的真实数据。比如,在实验室数据上效果出色的分类算法在真实数据上却无法应用。针对此问题,提... 详细信息

用户击键行为作为一种生物特征,具有采集成本低、安全性高的特点。然而,现有的研究方法和实验环境都是基于实验室数据,并不适用于极度不平衡的真实数据。比如,在实验室数据上效果出色的分类算法在真实数据上却无法应用。针对此问题,提出了基于真实击键行为数据的用户识别算法。该方法将聚类算法和距离算法结合起来,通过比较新来的击键行为和历史击键行为相似度以实现用户识别。实验结果表明,该算法在100名用户的3 015条真实击键记录组成的数据集上准确率达到88.22%,在投入实际应用后,随着样本集的增大算法的准确率还可以进一步提升。

关键词：键盘行为用户识别欧氏距离 k-means聚类生物认证

在线全文

学校读者我要写书评

暂无评论

论高等职业技术教育的特色

论高等职业技术教育的特色

作者：刘家芬华中师范大学

学位级别：硕士

随着科学技术在生产中的广泛使用和第三产业的迅速发展，社会职业岗位发生了分化，这种分化一方面是岗位技术幅度的增大，另一方面是技术层次高度的提升，因此技术教育层次也出现了由中等向高等层次高移的趋势，产生了培养高等技术人才... 详细信息

随着科学技术在生产中的广泛使用和第三产业的迅速发展，社会职业岗位发生了分化，这种分化一方面是岗位技术幅度的增大，另一方面是技术层次高度的提升，因此技术教育层次也出现了由中等向高等层次高移的趋势，产生了培养高等技术人才的高等职业教育。高等职业技术教育从98年开始在中国迅速发展起来，到2003年，无论是从招生人数、毕业生人数，还是学校数都已经占了高等教育的半壁江山，成为国家高等教育体系中不可缺少的重要组成部分，已经并将进一步在培养数以千万计的专门人才、贯彻科教兴国和人才强国战略中肩负重要历史使命。然而，高职教育的发展与国家对高技能型人才的实际需求仍有相当差距，高职院校毕业生在人才市场上存在严重的供需脱节：一方面大批高职毕业生难觅合适的工作岗位，就业困难;另一方面，企业高薪难觅面向生产第一线的高技能人才。这些问题的产生正是由于高等职业教育中没有牢牢把握高等职业教育的特色，没有准确定位、没有坚持走产学研相结合的道路造成的。因此，研究高等职业教育的特色并探索形成特色的原则、方法和途径，成为从事高等职业教育人们的共同任务和责任。高等职业教育的特色集中体现在学院特色中，主要构成要素是办学、教育、教学、管理和教师队伍建设;高等职业教育的特色通过与普通高等教育、中等职业教育的比较，显现出培养目标的应用型、人才规格的复合型多证型、专业设置的职业型、教学环节的实践型、师资队伍的双师型等显著特点。如何形成这一特点，关键是要抓住影响高职特色形成的基本要素，遵循高职特色形成的原则，选择合适的建设路径，坚持不懈的追求特色、发挥优势形成特色、不断创新创造特色、持之以恒提升特色。

关键词：高等职业技术教育特色探索

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

NMS中网络拓扑发现问题的研究与实现

NMS中网络拓扑发现问题的研究与实现

作者：刘家芬电子科技大学

学位级别：硕士

本论文以上海市政府公众网项目“安全网络管理技术的研究与实现”课题为研究基础,对网络管理技术和网络拓扑发现技术进行了深入研究,在此基础上提出了本课题研究的网络拓扑发现系统结构,并对整个系统中各模块的功能结构进行了定义。然... 详细信息

本论文以上海市政府公众网项目“安全网络管理技术的研究与实现”课题为研究基础,对网络管理技术和网络拓扑发现技术进行了深入研究,在此基础上提出了本课题研究的网络拓扑发现系统结构,并对整个系统中各模块的功能结构进行了定义。然后重点论述系统的核心模块——网络拓扑信息采集模块,也就是网络拓扑发现算法的设计与实现。首先对代表当前网络拓扑发现水平的三种网络拓扑发现算法进行了分析和研究,找出了其中值得借鉴的先进之处,同时分析了其中的不足。并在此基础上提出了一种面向过程的、分级的网络拓扑发现算法。该算法不是不是将现有网络拓扑发现技术简单地串接利用,而是以网络管理体系结构为依托,将各种可以利用的协议和发现技术有机地整合起来,完成高健壮性、高完备性、高效率、高准确度的网络拓扑信息发现。它不同于传统的面向协议的发现算法,是一种面向过程的算法,根据不同阶段发现的目标不同,对发现过程分步骤,每一个阶段确定需要完成的任务,而具体采用的协议和技术则根据不同阶段的任务进行选用。对各个发现阶段需要解决的问题进行了详细阐述,并给出了具体的解决办法。在此基础上绘制出流程图,并对算法中需要用到的关键数据结构进行了定义。第六章介绍了算法的具体实现过程,给出了实现过程中用到的主要的类和方法,并对几个关键方法的设计进行了说明。论文还对网络管理及网络拓扑发现的发展方向进行了展望,并指出了后续研究工作需要进一步解决的问题。

关键词：网络管理拓扑发现 SNMP

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

多面体表面上两点间的最短距离

中等数学 1989年第3期 23-24页

作者：刘家芬上海虹口区教育学院实验中学

解这类问题,需将立体图形按所需剪开摊平,从它的侧面展开图上寻找所求的最短距离,那就准确无误了。例已知圆台上下底半径分别为3和6,高为3(31/2)。

关键词：最短距离展开图立体图形摊平下底面思维能力

在线全文

学校读者我要写书评

暂无评论

基于密度的空间数据聚类的正常用户筛选方法

计算机应用 2015年第A1期35卷 43-46页

作者：徐小凤刘家芬郑宇卫西南财经大学经济信息工程学院成都611130 同济大学电子与信息工程学院上海201804

第三方支付需要通过有效的欺诈识别方法去进行风险控制,但通过复杂的案件识别模型对每次交易都执行案件判别会降低正常用户的体验。因此第三方支付希望对于正常用户,能够不通过复杂的案件识别系统而通过一个简单的模型系统直接放行以减... 详细信息

第三方支付需要通过有效的欺诈识别方法去进行风险控制,但通过复杂的案件识别模型对每次交易都执行案件判别会降低正常用户的体验。因此第三方支付希望对于正常用户,能够不通过复杂的案件识别系统而通过一个简单的模型系统直接放行以减少对正常用户的打扰。在样本极不均衡的情况下,针对第三方支付的正常用户识别问题,提出了一种基于DBSCAN算法的过滤方法。该方法首先利用信息值(IV)筛选特征,利用信息增益率对特征进行加权,再利用DBSCAN算法来识别案件的分布特征并排除异常案件,计算所有样本与案件聚类质心的距离来筛选出正常用户。实验表明,在保证漏过案件不超过总案件数5%且筛选出的样本中案件占比不大于0.03%的指标前提下,能直接筛选出比指标下限30%更多的正常用户,可达到42.518%,即接近42%的用户可以不用进行案件识别而直接继续其下一步操作,有效提升了总体交易效率。

关键词：第三方支付风险控制基于密度的空间数据聚类特征加权

在线全文

学校读者我要写书评

暂无评论

无线传感器网络中一次性数字签名算法设计

计算机工程 2014年第12期40卷 97-103页

作者：康立刘家芬西南财经大学中国支付体系研究中心成都610074 四川省金融智能与金融工程重点实验室成都610074

一次性数字签名算法是构造密码协议的基础算法,可用于认证无线传感器网络(WSN)中传输数据的真实性和完整性。针对WSN的应用需求,给出一种高效的一次性数字签名算法。与现有一次性签名算法相比,该算法生成签名简单快捷,只需执行一次模指... 详细信息

一次性数字签名算法是构造密码协议的基础算法,可用于认证无线传感器网络(WSN)中传输数据的真实性和完整性。针对WSN的应用需求,给出一种高效的一次性数字签名算法。与现有一次性签名算法相比,该算法生成签名简单快捷,只需执行一次模指数乘法运算;签名长度短,只需传输一个群元素;适用范围广,能根据待签名消息的长度自动适配对应的公钥参数,该特性非常适合WSN中数据传输量较小的应用;同时该算法还能在标准模型下得到形式化的安全证明,其抗伪造攻击安全性可归约为双线性映射群中计算的Diffie-Hellman数学难题。

关键词：数字签名一次性数字签名计算Diffie—Hellman假设无线传感器网络公钥密码学

在线全文

学校读者我要写书评

暂无评论

认证测试方法对X.509认证协议的分析

计算机工程与应用 2006年第8期42卷 23-25页

作者：刘家芬周明天电子科技大学计算机科学与工程学院成都610054

采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持... 详细信息

采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持数据保密性完整性的同时,也能实现认证的正确性。

关键词：串空间认证测试协议形式化分析 X.509协议