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

keywords

  • CONFIGURATION
  • Computer Science
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Security configuration
  • Technology
  • automatic synthesis
  • formal modeling
  • isolation
  • security metrics

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 416

end page

  • 430

volume

  • 28

issue

  • 2