Tidigare utvecklade vi ett typsystem för att säkerställa ett säkert informationsflöde i ett sekventiellt, tvingande programmeringsspråk [vSI96]. Programvariabler klassas som antingen hög eller låg säkerhet; intuitivt vill vi förhindra information från Bowing från höga variabler till låga variabler. Här utvidgar vi analysen för att hantera ett flertrådigt språk. Vi visar att det tidigare systemet är otillräckligt för att säkerställa en önskvärd säkerhetsfastighet som kallas icke-inblandning. Icke-interferens innebär i grund och botten att de slutliga värdena för låga variabler är oberoende av de initiala värdena för höga variabler. Genom att ändra mg den sekventiella typ systemet, kan vi garantera noninterference för samtidiga program. Avgörande för detta resultat är emellertid användningen av rent icke-deterministisk trådplanering. Eftersom det är problematiskt att genomföra sådana schemaläggningar visar vi också hur ett mer restriktivt typsystem kan garantera icke-inblandning, med tanke på en mer deterministisk (och lätt genomförbar) schemaläggningspolitik, t.ex. Slutligen tänker vi på konsekvenserna av att lägga till en klocka till språket.
Ett säkert informationsflöde på ett språk med möjlighet att skapa nya trådar övervägdes först i REF.
Secure information flow in a multi-threaded imperative language
{'venue': "POPL '98", 'journal': None, 'mag_field_of_study': ['Computer Science']}