QMU认证方法及其实现途径 被引量：11

1

作者 马智博 应阳君 朱建士 《核科学与工程》 CSCD 北大核心 2009年第1期1-9,共9页

某些复杂工业产品用确定性模型进行系统设计,QMU是近几年提出的源自确定性模型的系统认证新方法,它能够在综合利用试验信息和数值模拟信息的基础上,有效揭示失效模式并以简捷的信息结构对系统的综合效能做出合理的评价和认证。QMU正在... 某些复杂工业产品用确定性模型进行系统设计,QMU是近几年提出的源自确定性模型的系统认证新方法,它能够在综合利用试验信息和数值模拟信息的基础上,有效揭示失效模式并以简捷的信息结构对系统的综合效能做出合理的评价和认证。QMU正在快速发展并引起了美国重要技术部门的重视,但目前很少见到公开的应用实例。本文以可靠性物理和计算科学为背景论述QMU的基本思想和实现途径,并探讨QMU在不同工程问题中的使用方法以及对QMU起支撑作用的信息处理和V&V技术。 展开更多

关键词 QMU V&V 可靠性 认证方法

在线阅读 下载PDF 职称材料

一种改进的智能卡认证方法的实现 被引量：5

2

作者 付青琴 昂正全 徐平江 《计算机工程与科学》 CSCD 北大核心 2014年第1期94-98,共5页

分析了传统智能卡认证方法的缺点,提出了一种改进的基于用户自定义算法环境的防攻击智能卡认证方法。智能卡可以根据用户自定义的算法环境,按照不同的算法进行认证。本文支持的算法可以分为DES算法和16字节分组长度算法,用户可以通过命... 分析了传统智能卡认证方法的缺点,提出了一种改进的基于用户自定义算法环境的防攻击智能卡认证方法。智能卡可以根据用户自定义的算法环境,按照不同的算法进行认证。本文支持的算法可以分为DES算法和16字节分组长度算法,用户可以通过命令指定算法类型来完成智能卡的认证,从而达到一定的使用权限,完成需要操作的权限认证。同时,还提出一种防攻击的方法通过限制外部认证密钥可尝试的次数,保证智能卡系统在被外界恶意攻击的情况下的数据传输的安全性。 展开更多

关键词 智能卡 算法环境 认证方法 防攻击

在线阅读 下载PDF 职称材料

一种嵌入式Linux系统的身份认证方法 被引量：1

3

作者 张仁斌 朱飞 吴燎原 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第8期1158-1161,共4页

当前的许多身份认证产品,不更改代码则无法实现新的认证方法,很难满足不同应用系统的要求。文章提出了一种基于PAM身份认证方法,并通过该方法设计实现了一套认证系统,可以针对不同的服务提供不同的认证方法,提高该系统认证的灵活性;对... 当前的许多身份认证产品,不更改代码则无法实现新的认证方法,很难满足不同应用系统的要求。文章提出了一种基于PAM身份认证方法,并通过该方法设计实现了一套认证系统,可以针对不同的服务提供不同的认证方法,提高该系统认证的灵活性;对整个传输过程中的数据进行加密操作,有效提高系统的安全性能;在系统中加入了日志管理模块,为以后的维护操作提供了依据。 展开更多

关键词 身份认证 认证方法 加密 PAM

在线阅读 下载PDF 职称材料

Wireless-LAN安全及认证方法的研究与分析 被引量：1

4

作者 杨新宇 阳玉俭 徐庆飞 《计算机应用研究》 CSCD 北大核心 2008年第10期2889-2892,2916,共5页

首先介绍了无线局域网面临的安全问题,并对无线局域网的安全要求进行了分析;介绍了国内外Wire-less-LAN安全认证机制的研究现状,在此基础上详细分析了基于EAP的无线网络安全认证方法;最后对几种主要的认证方法进行了分析比较。

关键词 无线局域网 安全机制 认证方法 可扩展认证协议

