Mining a high level access control policy in a network with multiple firewalls. (February 2015)