Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement
Article
Rahman, Mohammad Ashiqur, Al-Shaer, Ehab. (2017). Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement
. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 28(2), 416-430. 10.1109/TPDS.2016.2585108
Rahman, Mohammad Ashiqur, Al-Shaer, Ehab. (2017). Automated Synthesis of Distributed Network Access Controls: A Formal Framework with Refinement
. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 28(2), 416-430. 10.1109/TPDS.2016.2585108