I detta dokument inleder vi en formell studie av säkerhet på Android: Googles nya open-source-plattform för mobila enheter. Specifikt, Vi presenterar en kärna skrivit språk för att beskriva Android-program, och för att resonera om deras dataflöde säkerhetsegenskaper. Vår operativa semantik och typsystem ger några nödvändiga grunder för att hjälpa både användare och utvecklare av Android-program hantera sina säkerhetsproblem.
Chaudhuri REF presenterade en formell studie av Android säkerhet.
Language-based security on Android
{'venue': "PLAS '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}