The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We propose a formal model to verify authentication protocols with timeout strategy. After investigating a state-of-the-art model checker named SATMC, the connotative time involved in the rule labels is revealed and utilized, which allows us to re-evaluate the security of authentication protocols with timeout strategy. We illustrate our model by analyzing the security of NSPK protocol. Finally, the...
In this paper, we describe a man-in-the-middle attack against one of the high confidence and efficient privacy RFID protocols recently proposed by Santi and Megda. The attack, during which an intruder can impersonate a valid reader or a tag and forge a set of messages to communicate with the honest agents, destroys the assumed authentication of the protocol, one of the important properties of secure...
We have found a new man-in-the-middle attack on the BAN modified Andrew Secure RPC protocol with a model-checker based on SAT. Subsequently, we have reasoned about vulnerability of the protocol and propose a remedial method to improve the protocol. The method, simple and effective, can be helpful to analyze and design other security protocols.
Using the microwave sintering technology, the effects of phosphorus (P) additions on the microstructure and properties of the ultrafine WC-10Co alloys were investigated. The experimental results show that with only 0.3wt% P additions, full density WC-10Co cermets were obtained at temperature of 1250 °C, which is 70 °C lower than that of the undoped counterparts. Lower sintering temperature can result...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.