Abstract-Under de senaste åren har det visat sig att dynamisk övervakning kan användas för att på ett sunt sätt genomdriva informationsflöde politik. För program som distribueras i källkod eller bytekod form, användningen av just-in-time (JIT) sammanställning gör det svårt att genomföra övervakning genom att ändra språkruntime systemet. En inliner undviker detta problem och tjänar också till att övervaka mer än en gång. Vi visar hur man inline en informationsflödesövervakare, särskilt en flödeskänslig en tidigare visat sig driva uppsägning okänslig noninterference. Vi bevisar att den inlagda versionen är observationsmässigt likvärdig med originalet.
Chudnov och Naumann REF föreslår en bevisligen korrekt inliner för en informationsflödesövervakare.
Information Flow Monitor Inlining
{'venue': '2010 23rd IEEE Computer Security Foundations Symposium', 'journal': '2010 23rd IEEE Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}