A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags. Issue 2 (2014)

Record Type:: Journal Article
Title:: A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags. Issue 2 (2014)
Main Title:: A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags
Authors:: Abughazalah, Sarah
Markantonakis, Konstantinos
Mayes, Keith
Is Part Of:: International journal of RFID security and cryptography. Volume 3:Issue 2(2014/2015)
Journal:: International journal of RFID security and cryptography
Issue:: Volume 3:Issue 2(2014/2015)
Issue Display:: Volume 3, Issue 2 (2014/2015)
Year:: 2014/2015
Volume:: 3
Issue:: 2
Issue Sort Value:: NaN-0003-0002-0000
Page Start:: 157
Page End:
Publication Date:: 2014
Subjects:: Radio frequency identification systems -- Periodicals
Cryptography -- Data processing -- Periodicals
006.24505
Journal URLs:: http://www.infonomics-society.org/IJRFIDSC/ ↗
DOI:: ↗
Languages:: English
ISSNs:: 2046-3715
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD Digital store
Ingest File:: 17614.xml