Fine-grained Information Flow for Concurrent Computation

Computer Science

• Type Systems 100%
• Sensitivity Level 100%
• Security Analysis 33%
• Security Policy 33%
• Network Traffic 33%
• Concurrent System 33%
• Attackers 33%
• System Monitor 33%
• Malicious Code 33%
• Cryptographic Algorithm 33%
• Denial of Service Attack 33%
• Computational Task 33%
• Sequential Program 33%
• Information Leakage 33%
• Communicating Process 33%
• Memory Content 33%
• Reference Monitor 33%
• Internal Network 33%
• Information Flow Control 33%
• Program Transformation 33%
• Approximation (Algorithm) 33%
• Multiplexer 33%
• Computer System 33%
• Message Authentication Code 33%

Keyphrases

• Flow Policy 66%
• Non-interference 66%
• Hoare Logic 66%
• Conditional Information 33%
• Non-sensitive 33%
• Information Leakage 33%
• Information Flow Control 33%
• Content Dependency 33%
• Programming Process 33%
• Information Flow Security 33%
• Memory Content 33%
• Fine-grained Security 33%
• Communicating Processes 33%
• Coq Proof Assistant 33%
• Tainting Analysis 33%
• Security Type System 33%
• Flight Safety 33%