Time-sensitive Information Flow Control in Timed Event-B

Keyphrases

• Time Event 100%
• Information Flow Control 100%
• Time-sensitive Information 100%
• Flow Control 50%
• Event-B Specifications 50%
• Security Condition 50%
• Information Flow 25%
• Software Application 25%
• Time Constraints 25%
• Information Leakage 25%
• Confidential Information 25%
• Timing Behavior 25%
• Covert 25%
• Flow Monitoring 25%
• Flow Security 25%
• Directed Flow 25%
• Time Flow 25%
• Event-B Model 25%
• Specification Model 25%
• Covert Channel 25%
• Timer 25%
• Stepwise Refinement 25%
• B System 25%

Computer Science

• Sensitive Informations 100%
• Time-Sensitive 100%
• Information Flow Control 100%
• Security Condition 100%
• Time Constraint 50%
• Software Application 50%
• Flow Control 50%
• Information Leakage 50%
• Timing Behavior 50%
• Confidential Data 50%
• Specification Model 50%
• Stepwise Refinement 50%
• covert channel 50%