Formal analysis of authentication in 802.11i

Authentication is the basis of the security of IEEE 802.11i standard. The authentication process in 802.11i involves two important protocols: a 4-way handshake and a group key handshake. A formal analysis of authentication in 802.11i is given via a belief multisets formalism. The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication, key management, and issue of a new group temporal key from an access point to a user device, under the guarantee of mutual possession of a confidential pairwise master key. The analysis also shows that there exists a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.     

基于通信的列车控制系统工程设计中需注意的几个问题

根据上海轨道交通8号线的实践经验,对地铁基于通信的列车控制(CBTC)系统工程设计中需要注意的几个具体问题,如:辅助轨旁系统的选用、轨旁无线设备的安装方式、轨旁无线接入点设备的供电方案、骨干通信网的选择等进行了讨论,并给出了解决建议。     

主理想整环上有限生成模的结构定理的逆定理

本文证明了下述结论 :若 R为唯一分解整环 ,则下列两条件之一皆等价于 R为主理想整环 :( 1 )任给 A∈ Mm,n( R) ,则必有 R上的可逆矩阵 P,Q使 PAQ=diag{d1,d2 ,… ,dr,0 ,… ,0 };( 2 ) M是有限生成 R—模 ,则存在唯一的 t∈ Z,r∈ R,使 M R( t) R/( r1) … R/( rs)　 ri| ri+ 1,i=1 ,… ,s- 1。     

基于PAC的沥青混合料拌和设备实训装置的研制

为了更加高效、低成本地培训操作、维修人员,基于GE智能平台的PACSystems RX3i控制器、VersaMax远程I/O和iFIX组态软件设计了一套能够模拟沥青混合料拌和设备生产现场和各种故障的实训装置。介绍了实训装置的面板设计,控制系统的硬件组成和软件设计。实际应用效果良好,值得推广应用。     

宝马X6轿车电子驻车制动系统结构及维修

介绍宝马X6轿车电子驻车制动系统结构、基本功能和保养维护方法,并通过对具体故障的分析诊断,提出故障检测和排除方法。     

大纵坡桥梁40mT梁架设安装的安全控制

文章结合贵州茅台八标新田大桥40mT梁的架设安装工程实例，介绍了大坡度桥梁40mT梁在架设安装中最容易发生安全事故的几个关键环节，指出保证40mT梁架设安装安全的控制要点，为大纵坡桥梁T梁的架设安装提供借鉴。     

基于RTP/RTCP的音视频WiFi传输系统的设计

本系统设计了一个无线WiFi音视频传输方案,可用于视频监控,视频教学,旅游导游等领域.系统采用i.MX27多媒体处理器,WiFi模块采用基于IEEE802.11b的无线协议,流媒体传输采用RTP/RTCP协议,视频的编解码采用成熟的MPEG4标准,实现基于2.4GHz无线网络传输的音频流和视频流数据的传输.实现了音视频的WiFi传输,在接收端音视频还原流畅.     

内皮素-1对体外培养的牛眼小梁细胞内钙离子浓度的影响

目的了解内皮素-1(ET-1)对小梁细胞收缩状态调节的作用方式,以求探索新的有效而不良反应小的抗青光眼药物。方法通过组织块培养的方法获得三代牛眼小梁细胞,Fulo-3/AM负载后于激光扫描共聚焦显微镜(LSCM)下动态扫描不同浓度ET-1作用后胞内荧光强度变化,得出[Ca2+]i值。结果10-9、10-8、10-7mol/L ET-1可使小梁细胞[Ca2+]i呈剂量依赖性升高,其中10-8mol/L的ET-1可使小梁细胞[Ca2+]i由327.5±24.57升高至373.60±40.18(n=8,P<0.01)。结论一定浓度的ET-1可通过收缩小梁网而致眼内压升高;其受体阻滞剂或转换酶抑制剂可能为原发性开角型青光眼的治疗开辟新途径。     

802.lli与无线局域网安全

文章介绍了无线局域网（WLAN）802.11协议的安全性能缺陷,介绍了802.11i协议所提供的安全机制,并对802.11i协议的安全性和实用性进行了分析.     

基于传感网的铁路货场智能系统研究与开发

提出基于传感网络的货场监控系统的设计架构,利用各种传感器和单片机实现货场的安全监控。本系统在火灾、水害、有害气体浓度过高,非法人员闯入盗窃时,自动启动应急预案,利用TC35i自动拨打急救电话。通过GSM网络发送短信给相关人员,在仓库内采用声光报警方式通知相关人员,在最短时间完成预警,并启动相应措施。