基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

论军事人才外流成本的控制

文章运用经济学的方法,通过分析军事人才外流的产生机理和控制理论,阐述了在控制人才外流时制度的供给问题,并对军事人才外流的控制提出了可行性建议。     

老牛顶伤女工 责任该由谁担

[案例]为节约人力，同住一个农业连队的廖某、陈某、蔺某、李某等人口头协议，把几家的牛都集中起来，由大家轮流放牧。2007年2月6日，轮到蔺某与李某放牛。当天早上，蔺某与李某一起将牛群赶到渠边上吃草。当天中午，廖某将留在家中的一头怀孕母牛也赶到渠边来放。当廖某靠近蔺某所放牛群时，被牛群中冲出的陈某家的一头老牛项倒，导致腰椎骨折。为此，廖某住院治疗，并支付医疗等费用合计32724元。廖某伤愈后，曾就自己的医疗费等经济损失，找陈某及当日放牧的蔺某与李某协商赔偿。     

携带诱骗信息的多层网络隐写方法

为了提升网络隐写方法中秘密信息隐蔽传输的安全性,研究了携带诱骗信息的多层网络隐写方法。方法分为两层,高层方法用于携带诱骗信息欺骗检测者,低层方法利用网络协议栈纵向多协议之间的关系编码秘密信息,实现隐蔽通信。实验结果表明,该方法能够在保证隐写带宽的同时,确保了秘密信息传输的安全性。     

基于C~4ISR体系结构的防空导弹指挥系统设计

主要分析了C4ISR体系构架,阐述了C4ISR体系结构视图的概念、作用以及相互关系,对应框架中提出的三个视图从需求、设计、实现三个层面提出了以C4ISR体系结构为主导进行新一代防空导弹指挥系统设计的思想。     

美越核能协议暗指中国

讽刺的是。就像当年美国通过建立工业伙伴关系以及技术转让等将中国打造成制衡苏联的力量一样．现在美国也在对中国外围的国家做着同样的事情。不过，从长期来看，这种做法增加了世界朝多极而不是两极发展的可能性。     

中国国家原子能机构与国际原子能机构签署协议 进一步加强在核安保领域的合作

<正>8月16日-17日,应中国国家原子能机构(以下简称CAEA)的邀请,国际原子能机构(以下简称IAEA)总干事天野之弥一行来华访问。这是天野之弥就任IAEA总干事以来首次访华。8月16日,工业和信息化部副部长、中国国家原子能机构主任陈求发会见了天野之弥一行。陈求发高度评价了IAEA在促进和平利用核能、防止核武     

面向战术互联网子网路由协议与网络业务的仿真分析

战术互联网是美军的新一代通信系统,它实现了美军三大传统通信系统的互联互通,在战场信息的传递与交互上至关重要。移动Ad hoc网络技术是战术互联网中的关键技术,再加上战场中的节点移动性强,高效稳定的路由算法是Ad hoc网络技术的重点和难点。战术互联网末端网络的主要业务是战场态势信息的交互以及话音通信,主要分析战场环境下不同射频功率和不同路由协议对战术互联网末端Ad hoc网络数据和话音业务性能的影响。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.