刘家芬

作品数：11被引量：48H指数：4
导出分析报告
供职机构：西南财经大学更多>>
发文主题：安全协议串空间形式化分析重放攻击WPKI更多>>
发文领域：自动化与计算机技术电子电信经济管理社会学更多>>
发文期刊：《计算机工程与应用》《计算机应用研究》《系统管理学报》《软件学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
商盟对网上购物影响的实证分析被引量：2
《系统管理学报》2015年第5期654-663,共10页胡芳 徐赟 钟梅 刘家芬 
国家自然科学基金重大项目(91218301);国家社会科学基金青年项目(13CGL143);四川省社科规划项目(SC14C042)
以往电子商务方面的大量研究强调对单个商家的信任度如何影响网上购物,在此基础上,探索了电子商务商盟的集体信任度对商盟成员个体信任度的补充作用。研究了集体信任度以及个体信任度对消费者网上购买意愿和价格溢价的作用,并分析了消...
关键词：商盟 集体信任度 个体信任度 购买意愿 价格溢价 
基于串空间理论的安全协议自动验证被引量：1
《计算机应用》2015年第7期1870-1876,共7页刘家芬 
国家自然科学基金重大项目(91218301);国家自然科学基金青年项目(60903201);中央高校基本科研业务费研究项目(JBK20505;JBK140129)
针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检...
关键词：串空间 认证测试 安全协议 自动化验证 认证属性 BAN-Yahalom协议 安全传输层握手协议 
基于密度的空间数据聚类的正常用户筛选方法被引量：2
《计算机应用》2015年第A01期43-46,共4页徐小凤 刘家芬 郑宇卫 
国家自然科学基金重大研究计划项目(91218301);国家自然科学基金青年项目(60903201);中央高校基本科研业务专项(JBK140129)
第三方支付需要通过有效的欺诈识别方法去进行风险控制,但通过复杂的案件识别模型对每次交易都执行案件判别会降低正常用户的体验。因此第三方支付希望对于正常用户,能够不通过复杂的案件识别系统而通过一个简单的模型系统直接放行以减...
关键词：第三方支付 风险控制 基于密度的空间数据聚类 特征加权 
基于键盘行为数据的用户身份识别被引量：3
《计算机应用》2015年第A01期110-112,129,共4页蒋李灵 刘家芬 
国家自然科学基金重大研究计划项目(91218301);国家自然科学基金青年项目(60903201);中央高校基本科研业务专项项目(JBK140129)
用户击键行为作为一种生物特征,具有采集成本低、安全性高的特点。然而,现有的研究方法和实验环境都是基于实验室数据,并不适用于极度不平衡的真实数据。比如,在实验室数据上效果出色的分类算法在真实数据上却无法应用。针对此问题,提...
关键词：键盘行为 用户识别 欧氏距离 K-MEANS聚类 生物认证 
电子支付交易中钓鱼问题的研究被引量：1
《中国商贸》2012年第03X期109-110,共2页刘家芬 王铁军 
本文对电子支付交易中钓鱼问题进行研究,根据电子支付交易中交易请求的过程将常见钓鱼攻击分成五个类别,并对目前学术界和工业界的反钓鱼方法进行了分析。最后针对支付交易提供方给出了防范钓鱼攻击的措施。
关键词：电子支付 钓鱼问题 对策 
现代支付系统信息安全的反欺诈监测模型研究被引量：4
《计算机科学》2010年第12期76-80,共5页吴敬花 周启海 刘家芬 
国家自然科学基金项目(60903201);四川农业大学双支计划项目(00570914);四川农业大学教学质量工程项目(00509018)资助
计算机技术、通讯技术的迅猛发展与金融支付方式的信息化创新,使中国现代支付系统既越来越高效便捷,也面临日益加剧且监测颇难的金融信息安全威胁。这种威胁会影响我国现代支付系统信息化进程,还将影响国家金融命脉的信息安全与稳健发...
关键词：现代支付系统 信息安全 链路挖掘 反欺诈监测模型 
突破认证测试方法的局限性被引量：7
《软件学报》2009年第10期2799-2809,共11页刘家芬 周明天 
国家高技术研究发展计划(863)No.863-104-03-01;国家科技支撑计划No.2006DAH02A04~~
认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改...
关键词：安全协议 形式化方法 串空间 认证测试 
对安全协议重放攻击的分类研究被引量：16
《计算机应用研究》2007年第3期135-139,共5页刘家芬 周明天 
国家"863"计划资助项目(863-104-03-01)
在详细研究攻击实例的基础上,从攻击成功的根本原因出发,提出了一种新的重放攻击分类方法。该分类方法能够更清楚地认识到重放攻击的原理和本质,并针对不同的重放种类给出了避免攻击的原则性方法,对协议的设计和分析起到了借鉴作用。
关键词：安全协议 重放攻击 形式化分析 
认证测试方法对X.509认证协议的分析被引量：2
《计算机工程与应用》2006年第8期23-25,共3页刘家芬 周明天 
国家863高技术研究发展计划资助项目(编号:863-104-03-01)
采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持...
关键词：串空间 认证测试 协议形式化分析 X.509协议 
WPKI与PKI关键技术对比被引量：9
《计算机应用》2005年第11期2505-2508,共4页路纲 佘堃 周明天 刘家芬 
现代通信国家重点实验室基金项目(51436050203DZ0210)
与有线网络相比,无线网络存在较多的环境制约,包括带宽窄、延迟大、稳定性差等;同时,手持设备存在诸如CPU功能弱、存储量小、功耗受限、显示窗口小等等问题。为了使公钥基础设施(PKI)应用扩展于无线环境,WAP论坛定义了无线公钥基础设施(...
关键词：无线公钥基础设施 公钥基础设施 比较 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部