Timing-Sensitive Noninterference through Composition

DOI10.1007/978-3-662-54455-6_1zbMath1444.68044OpenAlexW2602832808MaRDI QIDQ3304803

Lujo Bauer, Limin Jia, Willard Rafnsson

Publication date: 3 August 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54455-6_1

zbMATH Keywords

timing channelcovert channelcompositionality resultschedule strategysecurity property

Mathematics Subject Classification ID

Computer security (68M25)

Uses Software

• FlowFox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebra for timed systems
• The Theory of Timed I/O Automata
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• Transforming out timing leaks
• A uniform type structure for secure information flow
• Topics in Cryptology – CT-RSA 2006