I detta dokument undersöks en flödes- och vägkänslig analys av statiskt informationsflöde. Jämfört med säkerhetssystem med fasta etiketter har det visat sig att flödeskänsliga system accepterar säkrare program. Vi visar att en informationsflödesanalys med fasta etiketter kan vara både flödes- och vägkänslig. Den nya analysen har två huvudkomponenter: 1) en allmän-purpose program transformation som tar bort falska dataflöde beroenden i ett program som förvirrar en fast etikett typsystem, och 2) en fast etikett typsystem som tillåter säkerhetstyper att bero på vägförhållanden. Vi bevisar formellt att den föreslagna analysen tvingar fram en rigorös säkerhetsfastighet: icke-inblandning. Dessutom visar vi att analysen är strikt mer exakt än ett klassiskt flödeskänsligt typsystem, och det möjliggör sund kontroll av informationsflödet i närvaro av muterbara variabler utan att använda run-time mekanismer.
Li och Zhang REF föreslog både flödeskänslig och vägkänslig informationsflödesanalys med teknik för programomvandling och beroende typer.
Towards a Flow- and Path-Sensitive Information Flow Analysis
{'venue': '2017 IEEE 30th Computer Security Foundations Symposium (CSF)', 'journal': '2017 IEEE 30th Computer Security Foundations Symposium (CSF)', 'mag_field_of_study': ['Computer Science']}