Reasoning about firewall policies through refinement and composition.
Ultan NevilleSimon N. FoleyPublished in: J. Comput. Secur. (2018)
Keyphrases
- optimal policy
- network security
- spatial reasoning
- qualitative reasoning
- network traffic
- web service composition
- decision processes
- knowledge base
- intrusion detection
- refinement process
- formal theory
- java card
- music composition
- data sets
- markov decision process
- intrusion detection system
- decision problems
- search engine