NTHRYS › PhD Assistance › Network Security

Network Security

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic-Based Network Policy Verification

Application of formal verification methods using temporal logic to prove correctness of complex network security policies.