Efficient Protocol-Proving Algorithm Based on Improved Authentication Tests

A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by formalizing the message reply attack. With exact causal dependency relations between messages in this model, the protocol-proving algorithm can avoid the state explosion caused by asynchronous. In order to get the straight proof of security protocols, three authentication theorems are exploited for evaluating the agreement and distinction properties. When the algorithm terminates, it outputs either the proof results or the potential flaws of the security protocol. The experiment shows that the protocol-proving algorithm can detect the type flaw attack on Neuman-Stubblebine protocol, and prove the correctness of NSL protocol by exploring only 10 states.     

A Reliable Adaptive High-Definition Transmission System for Distance Learning

There is an increasing demand for supporting high-quality real-time audiovisual services for the next generation wired and wireless networks. However, due to variety of bandwidths of different networks, it is a great challenge for deployment. In this paper, a novel high-definition (HD) video transmission system was proposed which depends upon reliable compound multicast protocols and QoS control over the various kinds of networks. This system detects client's network condition and assigns it to a proper proxy. Each proxy is capable of detecting network parameters and adaptively tuning such transport parameters as bit rate, video resolution, frame rate and QoS mechanisms to this condition. It also provides FEC error recovery under consideration of characteristics of MPEG4 video codec. Our simulation demonstrates that different network clients such as ADSL, CERNET, and CERNET2 can receive more video reliability with less delay.     

LabVIEW在电站监控系统中的应用

主要研究了LabVIEW在电站监控系统中的应用;通过基于MODBUS协议的串口网络将船舶电站各发电机组及柴油机的信息存储到监控系统数据库,利用QUEUE技术解决了串口通讯的实时性问题;同时根据数据处理结果对相应发电机组执行操作,实时显示各机组的状态信息,进一步提高了船舶电站自动化的水平。