Login / Signup

A formal basis for the design and analysis of firewall security policies.

Ahmed KhoumsiMohammed ErradiWadie Krombi
Published in: J. King Saud Univ. Comput. Inf. Sci. (2018)
Keyphrases
  • security policies
  • network security
  • databases
  • data analysis
  • design process
  • formal methods
  • database
  • data mining
  • data management
  • intrusion detection system
  • security requirements