Vi presenterar en konsekvent analys metod för att hjälpa Linux-communityn att verifiera riktigheten av behörighets krok placering i Linux Security Modules (LSM) ramverket. LSM-ramverket består av en uppsättning behörighetskrokar som infogas i Linuxkärnan för att göra det möjligt att utföra ytterligare behörigheter (t.ex. för obligatorisk åtkomstkontroll). Jämfört med systemanropsinterposition har behörighet inom kärnan både säkerhets- och prestandafördelar, men det är svårare att verifiera att placeringen av LSM-krokarna säkerställer att alla kärnans säkerhetskänsliga operationer är auktoriserade. Statisk analys har tidigare använts för verifierad medling (dvs. att vissa hakar förmedlar tillgång till en säkerhetskänslig operation), men detta arbete fastställde inte huruvida de nödvändiga behörigheterna kontrollerades. I detta dokument utvecklar vi en strategi för att testa överensstämmelsen mellan säkerhetskänsliga operationer och LSM-krokar. Tanken är att när en säkerhetskänslig operation utförs som en del av en specifik händelse, måste en viss uppsättning LSM-krokar ha förmedlat denna operation. Detta arbete visar att antalet händelser som påverkar konsekvensen är hanterbart och att begreppet konsekvens är användbart för att kontrollera korrektheten. Vi beskriver vårt konsekventa tillvägagångssätt för att utföra verifiering, genomförandet av run-time-verktyg som implementerar detta tillvägagångssätt, de avvikande situationer som finns i en LSM-patched Linux 2.4.16 kärna, och en implementering av en statisk analysversion av detta tillvägagångssätt.
Vali REF är ett körtidsverktyg för att bestämma överensstämmelsen hos krokplaceringen i LSM.
Consistency analysis of authorization hook placement in the Linux security modules framework
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}