Research On Formal Analysis Of RFID Security Protocols And DRAP Protocol's Establish

With the rapid development of network communication, network security is gaining much more attention and security protocol analysis is considered a chief concern as well. There are various approaches to security protocol analysis, among which formal analysis method has been proved to be the most effective way at present.In recent years, RFID (Radio Frequency Identification) technique has been fully developed and successfully applied in different fields. Considering its special characteristics, it is still a challenging task to analyze and design a secure RFID security protocol of high efficiency and low cost, which has great significance to the fields, such as: security protocol, electronic commerce, RFID system.Based on strand space theory, the article built actions, events, strand and string space, realized modelize protocol substance, and determine the capability of attacker by communicater's ideal and honest ,and then locate the defect which is likely to occur in protocol substance.Secondly, it weighed the merit and demerit of the current RFID security protocol, made adjustment to it according to the result of BAN logic analysis method, and then came up with DRAP protocol adaptable to RFID system. Meanwhile, the thesis also gave an accurate description of both its advantage and disadvantage and the capability of attacker with the law of strand space theory.According to the previous result of research, the article finally conducted experiment with attack communication by hit the code simulate method, realized the above-mentioned model with C++ based on ACE(Adaptive Communication Environment) frame, obtained the relevant data with which the result of analysis has been prove correct.