Abstrakt. Vi undersöker en tillämpning av RFID som i litteraturen kallas gruppskanning, där flera taggar "samtidigt" skannas av en läsenhet. Vårt mål är att studera problemet med gruppskanning i starka kontradiktoriska modeller. Vi presenterar en säkerhetsmodell för denna applikation och ger en formell beskrivning av de deltagande säkerhetskraven, med fokus på integritet (anonymitet) för de grupperade taggarna, och / eller framåt-säkerhet egenskaper. Vår modell är baserad på Universal Composability-ramverket och stöder återanvändbarhet (genom modulära säkerhetsgarantier). Vi introducerar nya protokoll som förverkligar säkerhetsmodellerna, med fokus på effektiva lösningar baserade på off-the-shälf-komponenter, såsom högoptimerade pseudo-random-funktionsdesigner som kräver färre än 2000 Gate-Equivalents.
REF föreslog tre RFID-protokoll i starka motståndaremodeller.
Provably secure grouping-proofs for RFID tags ⋆
{'venue': 'CARDIS', 'journal': None, 'mag_field_of_study': ['Computer Science']}