Temporal epistemisk logik är en väletablerad ram för att uttrycka agenternas kunskap och hur den utvecklas över tiden. Inom språkbaserad säkerhet är detta centrala frågor, till exempel i samband med avklassificering. Vi föreslår att dessa två områden sammanförs. Papperet presenterar en beräkningsmodell och en epistemisk temporal logik som används för att resonera om kunskap som förvärvats genom att observera programutgångar. Detta tillvägagångssätt visar sig på ett elegant sätt fånga upp standardbegrepp om icke-interferens och avklassificering i litteraturen samt informationsflödesegenskaper där känsliga och offentliga data sammanblandas på känsliga sätt.
Temporal epistemisk logik används för att uttrycka informationsflöde säkerhetsstrategier REF.
Epistemic temporal logic for information flow security
{'venue': "PLAS '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}