Gemensamma skyddsmekanismer misslyckas med att tillhandahålla end-to-end säkerhet; program med legitim tillgång till hemlig information hindras inte från att läcka detta till världen. Information-flöde medvetna analyser spåra flödet av information genom programmet för att förhindra sådana läckage, men ofta ignorera informationsflöden genom dolda kanaler även om de utgör ett allvarligt hot. En typisk dold kanal är att använda tidpunkten för vissa händelser för att överföra information. Vi presenterar en timing-medveten informationsflöde typ system för en låg nivå språk liknar en icke-trivial delmängd av en sekventiell Java bytekod. Typsystemet är parameteriserat över tidsmodellen av instruktionerna för språket och över algoritmen genomdriva lågobservational ekvivalens, som används för att förhindra implicita och timing flöden.
Hedin och Sands REF presenterar ett typ-system för att förhindra externa timing attacker för bytekod.
Timing Aware Information Flow Security for a JavaCard-like Bytecode
{'venue': 'In Proceedings of BYTECODE, ETAPS’05', 'journal': None, 'mag_field_of_study': ['Computer Science']}