Abstrakt. Språkbaserad information-flöde säkerhet överväger program som manipulerar bitar av data på olika känslighetsnivåer. Att säkra informationsflödet i sådana program är fortfarande en öppen utmaning. På senare tid har betydande framsteg gjorts när det gäller att förstå dynamisk övervakning för ett säkert informationsflöde. I detta dokument presenteras en ram för att betona dynamiska informationsflödesövervakare. Ett nytt inslag i vårt ramverk är förmågan att utföra inlineing i farten. Vi anser att ett källspråk som innehåller dynamisk kodutvärdering av strängar vars innehåll kanske inte är känt förrän i drifttid. För att säkra denna konstruktion, vår inlineing görs i farten, vid sträng utvärderingstid, och, precis som konventionella offline inlineing, kräver ingen förändring av hosting runtime miljö. Vi presenterar en formalisering för ett enkelt språk för att visa att den inlagda koden är säker: det uppfyller en icke-interferens egendom. Vi diskuterar också praktiska överväganden och preliminära experimentella resultat.
Magazinius m.fl. I REF presenteras en dynamisk övervakning av informationssäkerhet på flygnivå.
On-the-fly inlining of dynamic security monitors
{'venue': 'IN PROC. IFIP INTERNATIONAL INFORMATION SECURITY CONFERENCE', 'journal': None, 'mag_field_of_study': ['Computer Science']}