We study the Mifare Ultralight cards in detail, and we present a new secure method for the recharge of these RFID disposable tickets that also extends to the case of multiple resources on a single device. We specify a formal but yet realistic semantics of these cards, and we also define a simple imperative language suitable to program secure APIs. In fact, the language is provided with a type-system enforcing security properties on resources stored in the card.
Analysis and development of Security APIs for disposable RFID tickets
FOCARDI, Riccardo;LUCCIO, Flaminia
2011-01-01
Abstract
We study the Mifare Ultralight cards in detail, and we present a new secure method for the recharge of these RFID disposable tickets that also extends to the case of multiple resources on a single device. We specify a formal but yet realistic semantics of these cards, and we also define a simple imperative language suitable to program secure APIs. In fact, the language is provided with a type-system enforcing security properties on resources stored in the card.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ASA11.pdf
non disponibili
Tipologia:
Abstract
Licenza:
Accesso chiuso-personale
Dimensione
138.13 kB
Formato
Adobe PDF
|
138.13 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
