Search

Now showing items 1-1 of 1

The 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testing

Tuğlular, Tuğkan; Kaya, Özgür; Müftüoğlu, Can Arda; Belli, Fevzi (IEEE, 2009)

Currently network security of institutions highly depend on firewalls, which are used to separate untrusted network from trusted one by enforcing security policies. Security policies used in firewalls are ordered set of ...