Formal Modeling and Reasoning about the Android Security Framework / Armando, Alessandro; Costa, Gabriele; Merlo, Alessio. - 8191:(2013), pp. 64-81. [10.1007/978-3-642-41157-1_5]
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
tgc2012.pdf
non disponibili
Licenza:
Non specificato
Dimensione
538.3 kB
Formato
Adobe PDF
|
538.3 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
