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应注意的几个问题。     

加入WTO及西部大开发、振兴东北老工业基地后,科技期刊面临的机遇与挑战书

加入WTO及西部大开发、振兴东北老工业基地后,将迎来科技期刊的新征程,在建立我国文化产业的过程中,科技期刊将日益坚定地探索出前进之途。     

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

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

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

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

论WTO与中国教育转型

伴随着我国加入ＷＴＯ和全球一体化进程的日益加快 ,我国长期处在自我封闭状态中的教育系统最终将要别无选择地融入世界教育发展的大潮之中。这种不以人的意志为转移的时代大趋势需要我们主动地作出战略性抉择和调适 ,并对传统的应试教育进行彻底的变革 ,努力完成下述一系列深刻和全方位的新旧转型。一、教育理念上由知识中心观向创新智慧观转型传统的应试教育存在着严重的知识中心主义倾向 ,师生双边关系的互动均围绕着知识理性的轴心运转。前者以传授知识为自己最高的教育使命 ,后者以接受知识为自己求学的神圣目的。知识中心又派生出若干…