基于AVISPA的Yahalom协议形式化分析

安全协议利用密码技术实现开放网络环境下的安全通信,达到信息安全的目的。由于安全协议的重要性,人们对它的分析和设计一直没有停止过。文章主要介绍针对安全协议分析的模型检测工具AVISPA,用其对Yahalom协议进行分析,指出Yahalom协议存在的漏洞,提出修改意见,并用AVISPA验证改进的Yahalom协议的正确性。     

怎样用好道奇收音机

道奇收音机不但价格低廉,而且它的灵敏度、选择性和抗干扰性能十分出色,用它收听高质量的调频节目非常过瘾。本文将谈谈使用道奇收音机的经验与体会。道奇收音机对电源要求很高,它要求电源能提供稳定的4A/12V直流电压,笔者试机时用市售1A的可调稳压电源给收音机供电时竟声音也没有,14V的直流电压跌至9.3V。恰好笔者有一只功放摩机用的120W环牛,其直径11cm、高5.5cm,将原有的两     

用NCP逻辑分析LMDS的PKM协议

使用NCP逻辑分析了LMDS的PKM协议，发现该协议容易遭到伪造BS攻击，也可能遭到AK重传攻击。这些是由协议过程中消息的结构不完善引起的。本文在PKM协议提供的安全措施的基础上，针对上述不足提出了更改部分消息结构的解决方案。     

怎样用好你的MODEM

怎样用好你的ＭＯＤＥＭ郑毅，李松在近来的Ｉｎｔｅｒｎｅｔ热中，发展最快的莫过于利用已有的电话线路，通过电话拨号上网的用户了，这是目前Ｉｎｔｅｒｎｅｔ用户的主流。这种方式就要用到ＭＯ－ＤＥＭ（数模转换器），而大多数用户买来了ＭＯＤＥＭ，接通线路，拨号能...     

用好Adobe Premiere中的音频处理工具

Adobe P rem iere能 对声 音 素材 做些 什 么 Prem iere 6.0是 Adobe公 司 在 2001年 推 出 的 产 品 , 它 是 该 公 司 基 于Q uickTim e系 统推 出 的一 个多 媒体 影 音制 作软 件 ,与 其 4.0、4.2、5.0、5.1和5.5等 版 本 相 比 ,Prem iere 6.0在 所 支 持 的 素 材 格 式 、编 辑 、音 频 效 果 、过 渡特 技等 方面 的 功能 都有 相 当大 的扩 展 。尤其 是 在音 频方 面 ,能够 支 持M P3格 式 ,使 音 乐 素 材更 加 容 易 获得 , 音 频 效果 功 能 上 都作 了…     

用好Adobe Premiere中的音频处理工具

Premiere 6.0是Adobe公司在2001年推出的产品．它是该公司基于QuickTime系统推出的一个多媒体影音制作软件．与其4．0、4.2、5.0、5．1和5．5等版本相比．Premiere 6．0在所支持的素材格式、编辑、音频效果、过渡特技等方面的功能都有相当大的扩展：尤其是在音频方面，能够支持MP3格式．使音乐素材更加容易获得．音频效果功能上都作了较大地改进。     

再谈怎样正确用好兆欧表

《家庭电子》2000年第1期刊登了《谈谈兆欧表》一文,文章对兆欧表的工作原理等作了简单的介绍。但文中所说的“手摇的速度虽有快慢并不会影响到读数”与实际情况显然是不相符的。测量时若手摇的速度有快有慢,或达不到应有的速度,电机发不出标称电压值时,都将直接影响到兆欧表测量的正确     

用软件实现对称密钥算法"加速"

本文主要在Blackfin处理器上讨论对称密钥密码的软件实现,同时介绍几种算法级优化和底层指令选择方法.     

100款最佳安全工具(一)

<正>1 Nessus:UNIX漏洞扫描工具Nessus是免费网络漏洞扫描器,它可以运行于几乎所有的UNIX平台之上。它不仅永久升级,还免费提供多达11000种插件(但需要注册并接受EU-LA-acceptance——终端用户授权协议)。它的主要功能是远程或本地(已授权的)安全检查,客户端/服务器架构,GTK(Linux下的一种图形界面)图形界面,内置脚本语言编译器,可以用其编写自定义插件,或用来阅读别人写的插件。Nessus 3已经开发完成(now closed source),其现阶段仍然免费,除非您想获得最新的插件。     

基于DSS的定制客户端测试工具的实现

