Säker maskinvarudesign är en utmanande uppgift som går långt utöver att säkerställa funktionell korrekthet. Viktiga konstruktionsegenskaper såsom icke-interferens kan inte verifieras på funktionella kretsmodeller på grund av bristen på väsentlig information (t.ex. känslighetsnivå) för resonemang om säkerhet. Maskinvaruinformationsflödesspårningsteknik (IFT) associerar dataobjekt i maskinvarudesignen med känslighetsetiketter för modellering av säkerhetsrelaterade beteenden. De gör det möjligt för konstruktören att testa och verifiera säkerhetsegenskaper relaterade till sekretess, integritet och logiska sidokanaler. Det kan dock vara dyrt att exakt redovisa varje bit av informationsflödet på hårdvarunivå. I detta arbete fokuserar vi på precisionen i IFT-logiken. Den viktigaste idén är att selektivt införa endast ett sidofel (falska positiva), som ger ett konservativt och säkert informationsflöde och samtidigt minskar komplexiteten i säkerhetslogiken. Vi undersöker effekten av logiksyntes på kvaliteten och komplexiteten hos hårdvara IFT och avslöjar hur olika logiska syntesoptimeringar påverkar mängden falska positiva och designmässiga overheader för IFT-logik. Vi föreslår nya tekniker för att ytterligare förenkla IFT-logiken samtidigt som vi lägger till nej, eller bara ett minsta antal falska positiva. Dessutom tillhandahåller vi en lösning för att kvantitativt införa falska positiva värden för att påskynda säkerhetsverifieringen av informationsflödet. Experimentella resultat med hjälp av IWLS-riktmärken visar att vår metod kan minska komplexiteten hos GLIFT med 14,47 % och samtidigt lägga till 0,20 % av falska positiva i genomsnitt. Genom att kvantitativt införa falska positiva värden kan vi uppnå en snabbare verifieringstid på upp till 55,72 procent.
Nyligen utfört arbete undersöker kompromisser av logik syntes på precision och komplexitet av GLIFT som kan användas för att generera ytterligare förenklad logik och minska osäkerhet logik komplexitet för oförutse GLIFT modeller med selektivt införa falska positiva Ref.
Imprecise security: quality and complexity tradeoffs for hardware information flow tracking
{'venue': "ICCAD '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}