Abstract-This paper försöker besvara grundläggande frågor om avvägningar mellan statiska och dynamiska säkerhetsanalyser. Det har tidigare visats att flödeskänslig statisk informationsflödesanalys är en naturlig generalisering av flödesinkänslig statisk analys, vilket gör det möjligt att acceptera säkrare program. Det har också visat sig att en sund, rent dynamisk tillämpning av informationsflödet är mer släpphänt än en statisk analys i det flödesokänsliga fallet. Vi hävdar att steget från flödesokänsligt till flödeskänsligt i grunden är begränsat för rent dynamiska informationsflödeskontroller. Vi visar att det är omöjligt för en ljuddynamisk informationsflödesmonitor som accepterar program certifierade av en klassisk flödeskänslig statisk analys. En sidoinverkan är omöjligheten av släpphänta dynamiska instrumenterade säkerhetssemantik för informationsflödet, vilket vägleder oss att avslöja en osund semantik från litteraturen. Vi presenterar en allmän ram för hybridmekanismer som är parameteriserade i den statiska delen och i reaktionsmetoden för verkställighet (stopp, undertrycka, eller skriva om) och ger säkerhetsgarantier med avseende på uppsägning okänslig icke-interferens för ett enkelt språk med utgång.
Russo och Sabelfeld REF diskuterar kompromisser mellan statiska och dynamiska analyser.
Dynamic vs. Static Flow-Sensitive Security Analysis
{'venue': '2010 23rd IEEE Computer Security Foundations Symposium', 'journal': '2010 23rd IEEE Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}