PKI/CA交叉认证体系

PKI作为安全基础设施,能为不同的用户按不同安全需求提供安全服务.分析我国CA认证体系现状,介绍了不同的PKI(公钥基础设施)交叉认证体系的各种模型以及它们各自的优缺点,进而说明了建立基于BCA的PKI交叉认证体系的必要性.     

基于PKI的校园网身份认证系统的设计与实现

将PKI技术引入校园网络,在加强校园网络安全的同时也为校园网络的使用提出了新的发展方向.这个基于PKI的身份认证系统是一个两层CA多RA结合构造的校园网认证中心模型,符合学校具有多个不同地域的校区,多个工作性质不同部门的特点.在此设计模型上,利用开源软件包OpenSSL对身份认证系统进行具体实现.     

远程无纸化阅卷系统身份认证机制的构建方案

首先介绍基于PKI(即“公共密钥体系”)的身份认证机制 ,然后提出远程无纸化阅卷系统中基于PKI的身份认证机制的设计和开发过程 ,接着讨论这一方案在实际应用中的使用方法 .最后 ,对该方案安全性作简要分析 .     

远程教育系统中身份认证技术的探究

随着远程教育网络的发展,网络安全也越来越受到关注,而在整个网络安全体系中又以有效的身份认证为基础。该文就身份认证常用的方法和技术进行了简单的分析,并利用PKI技术对恩施职业技术学院校园网身份认证进行了设计。     

一种基于PKI技术的跨异构域认证模型

针对PKI域和Kerberos域难于相互认证,提出了一种主要基于PKI技术的跨异构域认证模型,并详细设计了不同域中的用户跨异构域访问资源的认证过程.该模型能够实现PKI信任域和Kerberos信任域间的跨域认证,并支持双向认证.对方案中的协议模型进行分析,结果表明,该方案具有较好的兼容性、扩展性、可靠性、并行性、安全性,证明本模型适用于在以PKI为主的较大规模的网络环境中实现PKI域和Kerberos域的跨域认证.     

公钥基础结构中的信任度

分布式系统和电子商务的安全以公钥基础结构(PKI)为基础,为实现信息的安全交换,用户可从PKI中得到另一用户的公钥及其证书。给出PKI中一种新的估算各认证服务中心之间信任度的方法并说明其合理性;对有多条证书路径的2个认证服务中心之间的信任度进行敏感性分析,得出了有效的信任度估算策略。     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

网格安全模型中关键策略的研究

给出了一个独立于平台的网络安全模型,并对网络安全模型中的认证和授权等关键策略作了分析。这些关键策略包括:基于桥接CA(认证中心)的PKI(公钥基础设施)管理方式、基于虚拟组织的认证策略、网络环境中委托授权的访问控制策略等。采用这些策略有利于不同PKI管理策略的虚拟组织之间认证,简化了网格的安全认证,能够对网络资源进行动态有效地管理。     

基于X.509的VPN的安全认证模型

目前VPN广泛应用,但没有一个完善的认证体系,针对于此,提出了基于X.509技术的VPN安全认证模型。论述了确定怎样为VPN通道颁发X.509数字证书,怎样进行证书体系管理的问题,实现了CA系统的证书认证PKI体系在VPN中的安全认证模型。可用于使用公钥认证的VPN中。     

多级桥CA模型构建及其LDAP服务器设计

为解决PKI信任体系互联互通问题，在对比分析现有PKI常用5种信任模型优缺点的基础上，借鉴已有信任模型，特别是桥CA模型的优点，提出了一个新的模型——多级桥CA信任（multilevel bridge certificate authority，MBCA）模型．阐述了多级桥CA信任模型的基本原理及其构建方法，给出了其总体架构；在总体框架下，对其原型系统中LDAP服务器进行了设计；并结合具体项目对方案的可行性进行了实验验证和分析．实验证明了该模型的可行性，有望对我国PKI建设工程有所帮助．     

PMI中的证书路径处理机制的优化

在EPMI中，证书路径的处理包含属性证书路径处理及各属性证书相对应的公钥证书路径的处理。其中证书路径构造尤为复杂和耗时，路径验证算法也没有考虑顺序，缺乏相应性能分析，阻碍了PMI的应用推广。提出一种优化的路径处理方案．给出了实现的流程图和算法，并进行了性能分析。     

带限制条件的多权最短路径算法

针对多权网络，给出一个带限制条件的多权最短路径算法，该算法按字典序生成从源点到目标顶点的满足限制条件的最短路径。     

基于椭圆建模和NLP算法的移动机器人路径规划研究

针对移动机器人在未知环境中探测和规避障碍物困难等问题,提出一种基于椭圆建模和自然语言处理(nataral language processing,NLP)算法的移动机器人路径规划方法。首先将激光采集的点信息进行分类和最小椭圆包围,建立障碍物的椭圆模型并估算出障碍物的速度。然后采用NLP算法,把移动机器人在未知环境中的路径规划问题,描述成了满足一组非线性约束和目标函数最小的非线性规划问题,从而实现复杂未知环境下机器人的路径规划。最后进行物理与仿真实验,验证了该方法的有效性。     

不同轴距车辆路径跟踪研究

针对不同轴距车辆路径跟踪鲁棒性,提出了基于滑模自抗扰控制的平行泊车路径跟踪算法.该算法利用线性滑模控制设计自抗扰控制律中的误差反馈环节,改善了自抗扰控制器的结构,能适用于不同轴距车辆.线性自抗扰控制器能够观测和补偿由于不同车辆轴距引起的不确定性和车辆受到的外界干扰.在假定低车速和小侧偏角情况下,控制器的设计考虑非线性运动学模型及运动学约束.仿真结果表明,基于滑模自抗扰控制的路径跟踪控制算法能够将不确定性部分观测出来并且补偿掉,保证了不同轴距车辆很好地跟踪规划的理想泊车轨迹.     

基于拉格朗日松弛的水灾逃生路径规划

研究了假设路段通行时间为随机变量的交通网络约束最短路径问题.建立0-1整数规划模型,求出最小期望通行时间路径.除流量平衡和路段通行能力约束外,还引入了唯一通路选择约束以保证最终只能生成最优路径.然后,提出了拉格朗日松弛法对难约束进行松弛处理,并将松弛模型分解成两个子问题.结合次梯度算法、标号修正算法和k-最短路径算法设计了一个算法框架,以最小化上下界的差距寻找近似最优解,用改进的算法框架进行求解.最后将该框架应用于龙岩市新罗区进行了计算试验.结果表明,该算法能够找到相对间隙较小的高质量解,验证了该方法的有效性.     

时间抖动约束的最优视频平滑

描述了在时间抖动约束下视频平滑的最优算法．该算法假定视频流的码流大小为先验知识,在提前或推迟时间抖动约束下使得视频流的峰值和码率波动降低到最小．它实际上是在视频累积码流的约束通道中找到一条最短路径．通过实验模拟,探讨了该算法各视频流在不同抖动约束下的平滑率曲线,最优平滑方法与跳变窗口平滑方法加以对比．表明了该算法可以有效地降低视频流的峰值和码率波动,适用于对时延抖动敏感的实时视频传输．     

基于动态规划的QoS多约束路由算法

基于动态规划的思想,提出一种新的质量服务(QoS)多约束路由算法(QMCRA_DP).对可行路径进行智能分段,并自适应地调整求解各段的线性花费函数.理论分析及实验验证表明:QMCRA_DP算法在保持较低计算开销的同时,较大地提高了求解可行路径的成功率.     

旅客视角下基于时变的多模式交通网络出行路径

城市多模式交通出行路径决策会受到城市公共交通发班时刻表及交通网络时变特性影响。本文考虑这两个影响因素,研究了换乘次数、出行时间、步行距离等约束条件限制下以实际出行成本最少为优化目标的城市多模式交通出行路径决策问题。由于该问题为NP难问题,本文提出了基于遗传算法的四种求解策略。数值算例表明四种求解策略均有效,其中,变异概率随迭代次数调整的多种群遗传算法求解策略计算效率最高。     

森林认证对纸和纸浆产品国际贸易的影响效应

【目的】研究和实践证明森林认证对林产品贸易有重要的影响,纸和纸浆是林产品的重要组成部分。从全球视角评估森林认证对不同经济体国家的纸和纸浆产品国际贸易的影响效应,为中国森林认证制度、机制和政策的建设提供科学的依据和指导。【方法】将消费者不完全信息条件引入森林认证对不同国家贸易影响的理论框架,并将森林认证纳入扩展的引力模型,以处理引力模型的异方差和零贸易值问题,使用2009—2018年68个国家纸和纸浆产品森林认证数据和双边贸易的数据,从出口国的森林认证出口竞争效应、进口国的贸易壁垒效应、由进出口国森林认证的相互作用所获得的共同语言效应3个方面分解影响效应,并将总样本细分为4个子模型以评估对不同经济体的影响。【结果】森林认证对纸和纸浆产品国际贸易的影响呈现效应不对称。森林认证对纸和纸浆产品具有显著的出口竞争效应,且发展中国家优于发达国家;在与发达国家贸易的过程中,森林认证产生了贸易壁垒效应,且对于发展中国家更明显。森林认证的通用语言效应在发展中国家的双边贸易中并未显现,而在发达国家与发展中国家贸易过程中具有通用语言效应。【结论】对我国纸和纸浆产品乃至其他林产品生产和贸易来说,森林认证是其发展不可回避的环境和资源因素,并且其影响效应呈不断增强的趋势。因此,需要从宏观制度、机制和政策建设的层面,高度关注并切实推进森林认证在国内的发展。     

无人飞行器延时航迹规划方法

编队飞行中无人飞行器由于战场态势改变等原因常常需要延迟打击目标。在定高飞行模式下,提出了基于分层规划的延时航迹规划方法,首先基于最小风险值选择最佳延时机动区域,然后采用基于解析法的延时航迹规划算法,生成满足延迟时间和飞行约束条件要求的延时机动航迹。通过分析计算各个航迹段附近区域的风险值,确定了无人飞行器延时机动的安全飞行区域;基于解析法提出徘徊延时航迹的规划算法,并用该算法生成满足飞抵时间延迟量要求的延时航迹。仿真结果显示,徘徊延时航迹规划算法能够高效准确地规划出需要的延时航迹,规划总时间在规定的时间范围内,较好地满足了无人飞行器需要延时飞行的时间要求。