Tidskanaler utgör en form av hemliga kanaler genom vilka program kan läcka information om de konfidentiella uppgifter de manipulerar. Sådana timing kanaler elimineras vanligtvis genom design, med ad-hoc tekniker för att undvika information läcker genom exekveringstid, eller genom program transformation tekniker, som omvandlar program som uppfyller någon form av icke-interference egenskap till program som är tidskänsliga termineringskänsliga non-interfering. Befintliga programomvandlingar är dock hittills begränsade till enkla språk utan föremål eller undantag. Vi introducerar ett program transformation som använder transaktionsmekanismer för att förhindra timing läckor i sekventiella objektorienterade program. Under vissa starka men rimliga hypoteser bevarar omvandlingen semantiken hos program och avkastningar för varje termineringskänsligt icke-interfererande program ett tidskänsligt termineringskänsligt icke-interfererande program.
Barthe m.fl. REF introducerar en transaktionsbaserad programomvandlingsmetod för eliminering av timingläckor i sekventiella objektorienterade program med undantag.
Preventing Timing Leaks Through Transactional Branching Instructions
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}