国际工程索赔争端解决的经验教训

在国际工程承包中,索赔工作是一项复杂艰辛的事情,受诸多因素影响。尽管有FIDIC合同条件的原则规定,但实际施工中会经常发生违背合同条件的事例。本文用实例分析阐述索赔工作的复杂性,并根据经验提出有益的建议。     

欧洲"伽利略"计划的进展与挑战

□□尽管2005年欧洲"伽利略"导航卫星计划曾经面临预算超支,进度推迟,运营特许经营权谈判进展缓慢,以及欧洲主要大国因"伽利略"系统主导权和利益之争而陷入困境,但经过协商谈判,目前困扰"伽利略"计划的主要障碍大部分已被排除,在轨验证阶段超支4亿欧元的经费基本落实,德国主张的利益也基本上得到了保障,在轨验证阶段的2颗试验卫星GIOVE-A、B的研制工作进展顺利.     

适用于天地一体化网络的无证书密钥协商协议

为了保证天地一体化网络中用户信息的传输安全,改进传统方案的高时延等问题,本文提出一种轻量级的无证书密钥协商方案。首先,本文分析无证书密钥协商协议系统模型,针对天地一体化网络的特点提出协议需要满足双向认证、抗重放、完整性等安全需求。其次,本文选择一种轻量级的无证书加密方案,在此基础上提出密钥协商协议,满足天地一体化网络的资源和安全要求。最终,本文对提出的密钥协商协议进行BAN(Burrow-Adadi-Needham)逻辑安全性分析,并结合软件对协议性能仿真进行比较,结果表明：该方案在满足网络安全性需求的同时实现高效快速的协商。     

面向高安全数据分发服务的身份认证协议设计

为解决数据分发服务安全规范中身份认证与密钥协商协议存在共享密钥建立缺乏公平性、缺乏验证密钥一致性机制及会话过程缺乏完整性等安全问题,以协议为基础,设计一种新的高安全数据分发服务身份认证与密钥协商协议。新协议引入了ACK机制,并利用D－H密钥交换和非对称密码体制特点解决了原协议存在的安全问题,具备实用性和更高的安全性。     

基于虚拟机的一种移动代理安全策略

主要研究在普适计算环境下移动代理的安全机制,提出了一种主从模式下代理密钥协商的协议,此协议实施的关键是使用指令系统可变的虚拟机.这种虚拟机可被动态生成,并且每次都使用不同的指令系统,以此来保证恶意宿主不能在短时间内获取会话密钥的信息.通过模拟攻击测试验证了此移动代理安全策略的有效性.     

ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

劳动关系的市场化与工资集体协商制度

伴随着经济体制的改革 ,劳动关系逐步市场化 ,劳动者利益得不到保护的现象时有发生。从保护劳动者最基本的权益的角度出发 ,论证工资集体协商制度在维护劳动者合法权益中的作用。     

多服务器环境下基于动态ID的轻量级身份认证协议

为了实现用户和服务器之间的通信安全及高效的身份认证,设计有效的身份认证协议成为研究热点。分析了已有协议的安全性,发现仍存在不能抵抗拒绝服务攻击（DOS）和离线口令猜测攻击的缺陷。因此,提出了新的基于动态ID的轻量级单向哈希函数身份认证协议,并通过非形式化安全性分析、随机预言机模型（ROM）分析和AVISPA实验仿真3种安全性分析,以及计算开销和通信开销的分析,比较证明了所提协议能够实现安全高效的身份认证。      

飞机除冰资源申请过程航空公司的博弈研究

以博弈论方法为分析工具,分析飞机除冰资源申请过程航空公司的博弈行为及其经济绩效。以航空公司合作组织中各博弈方的资源转让策略为研究对象,引入了合作博弈思想和违约惩罚机制,讨论航空公司合作组织的最优稳定策略,设计了基于Agent效用的成员协商算法;最后,运用协商算法结合Shapley值解分析的方法对除冰费用分摊的的合理性进行仿真,结果对比显示,此方法实现了分配的公平和有效。     

网格计算环境中的安全信任协商系统

网格技术促进了广域网络环境下的资源共享和协同工作.然而,在网格环境中,服务的提供方和请求方往往位于不同的安全域,如何为位于不同安全区域的陌生主体间动态地建立信任关系成为一项应用难题.基于信任管理基础设施,通过协作主体间信任证、访问控制策略的交互披露逐渐为各方建立信任关系,设计并实现了一个保护协商方隐私信息的安全信任协商系统.该系统采用一种基于属性的委托授权信任证、访问控制策略及一致性验证算法,实现策略的动态调整,从而生成满足访问控制策略的所有最小可满足信任证集,能够使理论上存在的信任关系得以自动建立.通过在CROWN平台中的应用,显示该系统能够满足网格应用中信任自动建立和敏感信息保护的需求.