Abstrakt. Nuvarande verktyg för att analysera informationsflödet i program bygger på idéer som går tillbaka till Dennings arbete från 70-talet. Dessa system upprätthåller ett ofullständigt begrepp om informationsflöde som har blivit känt som termineringsinkänslig icke-inblandning. Enligt denna version av icke-inblandning är informationsläckage tillåtet om de överförs enbart genom programmets avslutningsbeteende (dvs. om det upphör eller inte). Denna brist är priset att betala för att ha ett säkerhetsvillkor som är relativt liberalt (t.ex. göra det möjligt för slingor vars uppsägning kan bero på värdet av en hemlighet) och lätt att kontrollera. Men exakt vad är priset? Vi hävdar att i närvaro av produktion, priset är högre än "en bit" ofta hävdade informellt i litteraturen, och effektivt sådana program kan läcka alla sina hemligheter. I detta dokument utvecklar vi en definition av uppsägning-okänslig icke-interferens lämplig för resonemang om program med utgångar. Vi visar att definitionen generaliserar "batch-job" stil definitioner från litteraturen och att den verkligen är nöjd med en Denning-stil programanalys med output. Även om mer än en bit av information kan läckas av program som uppfyller detta villkor, visar vi att det bästa en angripare kan göra är en brute-force attack, vilket innebär att angriparen inte tillförlitligt (i teknisk mening) lära sig hemligheten i polynom tid i storleken på hemligheten. Om vi vidare antar att hemligheter är jämnt fördelade, visar vi att fördelen angriparen vinner när du gissar hemligheten efter att ha observerat en polynom mängd av produktionen är försumbar i storleken på hemligheten.
För deterministiska system som de vi anser, bandbredden av läckande information genom att utnyttja utgångar i kombination med terminering är logaritmisk i storleken på hemligheten, dvs... det tar exponentiellt tid i storleken på hemligheten att läcka hela sitt värde REF.
Termination-Insensitive Noninterference Leaks More Than Just a Bit
{'venue': 'ESORICS', 'journal': None, 'mag_field_of_study': ['Computer Science']}