The Compositional Security Checker: a tool for the verification of information flow security properties

1997 ◽  
Vol 23 (9) ◽  
pp. 550-571 ◽  
Author(s):  
R. Focardi ◽  
R. Gorrieri
Keyword(s):  
Information Flow ◽  
Information Flow Security ◽  
Security Properties

Analysis for Real-time Intransitive Information Flow Security Properties

2009 ◽  
Vol 4 (1) ◽  
Author(s):  
Yong Huang ◽  
Lingdi Ping ◽  
Shanping Li ◽  
Xuezeng Pan
Keyword(s):  
Real Time ◽  
Information Flow ◽  
Information Flow Security ◽  
Security Properties

Hardware Information Flow Tracking

2021 ◽  
Vol 54 (4) ◽  
pp. 1-39
Author(s):  
Wei Hu ◽  
Armaiti Ardeshiricham ◽  
Ryan Kastner
Keyword(s):  
Access Control ◽  
Computer Security ◽  
Information Flow ◽  
Hardware Security ◽  
Computing System ◽  
Security Vulnerabilities ◽  
Information Flow Tracking ◽  
Side Channels ◽  
Security Properties ◽  
Tools And Techniques

Information flow tracking (IFT) is a fundamental computer security technique used to understand how information moves through a computing system. Hardware IFT techniques specifically target security vulnerabilities related to the design, verification, testing, manufacturing, and deployment of hardware circuits. Hardware IFT can detect unintentional design flaws, malicious circuit modifications, timing side channels, access control violations, and other insecure hardware behaviors. This article surveys the area of hardware IFT. We start with a discussion on the basics of IFT, whose foundations were introduced by Denning in the 1970s. Building upon this, we develop a taxonomy for hardware IFT. We use this to classify and differentiate hardware IFT tools and techniques. Finally, we discuss the challenges yet to be resolved. The survey shows that hardware IFT provides a powerful technique for identifying hardware security vulnerabilities, as well as verifying and enforcing hardware security properties.

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security

2011 ◽  
Vol 39 (3) ◽  
pp. 189-200 ◽  
Author(s):  
Mohit Tiwari ◽  
Jason K. Oberg ◽  
Xun Li ◽  
Jonathan Valamehr ◽  
Timothy Levin ◽  
...  
Keyword(s):  
Information Flow ◽  
Information Flow Security
Sign in / Sign up

Export Citation Format

Share Document