Vi presenterar en ny teknik för att bestämma hur mycket information om ett programs hemliga ingångar avslöjas av dess offentliga resultat. I motsats till tidigare tekniker baserade på tillgänglighet från hemliga ingångar (tainting) uppnår det ett mer exakt kvantitativt resultat genom att beräkna ett maximalt informationsflöde mellan in- och utgångar. Tekniken använder statiska kontrollflödesregioner för att korrekt redovisa implicita flöden via grenar och pekaroperationer, men fungerar dynamiskt genom att observera ett eller flera programutföranden och ge numeriska flödesgränser specifika för dem (t.ex. "17 bits"). Det maximala flödet i ett nätverk ger också en minsta skärning (en uppsättning kanter som skiljer den hemliga indata från utdata), som kan användas för att effektivt kontrollera att samma policy är nöjd med framtida utföranden. Vi genomförde fallstudier på 5 riktiga C-, C++- och mål C-program, varav 3 hade mer än 250K kodrader. Verktyget kontrollerade flera säkerhetsprinciper, inklusive en som kränktes av ett tidigare okänt fel.
McCamant och Ernst REF presenterade en teknik för att mer exakt kvantifiera hur mycket information som avslöjas av den offentliga produktionen av C-liknande program.
Quantitative information flow as network flow capacity
{'venue': "PLDI '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}