Reference : A Class of Precomputation-based Distance-bounding Protocols

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/28202

Title :	A Class of Precomputation-based Distance-bounding Protocols
Language :	English
Author, co-author :	Mauw, Sjouke [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Toro Pozo, Jorge Luis [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Trujillo Rasua, Rolando [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	2016
Main document title :	Proceedings of the 1st IEEE European Symposium on Security and Privacy
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-5090-1751-5
Event name :	2016 IEEE European Symposium on Security and Privacy
Event date :	from 21-03-2016 to 24-03-2016
Event place (city) :	Saarbrücken
Event country :	Germany
Abstract :	[en] Distance-bounding protocols serve to thwart various types of proximity-based attacks, such as relay attacks. A particular class of distance-bounding protocols measures round trip times of a series of one-bit challenge-response cycles, during which the proving party must have minimal computational overhead. This can be achieved by precomputing the responses to the various possible challenges. In this paper we study this class of precomputation-based distance-bounding protocols. By designing an abstract model for these protocols, we can study their generic properties, such as security lower bounds in relation to space complexity. Further, we develop a novel family of protocols in this class that resists well to mafia fraud attacks.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/28202
DOI :	10.1109/EuroS&P.2016.19
FnR project :	FnR ; FNR10188265 > Jorge L. Toro Pozo > > Symbolic verification of distance-bounding and multipartyauthentication protocols > 01/06/2015 > 30/04/2018 > 2015

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access MTT16_AuthorCopy.pdf Author preprint 293.58 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map