Distributed specification-based firewalls for power grid substations | IEEE Conference Publication | IEEE Xplore