Article,

Reasoning about firewall policies through refinement and composition.

, and .
J. Comput. Secur., 26 (2): 207-254 (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews