Timing-Sensitive Noninterference through Composition

DOI10.1007/978-3-662-54455-6_1MaRDI QIDQ3304803zbMATH OpenOpenAlexFDO

Authors Willard Rafnsson, Limin Jia, Lujo Bauer

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)

Recommendations

• Compositional non-interference for concurrent programs via separation and framing
• Formal Modeling and Analysis of Timed Systems
• Synthesis of Non-Interferent Timed Systems
• Control and synthesis of non-interferent timed systems
• Compositional system security with interface-confined adversaries

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 2060758 (Why is no real title available?)
• scientific article; zbMATH DE number 1538026 (Why is no real title available?)
• scientific article; zbMATH DE number 1884405 (Why is no real title available?)
• A process algebra for timed systems
• A uniform type structure for secure information flow
• The Theory of Timed I/O Automata
• Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems
• Topics in Cryptology – CT-RSA 2006
• Transforming out timing leaks

Cited in

(5)

• Compositional non-interference for concurrent programs via separation and framing
• Compositional system security with interface-confined adversaries
• Timing-sensitive information flow analysis for synchronous systems
• What Information Is Leaked under Concurrent Composition?
• Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

Describes a project that uses

Uses Software

• FlowFox

This page was built for publication: Timing-Sensitive Noninterference through Composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3304803)