Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement | IEEE Journals & Magazine | IEEE Xplore