Article,

Formal validation of automated policy refinement in the management of network security systems.

, , and .
Int. J. Inf. Sec., 9 (2): 99-125 (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews