对安全协议重放攻击的分类研究

在详细研究攻击实例的基础上,从攻击成功的根本原因出发,提出了一种新的重放攻击分类方法。该分类方法能够更清楚地认识到重放攻击的原理和本质,并针对不同的重放种类给出了避免攻击的原则性方法,对协议的设计和分析起到了借鉴作用。

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

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

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

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

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

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

教师教学风格对思政课教学效果的影响调查及分析

对高职学生喜欢什么样的思政课教师进行调查的结果表明,高职学生喜欢的是具有亲切的幽默的、灵活的、信仰坚定的、热爱学生的风格的教师,思政课教师应该努力塑造适合学生需要的个人风格。

电子支付交易中钓鱼问题的研究

本文对电子支付交易中钓鱼问题进行研究,根据电子支付交易中交易请求的过程将常见钓鱼攻击分成五个类别,并对目前学术界和工业界的反钓鱼方法进行了分析。最后针对支付交易提供方给出了防范钓鱼攻击的措施。

问渠那得清如许 为有源头活水来——谈政治理论课的生命力

面对政治理论课难教、学生厌学的现状,唯一的途径就是让思政课充满活力,即内容要活,方法要活,评价方式也要活,才能使政治理论课充满鲜活的生命力。

WPKI与PKI关键技术对比

与有线网络相比,无线网络存在较多的环境制约,包括带宽窄、延迟大、稳定性差等;同时,手持设备存在诸如CPU功能弱、存储量小、功耗受限、显示窗口小等等问题。为了使公钥基础设施(PKI)应用扩展于无线环境,WAP论坛定义了无线公钥基础设施(WPKI)规范。WPKI的宗旨在于尽可能使用现有PKI协议,仅在需要时才定义新规范,对WAP PKI和PKI在应用环境、协议架构、数据及业务流程、加密算法、证书格式及协议标准方面进行了比较。

现代支付系统信息安全的反欺诈监测模型研究

计算机技术、通讯技术的迅猛发展与金融支付方式的信息化创新,使中国现代支付系统既越来越高效便捷,也面临日益加剧且监测颇难的金融信息安全威胁。这种威胁会影响我国现代支付系统信息化进程,还将影响国家金融命脉的信息安全与稳健发展。为此,提出了一种现代支付系统信息安全的反欺诈监测模型,该模型基于计算机链路挖掘新技术对现代支付系统海量信息进行动态反欺诈监测。对现代支付系统主要支付工具之一的信用卡进行反欺诈监测模拟的结果表明,该模型对提高信用卡欺诈判别的动态性、准确性和有效性,降低现代支付系统金融风险具有积极的意义。

基于Agent的入侵检测系统体系结构设计

提出并深入研究了一种基于智能体技术的入侵检测系统的体系结构。该体系结构是一种混合形结构,利用基于主机和基于网络的数据源,同时使用异常检测技术和误用检测技术。该体系结构中还引入数据挖掘的思想,利用数据挖掘技术从安全审计数据中提取关键的系统特征属性,根据这些属性生成安全审计数据的分类模型用于入侵检测,使IDS自动适应复杂多变的网络环境。

商盟对网上购物影响的实证分析

以往电子商务方面的大量研究强调对单个商家的信任度如何影响网上购物,在此基础上,探索了电子商务商盟的集体信任度对商盟成员个体信任度的补充作用。研究了集体信任度以及个体信任度对消费者网上购买意愿和价格溢价的作用,并分析了消费者个人特质对信任度作用的调节效果。通过对485名消费者的问卷调查,发现商盟成员的个体信任度显著地影响到消费者网上的购买意向,但不影响价格溢价。而商盟集体信任度显著地影响着消费者网上的购买意向和价格溢价。另外,个人的信任倾向程度调节了个体和集体信任度的部分影响效果。最后,发现商盟保障体系显著地影响着商盟集体信任度。

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

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

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

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

三峡地区高职教育的现状分析

三峡地区高职教育起步晚,但发展较快,已形成政府主导、多元投资的发展模式,专业设置比较齐全",三峡"特色开始显现。但在发展过程中,与三峡地区经济发展联系不够紧密,民营资本和企业投资所占比例较小,特色、品牌专业不多,人才培养规模与西部大开发战略和中部崛起战略对人才的需求相比还有差距,师资队伍建设存在总量不足、流失严重、待遇不高等问题。

以信息化带动工业化对高职教育的影响及对策

职业技术教育主要是为职业界培养所需的各种专业技术人才,造就大批合格的劳动力。然而随着中国社会主义现代化建设的不断深入,以信息化带动工业化对人才的需求对人才培养提出了新的要求,与经济发展关系最为密切的高等职业技术教育,理所当然地要适应经济发展。本文分析、研究了以信息化带动工业化的经济结构调整背景下的高职教育走向与改革思路。

运动与饮食综合干预对肥胖儿童脂质代谢、胰岛素敏感性及微炎症状态的影响

目的:研究运动与饮食综合干预对肥胖儿童脂质代谢、胰岛素敏感性及微炎症状态的影响。方法:选择2014年5月~2016年12月期间在自贡市第三人民医院诊断为肥胖的156儿童作为研究对象,随机分为接受运动与饮食综合干预的干预组及不进行特别干预的对照组。入组前及入组后5、10周时,检测血清中脂肪细胞因子及炎症反应指标的含量,评估胰岛素敏感性。结果:干预组患者入组后5、10周时血清中Leptin、Chemerin、肿瘤坏死因子(TNF)-α、白介素(IL)-6、超敏C反应蛋白(hs-CRP)、MCP-1、血管细胞黏附分子(VCAM)-1、细胞间黏附分子(ICAM)-1的含量以及空腹血糖(FBG)、F-Ins的水平均显著低于入组前,Adiponectin、Vaspin的含量均显著高于入组前;对照组患者入组后5、10周时血清中Leptin、Chemerin、Adiponectin、Vaspin、TNF-α、IL-6、hs-CRP、MCP-1、VCAM-1、ICAM-1的含量以及FBG、F-Ins的水平与入组前比较无差异。结论:运动与饮食综合干预能够改善肥胖儿童的脂质代谢、胰岛素敏感性及微炎症状态。

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

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

穴位注射药物治疗猪后躯瘫痪报告

猪后躯瘫痪是指两后肢运动障碍不能站立负重,知觉消失的一种疾病。这种病经笔者诊治的已有5例,现将其中有代表性的一例介绍如下: 1992年9月7日,钦州市沙埠乡丁屋村丁某来站求诊。

Research and improvement on the limitation of authentication test

This paper elaborated on the limitation of authentication test theorem,illustrated the fundamentalcause of that limitation through examples,then enhanced authentication test to solve this problem,andalso proved the soundness of that improvement with formal method.The enhanced theory can deal withprotocols with test component as proper subtenn of other regular node' s component under certain condi-tions,and extend the application scope of authentication test.With enhanced authentication test,the au-tomatic protocol verification tools will be more efficient and convenient.

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

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