VxWorks下的TCP/IP协议

介绍了VxWorks下TCP/IP协议的实现方式。通过对socket属性的分析,解决了网络连接判断的不准确性和由此导致的网络任务阻塞。     

基于FPGA的IP Core设计

文章基于8253的工作原理,结合ALTERA公司的FLEX10KE产品的特点,采用VHDL硬件描述语言与原理图两种设计方式,对8253进行层次化、模块化、参数化的逻辑设计,编写8253的各个功能模块,对设计的所有模块进行仿真验证。将完成的设计最终配置到FLEX10KE芯片上,经调试验证了设计的正确性。     

基于嵌入式TCP／IP系统的智能家居实现

基于嵌入式TCP／IP技术的成熟以及单片机控制技术的发展,将两种技术相结合,构成行之有效的LIN总线布局,实现网络式控制家居中的单个电器及能够控制的设备,进而实现智能家居。     

IP传真技术的设计与实现

随着Internet的高速发展,基于IP技术的各种增值性业务不断出现。论述了IP传真技术的基本实现方法、系统总体结构设计以及技术难点的解决方案,并结合典型应用组网实现其数据配置。     

基于IP的视频会议技术及其在远程教育中的应用

本文介绍了远程教育的模式、视频会议关键技术 ,阐述了基于IP的视频会议技术的两种方案 ,并分析了这两种方案的优缺点。PC的普及、服务质量保证和网络带宽的迅速增加 ,为基于IP的视频会议技术的远程教育实施提供了更广阔的应用范围。     

某办公楼加层改造设计及分析

介绍复杂体型多层办公楼加层改造实例,阐述加层改造中砌体补强、新旧梁连接、新旧柱连接等构造的处理方法。     

基于XMPP协议的android聊天室的设计

QQ、MSN等聊天工具已经成为我们生活中的一部分,无论是工作还是生活,我们已经离不开IM工具.由于近几年手机的普及尤其是android手机的走热,android手机上的IM聊天软件对于android用户来说是一款非常实用的软件.当前的IM软件已经不只是简单的聊天工具,还有很多附加功能,例如定位服务,发送文件功能等,更是人们喜欢IM的主要原因之一.采用XMPP协议的android聊天室,服务器搭建使用开源的OPENFIRE实现登录web服务端对用户进行管理,and roid客户端实现与好友通信,文件的接收和发送功能,定位当前地理信息等.PC端的spark客户端可以与android平台的客户端进行实时的通信,实现PC端与手机端的通信功能.     

浅谈IP地址的管理和子网的划分

针对目前互连网上许多用户不能合理使用和分配IP地址,造成大量IP地址浪费,从而导致IP地址资源紧张的现象。阐述了如何利用划分子网以及对IP地址进行合理的分配和管理,从而有效地节约IP地址资源。     

基于STM32的BACnet协议设计研究

本文在分析和研究BACnet协议的基础上,在STM32上设计一个移植性好、可裁剪的、可扩展的BACnet协议栈.在设计协议栈的过程中,根据协议栈的层次不同,把BACnet分成三个主要模块:应用层、网络层和数据链路层,并对BACnet协议数据链路层MS/TP、网络层功能进行了测试实现,具有较强的实际参考意义.     

TLS握手协议的计算模型分析*

本文用BR模型对TLS握手协议进行了计算分析与安全性证明. TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中. 本文对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.     

安全协议形式化分析的不变式生成技术

给出了应用于不同系统的不变式的概述, 分析了彼此之间的关系, 进行了分类, 并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义, 可用于协议认证和秘密性的证明, 从而成为许多协议形式化分析工具和技术的核心     

基于跨层包大小优化的DTN节点存储资源管理机制

在延迟容忍网络中,应用数据的成功交付依赖于节点存储器的保管.提高节点存储资源利用率有助于减轻网络拥塞,增加网络容量.DTN各层协议数据单元大小影响节点存储资源使用效率,提出一种基于跨层包大小优化的节点存储资源管理机制OSUS.OSUS可根据当前信道状况自适应调节Bundle大小和传输层帧大小,最大化节点存储资源利用率.实验仿真表明,相比于传统不采用自适应机制的方案,OSUS可以提升平均15%的节点存储资源利用率.     

基于WAP协议的手机网络中体育新闻的传播学分析

随着信息技术的高速发展,WAP手机网络逐渐成为体育信息传播的主要途径之一。本文分析了体育信息在WAP手机网络传播过程中的特点,阐述了WAP手机网络中体育信息受众和内容的特征,最后探讨了WAP手机网络体育信息传播过程中存在的问题,并提出了相应的对策。     

基于广义和校准马氏距离对IP地址威胁程度的诊断

域名系统(DNS)是互联网的重要组成部分.维护DNS健康安全对整个互联网的正常运行具有十分重要的意义.通过监测并屏蔽对域名服务器具有潜在威胁的用户IP地址,达到维护DNS健康安全的目的.本文提出基于广义和校准的马氏距离2种方法,综合多个指标对IP地址的威胁程度进行诊断.这2种方法可以解决协方差阵不可逆的情形.将2种改进的马氏距离应用到实际访问DNS报文数据分析中,结果表明,它们在诊断IP的威胁程度上是非常有效的.     

基于符号表达式的未知协议格式分析及漏洞挖掘

针对网络通讯软件的Fuzzing技术受限于协议格式,尤其是未知协议难以保证测试效果,提出了基于符号表达式的协议分析方法.将数据包关键处理代码翻译为符号表达式,利用符号表达式的丰富含义加快未知协议格式分析,并依此开发了协议格式分析及漏洞挖掘框架PAVD.通过对亿邮客户端的漏洞测试,验证了PAVD能有效提升协议分析效率,为网络通讯软件Fuzzing测试提供良好的支持.     

一种混合的安全协议形式化分析技术

分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.     

基于码分多址和防碰撞功能 的RFID安全认证协议

利用码分多址技术的保密性、抗干扰性和多址通信能力,结合认证密钥和Hash函数,设计了一种适用于RFID系统且具有防碰撞功能的安全认证协议. 理论和分析表明:与常用的安全认证协议相比,新协议在保证一定复杂度基础上,不仅能有效地解决标签的碰撞问题,而且可抵抗包括重传、跟踪、阻断和篡改在内的多种攻击手段,尤其针对来自系统内安全威胁,具有一定的安全性和实用性.     

基于Strand空间分析具有类型缺陷的认证协议

通过去除Strand空间中的强类型抽象假设,引入Strand模板的概念与一个入侵者的伪操作,进而利用认证测试方法,实现了对具有类型缺陷的认证协议的直接分析.     

基于跨层设计的无线网络通信多媒体传输技术研究

针对无线网络通信在数据分组传送阶段存在的通信冗余问题,提出了一种新颖的网络编码和跨层设计相结合的高效路由算法,以根据各种服务质量约束混合网络吞吐量。文章开发了一种基于NC的启发式链路控制路由树算法,以减少所需的中间节点的数量。该算法通过新颖的跨层设计,有利于优化无线组播速率、无线链路数据流、能量供应和节点寿命。最后设计实验对提出的算法进行验证,结果表明,所提出的方案可以较为明显地提高整个无线传感器网络的通信性能。