Abstract-Kontrollera konfidentiell information i samtidiga system är svårt, på grund av dolda kanaler som härrör från interaktion mellan trådar. Detta problem förvärras om trådar delar resurser med fin granularitet. I detta arbete föreslår vi ett nytt övervakningsramverk för att upprätthålla en stark informationssäkerhet i samtidiga program. Våra monitorer är hybrida, kombinerar dynamisk och statisk programanalys för att upprätthålla säkerheten på ett ljudligt och ganska exakt sätt. Inom vår ram bevakas varje tråd av sin egen lokala övervakare, och det finns en enda global övervakare. Vi omedelbart vår övervakning ram för att stödja förlita-garanti stil resonemang om användningen av delade resurser, vid granulariteten av enskilda minnesplatser, och sedan specialisera lokala övervakare ytterligare för att genomdriva flödeskänsliga framsteg-känslig information-flöde kontroll. Våra lokala monitorer utnyttjar beroende-garanti-stil resonemang om delat minne för att uppnå hög precision. Alla övervakare är samarbetsvilliga när det gäller att se till att det finns ett sunt resonemang i fråga om förlitan på garantier. Den globala monitorn åberopas endast när trådar synkroniseras, och därmed inte i onödan begränsar samstämmigheten. Vi bevisar att vår hybridövervakning innebär att ett kunskapsbaserat framstegskänsligt icke-inblandningssäkert tillstånd upprätthålls.
Askarov m.fl. REF inför ett framstegskänsligt ramverk för hybridövervakning där fokus ligger på samtidiga program, och användningen av stöd-garanti resonemang för att möjliggöra finkornig delning av variabler mellan trådar.
Hybrid Monitors for Concurrent Noninterference
{'venue': '2015 IEEE 28th Computer Security Foundations Symposium', 'journal': '2015 IEEE 28th Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}