• On the modular verification and design of firewalls 

    Bhattacharya, Hrishikesh (2012-08)
    Firewalls, packet filters placed at the boundary of a network in order to screen incoming packets of traffic (and discard any undesirable packets), are a prominent component of network security. In this dissertation, we ...