- 1. Information Flow Security
- 2. Confidentiality and Integrity
- 3. Explicit Flows and Covert Channels
- 4. Taint Analysis
1. Information Flow Security
2. Confidentiality and Integrity
3. Explicit Flows and Covert Channels
4. Taint Analysis
static analysis for security
2023-01-19