详细介绍了DSS(Darwin Streaming Server)中的RTSP协议交互过程,用VC6.0实现定制客户端测试工具,模拟并发用户实现对DSS的多文件点播并发支持能力的测试,对定制客户端进行扩展,可以实现对修改后的DSS(支持MPEG-2 TS格式)并发访问,通过查看DSS的WEB管理端以及用Wireshark抓包工具进行抓包对定制客户端进行验证,结果证明,设计的定制客户端可以模拟并发用户与流媒体服务器进行RTSP交互,在对流媒体软件点播并发能力的测试中有很好的应用。     

WindML窗口类控件工具箱的实现

在Vxworks操作平台上实现嵌入式图形界面开发中需要用到大量控件,而WindML中自带的控件很少,很难满足实际工程开发的需求。为提高软件设计的效率,本文分析了窗口类控件的实现机制,提出了窗体控件的一般设计方法,并以复选框为例说明了设计过程。     

音频码流分析工具设计与实现

介绍了一种支持多标准（MPEG-1,AC-3和AVS）音频码流分析的软件实现方案。基于标准的参考解码器,采用面向对象的编程思想,设计了一种灵活配置的实现结构,不仅能解析出标准中定义的码流信息。根据用户的需求返回解码过程的中间结果,附加波形显示及音频播放等功能,而且方便对其他音频格式进行扩展。首先讨论了码流分析的意义及相关音频标准,然后简介了码流分析工具的架构及具体实现,最后进行了总结和展望。     

一种图形化报表工具的设计与实现

图形化报表工具是与业务无关的、适用于各领域的通用报表设计工具。用户可以通过图形化配置界面,实现查询条件、查询样式及展现方式的设计,不需要进行程序的开发就能够快速的搭建查询分析系统。该工具具有灵活、方便、适应性强等特点,解决用户复杂繁琐且不断变化发展的查询,展现需求与系统研发人员需要不断编码对应的矛盾,大大提高应用的可扩展性。     

An anonymous and robust multi‐server authentication protocol using multiple registration servers

The concept of multi‐server authentication includes multiple numbers of application servers. The registration/control server is the central point in such environment to provide smooth services to a limited number of legitimate users. However, this type of environment is inappropriate to handle unlimited users since the number of users may grow, and thus, the response time may be very high. To eliminate these shortcomings, we have modified the existing multi‐server authentication architecture and then designed a new scheme by including multiregistration server technique that can provide a smooth environment to support unlimited number of users. The main aspect of our design is to provide a secure authentication environment for multi‐server application using password and smartcard so that the participants can securely communicate with each other. The simulation results are obtained by executing our protocol using AVISPA tool. The results provide concrete evidence about the security safety against active and passive attacks. Furthermore, the justification of correctness of the freshness of the session key negotiation and the mutual authentication between the participants has done been evaluated with the BAN logic model. The comprehensive comparative analysis justifies our argument that our protocol has better applicability in multi‐server environments compared to other protocols with similar nature.     

网络拓扑可视化工具的研究与实现

使用面向对象思想设计并实现一个基于Web的拓扑可视化工具FlapMap,并在拓扑元素布局,拓扑信息的综合显示等方面进行了相关改进,与传统的工具相比,在性能、可扩展性和人机交互性等方面都得到了增强。     

烟草企业数据仓库建设中的数据质量评估

随着烟草行业数据仓库的深入应用,数据质量问题成为关系到数据仓库建设成败和数据能否有效应用的重要关键问题,通过建立数据质量评估指标体系,对数据源系统的数据进行定量分析,从而具体了解数据源系统的数据质量,为进入数据仓库的数据的正确性提供保证。?     

智能天线在TD-SCDMA规划工具中的实现

从智能天线的功能和对网络的影响出发，阐述了在不同规划阶段，如何利用规划工具实现智能天线的功能模拟。     

一种SYN Flood DoS攻击工具的实现

为检测目标主机是否存在DoS漏洞及承受DoS攻击的能力,在Linux平台上实现一个基于SYN Flood的DoS攻击工具。首先,介绍SYN Flood攻击原理。然后利用原始套接字结合IP欺骗技术,实现SYN Flood攻击报文的构造和发送,实现了基于SYN Flood攻击工具synAttacker。最后,利用synAttacker进行测试,并对测试结果进行分析。测试结果表明synAttacker能够进行有效的SYN Flood攻击,可以作为DoS渗透攻击工具。     

集成化专家数据库系统工具的研究与实现

本文旨在研究智能软件与计算机主流技术相结合，特别是与数据库技术相结合的理论和技术，提供一种集逻辑程序设计范例、面向对象程序设计范例和面向智能体程序设计范例于一体的多范例合成语言，研究并实现一个适合于开发不同类型专家系统以及进行知识与数据集成处理的工具系统。