A Formal Framework for Network Security Design Synthesis Conference

Rahman, Mohammad Ashiqur, Al-Shaer, Ehab. (2013). A Formal Framework for Network Security Design Synthesis . 560-570. 10.1109/ICDCS.2013.70

cited authors

  • Rahman, Mohammad Ashiqur; Al-Shaer, Ehab

sustainable development goals

authors

date/time interval

  • July 8, 2013 -

publication date

  • January 1, 2013

keywords

  • Computer Science
  • Computer Science, Hardware & Architecture
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • automatic synthesis
  • constraints
  • formal logic
  • security configuration

Location

  • PA, Philadelphia

Digital Object Identifier (DOI)

Conference

  • 33rd IEEE International Conference on Distributed Computing Systems (ICDCS)

publisher

  • IEEE

start page

  • 560

end page

  • 570