Nuvarande app butiker distribuerar vissa malware till intet ont anande användare, även om processen för godkännande av appen kan vara kostsam och tidskrävande. High-Integrity app butiker måste ge starkare garantier för att deras appar inte är skadliga. Vi föreslår en verifieringsmodell för användning i sådana appbutiker för att garantera att apparna är fria från skadliga informationsflöden. I vår modell samarbetar programvaruleverantören och appbutiksrevisorn -var och en gör uppgifter som är enkla för henne/hon själv, vilket minskar den totala verifieringskostnaden. Programvaran leverantören ger en beteendespecifik specifikation av informationsflödet (vid en finare granularitet än som används av nuvarande app butiker) och källkod kommenteras med informationsflöde typ kvalificerare. Ett flödeskänsligt, sammanhangskänsligt system för informationsflöde kontrollerar dataflödestypkvalificeringarna i källkoden och visar att endast informationsflöden i specifikationen kan förekomma på drifttid. App storerevisorn använder den leverantörstillhandahållna källkoden för att manuellt verifiera avklassificeringar. Vi har implementerat information-flöde typsystem för Android-appar skrivna i Java, och vi utvärderade både dess effektivitet att upptäcka informationsflöde överträdelser och dess användbarhet i praktiken. I en kontradiktorisk utvärdering av Red Team analyserade vi 72 appar (576.000 LOC) för skadlig kod. De 57 trojaner bland dessa hade skrivits specifikt för att besegra en malware analys såsom vår. Inte desto mindre, vårt informationsflöde typ system var effektivt: det upptäckte 96% av malware vars skadliga beteende var relaterad till informationsflödet och 82% av alla malware. Utöver den kontradiktoriska utvärderingen har vi utvärderat hur praktiskt det är att använda samarbetsmodellen. Anteckningsbördan för programmeraren är låg: 6 annoteringar per 100 LOC. Varje ljudanalys kräver en människa att granska potentiella falska alarm, och i våra experiment, detta tog 30 minuter per 1000 LOC för en revisor som inte är bekant med appen.
Ernst et al REF föreslog en verifieringsmodell, SPARTA, för användning i appbutiker för att garantera att appar är fria från skadliga informationsflöden.
Collaborative Verification of Information Flow for a High-Assurance App Store
{'venue': "CCS '14", 'journal': None, 'mag_field_of_study': ['Computer Science']}