A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags. Issue 2 (2014) - Abughazalah, Sarah; Markantonakis, Konstantinos; Mayes, Keith
No abstract available