Reference : A class of precomputation-based distance-bounding protocols

	Document type :	Scientific Presentations in Universities or Research Centers : Scientific presentation in universities or research centers
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/26836

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 :	16-Mar-2016
Number of pages :	2
Audience :	International
Event name :	Grande Region Security and Reliability Day 2016
Event date :	16-03-2016
Event organizer :	LORIA-INRIA Nancy
Event place (city) :	Nancy
Event country :	France
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. We formalize 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 present a novel family of protocols in this class that resists well to mafia fraud attacks.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/26836
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 grsrd16.pdf Publisher postprint 124.43 kB View/Open Additional material(s): File Commentary Size Access Open access grsrd16-presentation.pdf Slides 621.04 kB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map