在线阅读 下载PDF 职称材料

中文电子签名的认证方法研究 被引量：1

5

作者 王国钧 邵斌 周昌乐 《计算机应用研究》 CSCD 北大核心 2004年第4期109-111,共3页

中文电子签名的认证方法研究可归属于特定人脱机手写汉字识别研究的范畴。介绍了手写汉字识别(中文电子签名认证)的一般原理、常用方法和当前的研究热点,并对中文电子签名认证方法的研究方向作了一些探讨。

关键词 电子签名 认证方法 手写汉字识别 特征提取

在线阅读 下载PDF 职称材料

基于认证测试方法的EAP-AKA协议分析 被引量：9

6

作者 王鹏 李谢华 陆松年 《计算机工程与应用》 CSCD 北大核心 2007年第15期157-159,共3页

EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析... EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析证明,结果说明EAP-AKA能够保证移动终端和认证服务器之间的双向认证。 展开更多

关键词 EAP-AKA协议 认证测试方法 串空间模型 3G WLAN 形式化方法

在线阅读 下载PDF 职称材料

Needham-Schroeder协议的认证测试方法形式化分析 被引量：1

7

作者 李廷元 秦志光 +1 位作者 刘晓东 张选芳 《计算机工程与应用》 CSCD 北大核心 2010年第19期100-102,共3页

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。

关键词 安全协议 形式化分析 串空间模型 认证测试方法 Needham-Schroeder协议

在线阅读 下载PDF 职称材料

认证测试方法对TLS协议的分析及其应用 被引量：1

8

作者 陈力琼 陈克非 《计算机应用与软件》 CSCD 北大核心 2008年第11期6-7,30,共3页

TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进... TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性。 展开更多

关键词 TLS协议 串空间 认证测试方法 中间人攻击

在线阅读 下载PDF 职称材料

隐标识身份认证方法及其形式化语义分析

9

作者 贺前华 江瑾 黄翰陞 《计算机工程》 CAS CSCD 北大核心 2008年第12期147-148,151,共3页

针对用户身份标识在身份认证机制中的安全问题,提出一种隐藏身份标识的身分认证方案,用户毋需提交身份标识即可与服务器实现身份认证,并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明,该协议达到了预期的设计目标。

关键词 隐标识身份认证方法 SVO逻辑 形式化语义分析

在线阅读 下载PDF 职称材料

基于虹膜生物特征的WSNs访问认证方法研究

10

作者 陈英 葛杨铭 杨丰玉 《传感器与微系统》 CSCD 2016年第8期60-62,66,共4页

提出了一种基于虹膜生物特征的访问认证方法。该方法引入第三方服务器对用户身份进行认证,认证的过程除了对用户ID和消息时效性进行认证外,更重要的是根据用户的系列虹膜图像对其进行活体身份验证,在实现认证的同时也采用加密的方式保... 提出了一种基于虹膜生物特征的访问认证方法。该方法引入第三方服务器对用户身份进行认证,认证的过程除了对用户ID和消息时效性进行认证外,更重要的是根据用户的系列虹膜图像对其进行活体身份验证,在实现认证的同时也采用加密的方式保证了用户生物特征模板的隐私性;该方法也实现了用户和网关节点的双向认证,有效地保证了网络资源的安全性。理论分析结果表明:相对传统的访问认证方法,该方法所提出的方法具有更高的安全性能。 展开更多

关键词 无线传感器网络 虹膜特征 访问认证方法 用户活体检测

在线阅读 下载PDF 职称材料

串空间模型中认证性测试方法的缺陷

11

作者 邓珍荣 李陶深 《计算机科学》 CSCD 北大核心 2006年第2期103-105,共3页

