首页    期刊浏览 2025年06月14日 星期六
登录注册

文章基本信息

  • 标题:Using Network Security Management to solve Boolean Satisfiability Problem
  • 本地全文:下载
  • 作者:Mekala Bhaskar ; G.VishnuMurthy ; V.Amarnath
  • 期刊名称:International Journal of Computer Science and Information Technologies
  • 电子版ISSN:0975-9646
  • 出版年度:2012
  • 卷号:3
  • 期号:2
  • 页码:3672-3677
  • 出版社:TechScience Publications
  • 摘要:Enterprise network security management is a complex task of balancing security and usability, with trade-offs often necessary between the two. Past work has provided ways to identify intricate attack paths due to misconfiguration and vulnerabilities in an enterprise system, but little has been done to address how to correct the security problems within the context of various other requirements such as usability, ease of access, and cost of countermeasures. This paper presents an approach based on Boolean Satisfiability Solving (SAT Solving) that can reason about attacks, usability requirements, cost of actions, etc. in a unified, logical framework. Preliminary results show that the approach is both effective and efficien
  • 关键词:Boolean Satisfiability Problem (SAT); Computer Network;Management; Computer Network Security; Risk Analysis;Security; Scalability-pow
国家哲学社会科学文献中心版权所有