Abstrakt. Vi tillhandahåller en formell modell för identifieringssystem. Enligt denna modell ger vi starka definitioner av säkerhet och integritet. Vår modell fångar idén om en kraftfull motståndare som kan övervaka all kommunikation, spåra taggar inom en begränsad tidsperiod, korrupta taggar, och få sidokanal information om läsarens utdata. Motståndare som inte har tillgång till denna sidokanal kallas trånga motståndare. Beroende på korruptionens begränsningar kallas motståndare för starka, destruktiva, framåtsträvande eller svaga motståndare. Vi får några separationsresultat: stark integritet är omöjligt. Smal-stark integritet innebär nyckelavtal. Vi bevisar också några konstruktioner: smal-stark och framåt integritet baserad på en offentlig-nyckel kryptosystem, smal-destruktiv integritet baserad på en slumpmässig orakel, och svag integritet baserad på en pseudorandom funktion. RFID-protokoll används för att identifiera billiga taggar via trådlösa kanaler. Men att sätta taggar i bärbara objekt leder till integritetsproblem. Även om flera integritetsmodeller finns hittills, alla har sina egna begränsningar, och slutligen, de klasser av protokoll som uppnår integritet för en modell eller den andra är inte alltid jämförbara. En allmänt accepterad flexibel modell som gör det möjligt att fastställa ett gemensamt mått på identifieringsprotokollets prestanda är fortfarande under uppbyggnad. Vi strävar efter att bidra till denna insats. För att göra detta föreslår vi formella definitioner av RFID-system och motståndare och överväger en dubbel karakterisering av ett system när det gäller säkerhet och integritet. Den förra bedömer riktigheten av taggautentisering. Den senare egenskapen är för förmågan att motstå motståndare som syftar till att identifiera, spåra eller länka taggar. I ett nötskal formaliserar vi flera typer av integritet och studerar inneboende begränsningar för RFID-tillämpningar. Vi diskuterar vilka restriktioner vi kan anta när det gäller taggkorruption och tillgänglighet av sidokanaler. Vi visar hur man uppnår dessa nivåer av integritet och vad som måste användas i termer av konventionella vs. publickey kryptography eller statslösa vs. rewritable taggar. Vi visar att den starkaste möjliga nivån av integritet innebär nyckelöverenskommelser, vilket innebär att användningen av vissa krypteringstekniker med öppen nyckel ska betingas. Vi presenterar ett enkelt protokoll för detta. Vi utgår från en mäktig motståndare som kan kontrollera all kommunikation och störa systemet. Billiga taggar är inte manipuleringsbeständiga så vi analyserar
Vaudenay REF föreslog först ett protokoll för taggautentisering baserat på en allmän allmän nyckelkryptering (PKE) med ett formellt säkerhetsbevis.
On Privacy Models for RFID
{'venue': 'ASIACRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}