指出了串空间模型中认证性测试方法存在的不足:1.分析认证性的过程中未考虑同一协议主体同时以不同身份参与协议运行的情况;2.分析认证性的过程中未考虑发生多轮协议同时运行的情况;3.认证性测试方法不能分析类型错误攻击。通过实例——... 指出了串空间模型中认证性测试方法存在的不足:1.分析认证性的过程中未考虑同一协议主体同时以不同身份参与协议运行的情况;2.分析认证性的过程中未考虑发生多轮协议同时运行的情况;3.认证性测试方法不能分析类型错误攻击。通过实例——Needham-Schroeder 协议分析了认证性测试方法存在不足的原因,并提出了改进方案。 展开更多

关键词 认证性测试方法 类型错误攻击 协议

在线阅读 下载PDF 职称材料

EAP-AKA无线认证协议的形式化验证方法

12

作者 李谢华 张孝红 《计算机工程与科学》 CSCD 北大核心 2009年第4期72-74,78,共4页

EAP-AKA是应用于3G网络的身份认证和密钥分配协议。本文在详细分析EAP-AKA协议认证过程的基础上,使用改进的认证测试方法对其安全性进行验证分析。验证结果说明,EAP-AKA协议能够满足对等端和EAP服务器间的双向身份认证。

关键词 形式化模型 EAP-AKA 改进认证测试方法 双向身份认证

在线阅读 下载PDF 职称材料

基于满二叉树和杂凑函数的组播源认证方法

13

作者 邹艳 《计算机应用与软件》 CSCD 北大核心 2005年第7期114-115,43,共3页

组播源认证作为组播技术中基本的安全问题之一,目前已成为组播技术研究领域的热点课题。本文提出了一种基于满二叉树和杂凑函数的组播源认证方法,并分析了它的安全性和计算耗费。

关键词 认证方法 杂凑函数 满二叉树 组播技术 组播源认证 安全问题 研究领域 安全性

在线阅读 下载PDF 职称材料

农机企业质量管理体系的认证方法

14

作者 曹明 《江苏农机化》 2002年第4期21-22,共2页

农机工业曾是我国机械工业的摇篮和基础,随着经济、行业的发展及我国加入世贸组织,农机企业面临与国际接轨并在同一平台上与国外企业竞争的局面,特别是面对质量管理体系十分健全的国外农机企业的冲击。在国际上。

关键词 农业机械化 企业质量 管理体系 认证方法

在线阅读 下载PDF 职称材料

环境空气中PM2.5自动监测方法比较及应用 被引量：55

15

作者 解淑艳 王晓彦 +8 位作者 吴迓名 潘本锋 李亮 杜丽 包权 崔虎雄 刘冰 汪巍 王帅 《中国环境监测》 CSCD 北大核心 2013年第2期150-155,共6页

在PM2.5监测受到日益重视的背景下,对β射线法和微振荡天平法(TEOM)这2种主要的PM2.5自动监测方法的工作原理和使用情况进行概述,给出了国内现有β射线法和TEOM法的比对测试结果,对今后开展全面系统的PM2.5自动监测和研究工作提供参考。

关键词 PM2 5 Β射线法 微振荡天平法 方法认证 比对测试

在线阅读 下载PDF 职称材料

一个基于PAM的身份认证系统的设计与实现 被引量：4

16

作者 李大治 卿斯汉 《计算机科学》 CSCD 北大核心 2005年第2期63-65,79,共4页

