När en motståndare upptäcker att ett program avslutas, kan konfidentiell information läckas ut genom att programmet avslutas i enlighet därmed. Även om denna termineringstäckande kanal har begränsad bandbredd för sekventiella program, är det en farligare källa till informationsläckage i samtidiga inställningar. Vi tar itu med samtidiga terminerings- och timingkanaler genom att presentera ett dynamiskt informationsflödeskontrollsystem som minskar och eliminerar dessa kanaler samtidigt som det gör det möjligt för terminering och timing att vara beroende av hemliga värden. Intuitivt, vi utnyttja samstämmighet genom att placera sådana potentiellt känsliga åtgärder i separata trådar. Medan uppsägning och timing av dessa trådar kan avslöja hemliga värden, kräver vårt system alla trådar som observerar dessa egenskaper för att höja sin informationsflödesetikett i enlighet därmed, vilket förhindrar läckor till mindre märkta sammanhang. Vi implementerar detta tillvägagångssätt i ett Haskellbibliotek och visar dess tillämplighet genom att bygga en webbserver som använder informationsflödeskontroll för att begränsa opålitliga webbapplikationer.
Stefan och Al. REF presenterar ett dynamiskt system för kontroll av informationsflöden som eliminerar terminerings- och interna tidskanaler och minskar externa tidskanaler, utan att förlita sig på samarbetsschemaläggning.
Addressing covert termination and timing channels in concurrent information flow systems
{'venue': "ICFP '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}