中国民航飞行学院青年基金(Q2009-28)
- 作品数：2 被引量：3H指数：1
- 相关作者：袁小珂更多>>
- 相关机构：中国民用航空飞行学院四川大学更多>>
- 发文基金：中国民航飞行学院青年基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术更多>>
- 认证测试方法在安全协议形式化分析中的应用研究
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Needham-Schroeder协议进行了分析,指出Needham-Schroeder协议存在中间人攻击和类型错误攻击,对Needham-Sc...
- 李廷元宋劲郑涛袁小珂张建学
- 关键词：安全协议形式化方法
- 文献传递
- 基于改进的证据理论在机场容量评估中的应用被引量：3
- 2012年
- 本文针对机场容量评估中的不确定因素影响问题,在D-S证据理论的基础上提出了一种改进的考虑权重和折扣率的信息融合方法,并将该方法应用到实际的机场动态容量预测过程.实验结果表明,该方法进一步降低了评估过程的主观性,为空中交通流量管理决策提供了更为科学的决策依据.
- 袁小珂
- 关键词：证据理论空中交通信度
- 基于变权理论的信息系统模糊综合评价方法
- 针对信息系统安全评价指标由研究者主观提出的实际情况,提出了一种新的综合德尔菲法和改进层次分析法的D-AHP方法构建分层结构安全评价模型,并将变权理论引入到模糊综合评判过程。研究表明变权模糊综合评判方法对常权综合评判方法中...
- 袁小珂
- 关键词：变权信息系统
- 文献传递
- 一个单向认证协议的形式化分析与改进
- 针对单向认证协议Woo-Lam中存在的重放攻击,运用基于串空间模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时指出了对协议的改进方法,并用认证测试方法证明了改进协议的认证正确性...
- 宋劲李廷元
- 关键词：安全协议形式化分析
- 文献传递
- Weakened-Yahalom协议的认证测试分析
- 对认证测试方法在安全协议形式化分析中的应用进行了深入研究,应用认证测试方法对Weakened-Yahalom协议的认证性进行了分析,指出了该协议存在漏洞的原因及对该协议的两种改进。
- 李廷元宋劲
- 关键词：安全协议形式化分析
- 文献传递
- 基于Linux的NAT技术研究
- 2011年
- 为缓解IPv4模式下的IP地址短缺问题,文中以Linux为系统平台,深入分析了网络地址转换(NAT)的基本原理和实现技术,然后对其扩展应用进行了理论和实际的探讨,最后将排队模型引入到NAT的映射过程中,并进行了相应理论分析。给出了一种NAT的形式化模型和关于NAT映射的函数,实现了一种基于端口映射方式的具体算法。研究结果表明,网络地址转换为解决IP地址短缺提供了有效的解决方案,但其应用并非仅限于此。网络地址转换技术可广泛适用于虚拟服务器、负载均衡以及多路传送等多种不同应用领域。
- 袁小珂
- 关键词：网络地址转换地址映射负载均衡虚拟服务器
- 一个非否认电子合同协议的认证测试分析
- 电子商务协议的分析较少采用串空间模型,对基于串空间模型的认证测试方法在电子合同协议形式化分析中的应用进行研究,应用认证测试方法对一个非否认的电子合同协议进行了分析,指出该协议满足交易双方不可否认的安全目标。
- 张建学
- 关键词：电子商务非否认协议形式化分析
- 文献传递
