Abstrakt. Vi presenterar en formell modell för statliga säkerhetsprotokoll. Denna modell används för att definiera ägande och ägaröverlåtelse som begrepp såväl som säkerhetsfastigheter. Dessa definitioner grundar sig på en intuitiv uppfattning om ägandet i samband med det fysiska ägandet. De syftar till RFID-system, men bör vara tillämpliga på alla scenarier som delar samma intuition om ägande. Vi diskuterar sambandet mellan ägande och begreppet desynkroniseringsmotstånd och ger den första formella definitionen av det senare. Vi tillämpar våra definitioner på befintliga RFID-protokoll, utvisar attacker mot desynkroniseringsmotstånd, säker ägarskap och säker ägaröverföring.
Deursen, Mauw, Radomirović och Vulllers REF införde en formell definition av säker ägaröverföring i RFID-system.
Secure ownership and ownership transfer in RFID systems
{'venue': 'In Proceedings of the 14th European Symposium on Research in Computer Security, ESORICS 2009, Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}