Supported by National Natural Science Foundation of China (No. 60572147) ;National "111" Program of Introducing Talents of Discipline to Universities (No. B08038)
A new type of despreader for direct sequence spread spectrum signal is proposed. Compared with traditional despreaders, the new despreader does not contain hard decision ware or handle binary sequence any more, and th...
Supported by the National Natural Science Foundation of China (No.60572147);State Key Laboratory Specific Foundation (ISN090307);the 111 Project (B08038)
Security protocols are the basis of many mobile communication systems,thus it is important to ensure protocol property correct. Using Protocol Composition Logic (PCL),this paper proves a Mobile IP (MIP) registration p...