共查询到18条相似文献,搜索用时 62 毫秒
1.
2.
3.
4.
现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标. 相似文献
5.
6.
由于互联网对网络安全的要求越来越高,为此,互联网工程任务组(IETF)组织制定了一套开放的网络安全协议(IP Sec),该协议能够符合国家关于加密通信的法律.介绍IP Sec安全架构及其应用. 相似文献
7.
针对当前互联网中大量使用的防火墙、代理技术和地址转换协议等给P2P (Peer to Peer)网络造成的通信障碍问题,提出了一种新型的P2P网络的代理协议(S4P),同时提出了对代理服务的搜索算法。该协议采用自组织的方式,使组成P2P网络的节点能够动态穿越双方所受到的通信障碍,解决网络中存在的对P2P连接的限制问题,增强了P2P网络的连接能力和资源访问与共享能力。仿真结果表明,S4P不仅可以完成节点间数据交换的要求,而且具有较好的性能。 相似文献
8.
地铁列车车载监控显示系统是车载乘客信息系统的重要子系统,它集信息播报、视频监控、紧急呼叫等多项功能于一体.本文在构建Linux操作系统的基础上,实现了列车车载监控显示系统的仿真,并重点通过OpenSceneGraph三维渲染引擎对列车车厢视频监控进行仿真. 相似文献
9.
10.
本文介绍一种PDA交通管理系统。采用具有高速处理器芯片PXA255的PDA对违章车辆的车牌号码、颜色和车型、违章车辆速度扣闯红灯时间等数据进行提取和识别,然后通过GPRS通信,送给无线接入装置。无线接入装置把这些数据传给Internet,Internet再把这些数据传给交通管理系统数据中心。PDA采用嵌入式Linux操作系统,能根据需要修改内核。 相似文献
11.
12.
吴强 《铁道机车车辆工人》2002,(3):17-20
作为一种免费的网络操作系统,Linux越来越受到广大网络爱好者的欢迎,目前因特网上运行的主机有相当一部分采用的就是Linux操作系统,而且中国已经把Linux操作系统作为指定网络操作系统.种种迹象表明,Linux操作系统正在逐渐走向成熟.下面介绍一种能在Linux系统下使用的比较优秀的代理服务器软件的安装和调试方法. 相似文献
13.
Linux系统网络管理模块的实现 总被引:5,自引:0,他引:5
企业网络内部,存在着许多网络服务器.那么,系统管理员如何能够很好地监视这些服务器的状态,并且在它们出现故障时及时地解决问题,维护网络的正常呢?使用开源软件Nagios可以很好地解决这一问题.主要对Linux下Nagios系统软件的功能进行系统的分析,然后说明如何使用它去监控网络服务机.最后对其做出评价. 相似文献
14.
首先介绍了防灾安全监控系统CAD软件的编制目的,然后详细介绍了软件主要模块的设计方法和应用情况,最后对软件下一步的发展进行了展望. 相似文献
15.
基于Web-Harvest开源软件,并对其功能进行了扩展,设计并实现了具有较强通用性的Web铁路信息采集系统,阐释了系统构架和相关的技术,并通过实例介绍了该系统的应用. 相似文献
16.
17.
提出了一种基于WinDump的网络安全分析系统,对网络上流动的数据包进行拆解分析,帮助网络管理员对网络问题进行分析和判断,从而进一步实现对病毒和黑客进行防范. 相似文献
18.