BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

OSPF路由协议的安全性分析

介绍了OSPF动态路由协议及OSPF的安全特性,分析了OSPF当前版本可能遭受的攻击,指出了OSPF存在的漏洞。     

浅谈身份认证技术

现由于用户名和密码方式无法应对日益猖獗的在线欺诈犯罪行为,各种身份认证技术纷纷登场,身份认证技术是解决目前网上身份盗窃和在线欺诈的唯一有效手段。它是安全系统中的第一道关卡,用户在访问安全系统之前,首先经过身份认证系统识别身份,然后访问监控器根据用户的身份和授权数据库决定用户是否能够访问某个资源。本文主要就身份认证技术进行了分析。     

分布式实时数据库系统中事务并发控制策略研究

本文主要对分布实时数据库系统中的事务并发控制进行探讨,结合虚拟锁和乐观法等思想,提出两种新的解决方案:2PL-HP协议和OPT-Sacrifice协议.前者可提高事务的并发度,减少阻塞的发生,从而满足实时性的要求;后者在提高事务并发度的基础上尽量保护那些己经进入提交状态的事务,降低无辜牺牲的几率,从而减少因为错过执行期限而被迫废弃的事务的数目,满足事务的实时性要求.     

校园网中基于ARP协议的欺骗及其预防

针对目前校园网内流行的ARP病毒，分析了ARP病毒的欺骗原理，给出了预防ARP欺骗的具体方法.     

Ping命令的使用方法详解综述

在分析Ping命令工作原理和用法的基础上,详细介绍了使用Ping命令检查网络连接性、查看信息路径从而排除网络故障的方法和技巧、使用Ping应注意的几个问题。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

WTO与我国农业保护政策的调整

<正> 1 WTO《农业协议》对我国农业的影响1.1国内支持(政府补贴)方面 农业补贴是指政府通过财政的手段向某种产品的生产、流通、贸易活动或某些国民提供的转移支付,是一国政府对本国农业支持与保护政策体系中最主要、最常用的政策工具。WTO框架下的农业补贴主要分为“绿箱补贴”和“黄箱补贴”。就“绿箱补     

从"新巴塞尔资本协议"看发展中国家的劣势

《新巴塞尔资本协议》(草案)自出台以来并没有得到广大发展中国家的支持。在新协议下的借款成本的再定价效应、资金要求度的变化、流动性风险和顺周期性对发展中国家产生了不利的影响。发展中国家应该联合起来积极参与《新巴塞尔资本协议》的制订中去。     

利用DDE协议获取动态目标跟踪数据

通过对Ｗｉｎｄｏｗｓ下ＤＤＥ协议机制的分析，论述了在船舶动态数据跟踪系统中利用ＤＤＥ通讯，变过去的静态处理方式为动态数据处理方式，使得动态数据接收模块既作为有机同时又作为服务器应用程序。并与主控模块建立“热链路”随时接收动态目标数据。