搜索筛选:
搜索耗时0.0776秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：吴远成,
来源：自动化博览 年份：2011
在未来陆、海、空、天、电各维空间一体的现代战争中,制信息权将成为决定战争胜负的关键,研究如何保卫信息系统的核心——数据库,提高其安全性显得尤为重要。本文分析了目前...
[学位论文] 作者：吴远成,
来源：四川大学 年份：2018
...
[期刊论文] 作者：佘堃,吴远成,
来源：Journal of Electronic Science and Technology of China 年份：2004
...
[期刊论文] 作者：谢鸿波,吴远成,周明天,
来源：中国电子科学研究院学报 年份：2010
如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符...
[期刊论文] 作者：谢鸿波,吴远成,周明天,,
来源：小型微型计算机系统 年份：2008
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此...
[期刊论文] 作者：刘一静,谢鸿波,吴远成,,
来源：计算机应用 年份：2007
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性......
[期刊论文] 作者：谢鸿波,吴远成,周明天,
来源：电子学报 年份：2007
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定...
[期刊论文] 作者：谢鸿波,吴远成,周明天,,
来源：计算机科学 年份：2008
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题，本文提出了一种统一的形式化描述方法，即通过属性......
[期刊论文] 作者：梁中明,吴远成,向刚,,
来源：水雷战与舰船防护 年份：2011
针对目前对水下目标检测和识别的时效性要求越来越高,提出来一种快速而有效,适合工程应用的拟合功率谱新方法,并在此基础上提取连续谱特征。采用分段拟合和固定拟合横坐标的...
[期刊论文] 作者：谢鸿波,吴远成,刘一静,周明天,
来源：电子学报 年份：2008
在当前安全协议形式化分析的研究中，亟待解决的关键问题是如何形式化描述更多的安全属性，如何将这些属性在统一的框架下进行形式化分析和验证．本文提出了一种统一的安全属性形式......
[期刊论文] 作者：谭兴烈,吴远成,佘堃,周明天,沈昌祥,
来源：计算机应用研究 年份：2003
着眼于目前提高访问控制表(ACL)搜索速度的搜索算法。首先,对各种搜索算法进行分类,然后分别对这些算法进行了分析,最后对这些算法在搜索速度、算法占用空间、访问控制表更新以及对这些算法可能改进的方法进行了分析和比较。......
相关搜索：
