I dagens värld av Internet, World-Wide Web och Google är informationen mer tillgänglig än någonsin tidigare. En olycklig följd av detta är att det är svårare än någonsin att skydda den känsliga informationens integritet. I detta dokument utforskar vi en teknik som kallas säker informationsflödesanalys. Anta att en del känslig information lagras på ett datorsystem. Hur kan vi förhindra att den läcker ut på ett otillbörligt sätt? Förmodligen det första tillvägagångssättet som kommer att tänka på är att begränsa tillgången till informationen, antingen genom att använda någon mekanism för åtkomstkontroll, eller genom att använda kryptering. Dessa är naturligtvis viktiga och användbara metoder, men de har en grundläggande begränsning - de kan förhindra att information lämnas ut, men de kan inte förhindra att den sprids. Om ett program på ett legitimt sätt behöver få tillgång till en del information, hur kan vi då vara säkra på att den inte på något sätt kommer att läcka ut informationen på ett otillbörligt sätt? Att bara lita på programmet är farligt. Vi kanske försöker övervaka dess utgång, men programmet kan enkelt dölja informationen. Dessutom är det ofta för sent att upptäcka efterfaktiska fakta. Överväg till exempel ett scenario med e-filiering av skatter. Jag kanske laddar ner ett skatteförberedelseprogram från någon leverantör till min hemdator. Jag skulle kunna använda programmet för att förbereda min skattedeklaration, skriva in min privata finansiella information. Programmet kan sedan skicka min skattedeklaration till skattemyndigheten elektroniskt, kryptera den först för att skydda dess sekretess. Men programmet kan också skicka faktureringsinformation tillbaka till säljaren så att jag kan debiteras för användningen av programmet. Hur kan jag vara säker på att denna faktureringsinformation inte i hemlighet omfattar min privata finansiella information? Tillvägagångssättet för säker informationsflöde analys innebär att utföra en statisk analys av programmet med målet att bevisa att det inte kommer att läcka känslig information. Om programmet passerar analysen, då kan det utföras på ett säkert sätt. Denna idé har en lång historia som går tillbaka till Dennings pionjärarbete på 1970-talet [9]. Det har sedan dess studerats i stor utsträckning, vilket framgår av Sabelfelds och Myers undersökning [22], som hänvisar till cirka 150 uppsatser. Vårt mål här är inte att duplicera den undersökningen, utan istället att förklara
Smith REF diskuterar några av kärnbegreppen i informationsflödesanalys.
Principles of Secure Information Flow Analysis
{'venue': 'Malware Detection', 'journal': None, 'mag_field_of_study': ['Computer Science']}