搜索筛选:
搜索耗时3.4207秒,为你在为你在102,285,761篇论文里面共找到 28 篇相符的论文内容
发布年度:
[期刊论文] 作者：谢鸿波,,
来源：真空 年份：1999
本文介绍了半导体硅材料薄层方块电阻（Ω／□）的测试方法，及该方法在导电薄膜材料（ＩＴＯ膜）测试中的应用原理。同时提出了相应的测试条件。...
[期刊论文] 作者：谢鸿波,,
来源：真空 年份：2009
针对手提式薄膜方块电阻测试仪在使用中容易出现的问题,进行分析研究,提出了解决方案,并在实验中得到实现。研究的问题包括:电池供电的电压监测;探头完全与被测样品接触良好...
[学位论文] 作者：谢鸿波,,
来源：电子科技大学 年份：2011
计算机网络正以惊人的速度向各个领域渗透,其中的安全问题也变得越来越突出和复杂,解决安全问题对许多网络应用来说已是头等大事。从目前解决安全问题的方式来看,安全协议是...
[期刊论文] 作者：谢鸿波,,
来源：真空 年份：1999
本文介绍用于导电膜方块电阻（面电阻）（Ω／□）测试的手持式仪器系列中的ＸＸ－１型、ＸＸ－２型仪器。着重阐述仪器的设计思想、应用原理和关键部分的设计。该系列测试仪是导电薄膜（ＩＴＯ膜等）制造厂家和器......
[期刊论文] 作者：谢鸿波,
来源：中国电化教育 年份：1995
...
[期刊论文] 作者：谢鸿波,
来源：中国电化教育 年份：2000
ＣＡＩ课件设计的一个重要问题是如何提高课件的质量，提高课件的教学效率，本文从技能的学习出发，分析了操作技能和心智技能（即认知技能）的形成过程，进而指出ＣＡＩ课件在传递知识的同时，也应注重......
[期刊论文] 作者：谢鸿波,周明天,,
来源：小型微型计算机系统 年份：2006
提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法．该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认证规则、信任规则和信任扩展规则，对信任度定......
[期刊论文] 作者：谢鸿波,周明天,,
来源：计算机科学 年份：2006
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型，在此基础上定义了符合模态逻辑的类BAN逻辑“可能世界”语义模型，并......
[期刊论文] 作者：蔡小玲,谢鸿波,
来源：南方钢铁 年份：2000
介绍用于导电薄膜方块电阻（面电阻）（Ω／□）测试的手持式仪器。着重阐述仪器的设计思想、应用原理、关键电路和探头的设计。该测试仪是导电薄膜（如ＩＴＯ膜）生产厂家和器件（液晶显示器等）制造......
[期刊论文] 作者：强勇军,谢鸿波,
来源：信息安全与通信保密 年份：2005
概述 PKI公钥基础设施是一个为综合数字信息系统提供广泛需要的公开密钥加密和数字签名服务的基础设施,它的目标是管理密钥和证书。一个机构通过采用PKI框架管理密钥和证书可...
[期刊论文] 作者：谢鸿波,冯军,周明天,,
来源：电子科技大学学报 年份：2006
以授权管理基础设施和公钥基础设施为基础，研究了单点访问系统的实现模型．这两种技术在单点访问系统中实现身份认证和访问授权控制功能．通过中间件的方式来实现身份认证和授权管......
[期刊论文] 作者：谢鸿波,谭兴烈,周明天,,
来源：计算机应用研究 年份：2011
在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全...
[期刊论文] 作者：谢鸿波,吴远成,周明天,
来源：中国电子科学研究院学报 年份：2010
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符...
[期刊论文] 作者：谢鸿波,吴远成,周明天,,
来源：小型微型计算机系统 年份：2008
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此...
[期刊论文] 作者：刘一静,谢鸿波,吴远成,,
来源：计算机应用 年份：2007
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性......
[期刊论文] 作者：谢鸿波,吴远成,周明天,
来源：电子学报 年份：2007
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定...
[期刊论文] 作者：谢鸿波,吴远成,周明天,,
来源：计算机科学 年份：2008
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题，本文提出了一种统一的形式化描述方法，即通过属性......
[期刊论文] 作者：强勇军,佘堃,谢鸿波,
来源：信息安全与通信保密 年份：2005
概述 PKI公钥基础设施是一个为综合数字信息系统提供广泛需要的公开密钥加密和数字签名服务的基础设施,它的目标是管理密钥和证书。一个机构通过采用PKI框架管理密钥和证书可以建立一个安全的网络环境,使用户可以在多种应用环境下方便地使用加密和数字签名技术,......
[期刊论文] 作者：谢鸿波,吴远成,刘一静,周明天,
来源：电子学报 年份：2008
在当前安全协议形式化分析的研究中，亟待解决的关键问题是如何形式化描述更多的安全属性，如何将这些属性在统一的框架下进行形式化分析和验证．本文提出了一种统一的安全属性形式......
[会议论文] 作者：朱桂斌,张艳红,吴乐华,谢鸿波,
来源：中国体视学学会图像分析及仿真与虚拟现实专业、中国航空学会信号与信息处理专业第一届联合学术会议 年份：2000
在给出二值图像多尺度表示法的基础之上，提出一种基于多尺度表示的细化算法，与目前已有的相比较，它的计算量小、抗噪性能好、便于硬件实现。实验结果表明，该算法很好地克服了传细......
相关搜索：
