En viktig utmaning i dynamisk informationsflödesanalys är att hantera implicita flöden, där koden är villkorad av en privat variabel uppdaterar en offentlig variabel x. Den naiva metoden att uppgradera x till privata resultat i x delvis läckas, där dess värde innehåller privata data, men dess etikett kan förbli offentlig på ett alternativt utförande (där den villkorliga uppdateringen inte genomfördes). Tidigare arbete föreslog den okänsliga-uppgraderingskontroll, som hanterar implicita flöden genom att förbjuda delvis läckta data, men försök att uppdatera en offentlig variabel från ett privat sammanhang orsakar utförande att fastna. För att komma till rätta med denna begränsning utvecklar vi en sund men flexibel strategi för att tillåta förbättringar. För att förhindra informationsläckage är delvis läckta data tillåtna men noggrant spårade för att säkerställa att de aldrig helt läcker. Denna uppgraderingsstrategi är mer flexibel än tidigare tillvägagångssätt, t.ex. Enligt strategin med efterlåten uppgradering ska delvis läckta data märkas som privata innan de används i ett villkorat test, vilket säkerställer att de är privata för både det aktuella utförandet och alternativa genomförandevägar. Detta dokument presenterar också en dynamisk analysteknik för att härleda dessa privatiseringar och infoga dem i programmets källkod. Kombinationen av dessa tekniker gör det möjligt att köra fler program för att slutföra, samtidigt som den garanterar uppsägning-okänslig icke-interferens på ett rent dynamiskt sätt.
Deras senare arbete REF ersätter regeln om okänslig uppgradering med en regel om uppgradering som medger hantering av delvis inrapporterad information.
Permissive dynamic information flow analysis
{'venue': "PLAS '10", 'journal': None, 'mag_field_of_study': ['Computer Science']}