Directed security policies: A stateful network implementation

Keyphrases

• Backflow 20%
• Communication Relationship 20%
• Compliance Criteria 20%
• Directed Graph 20%
• Firewall 20%
• HOL Theorem Prover 20%
• Isabelle 20%
• Large Systems 20%
• Large-scale Networks 20%
• Linear Time 20%
• Network Functionality 20%
• Network Implementation 100%
• Policy Rules 20%
• Real-world Implementation 20%
• Security Policy 100%
• Stateful 60%
• Stateful Networks 100%

Computer Science

• Case Study 20%
• Correctness 20%
• Directed Graphs 20%
• Firewall 20%
• Formalization 20%
• Network Functionality 20%
• Security Policy 100%
• Theorem Prover 20%