当今网络安全越来越受到人们的重视,身份认证作为网络安全的重要组成部分,已成为保证应用系统安全的有力手段。当前的一些身份认证产品的缺点是认证方法单一,缺少扩展性,很难满足不同应用系统的需要。本文提出了一个基于Linux PAM(Plugg... 当今网络安全越来越受到人们的重视,身份认证作为网络安全的重要组成部分,已成为保证应用系统安全的有力手段。当前的一些身份认证产品的缺点是认证方法单一,缺少扩展性,很难满足不同应用系统的需要。本文提出了一个基于Linux PAM(Pluggable Authentication Modules)的身份认证系统,可支持多种认证方法,而且具有良好的扩展性。本文首先介绍了PAM,讨论了基于PAM开发的关键问题,然后给出了系统的设计,最后结合具体实例阐明了系统的工作原理。 展开更多

关键词 身份认证系统 扩展性 网络安全 应用系统安全 设计 认证方法 PAM 产品 关键问题 手段

在线阅读 下载PDF 职称材料

增量数据驱动的自适应身份认证量化评估框架

17

作者 李思斯 韩伟力 《计算机应用与软件》 北大核心 2019年第11期294-300,共7页

准确评估身份认证风险是提高网络安全性的关键.当下访问控制机制缺乏对身份认证因子实用的量化评估方法.为此提出增量数据驱动的自适应身份认证量化评估框架,用于量化评估身份认证因子的安全性、易用性、可靠性、可访问性以及成本.采用... 准确评估身份认证风险是提高网络安全性的关键.当下访问控制机制缺乏对身份认证因子实用的量化评估方法.为此提出增量数据驱动的自适应身份认证量化评估框架,用于量化评估身份认证因子的安全性、易用性、可靠性、可访问性以及成本.采用基于专家经验的贝叶斯网络来综合评估因子组合的安全性;提出增量数据驱动的更新模型来根据实际运行时的认证记录动态调整量化评估结果.以某网站的认证方法分析为例,展示了该框架的合理性与可行性. 展开更多

关键词 身份认证方法 量化评估 安全评估 数据驱动

在线阅读 下载PDF 职称材料

智能联网设备身份认证安全风险评估 被引量：3

18

作者 周荆 李青山 陈钟 《信息安全研究》 2018年第10期881-888,共8页

随着智能联网设备的普及,其安全问题日益凸显.目前,智能联网设备与局域网内的控制器之间的通信过程普遍存在身份认证风险,使得攻击者可以冒充控制器,控制智能联网设备执行恶意指令,对智能联网设备的安全性构成了严重的威胁.提出了一种... 随着智能联网设备的普及,其安全问题日益凸显.目前,智能联网设备与局域网内的控制器之间的通信过程普遍存在身份认证风险,使得攻击者可以冒充控制器,控制智能联网设备执行恶意指令,对智能联网设备的安全性构成了严重的威胁.提出了一种智能联网设备的身份认证脆弱性识别方法,并以2家厂商的智能联网设备为例,对其存在的身份认证脆弱性进行了识别.进一步地,还提出了一种简单的身份认证方法,用以有效规避目前智能联网设备存在的身份认证风险. 展开更多

关键词 智能联网设备 局域网控制器 身份认证 脆弱性识别 认证方法

在线阅读 下载PDF 职称材料

基于802.1x/EAP的WLAN安全认证机制 被引量：1

19

作者 吴培玲 袁薇 《现代电子技术》 2013年第19期88-90,共3页

目前飞机与地面机场之间WLAN的应用部署日益广泛,但对其安全接入通信却没有提过较为合理的设计和规划,由WLAN引起的安全漏洞给飞机与地面之间信息传递带来很大的隐患。主要介绍EAP认证方法以及基于802.1x/EAP无线局域网的安全认证机制。

关键词 WLAN 802 1x协议 EAP认证方法 安全认证

在线阅读 下载PDF 职称材料

基于串空间模型的3GPP认证密钥交换协议分析 被引量：5

20

作者 蒋睿 李建华 潘理 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第5期791-795,共5页

基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以... 基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以克服原协议存在的缺陷,应用串空间模型理论及认证测试方法形式化证明了该改进协议在不安全的信道上可确保消息的保密性,移动用户和服务网络间的双向认证,以及消息加密密钥和完整性密钥的新鲜性. 展开更多

关键词 密钥交换协议 串空间模型 认证测试方法 第3代伙伴计划 认证协议 形式化方法

在线阅读 下载PDF 职称材料