Abstract | ||
---|---|---|
This paper presents an approach for automatically verifying the correctness of cyber security applications through formal analysis guided by hierarchical models of the network, its applications, and potential attacks. This work is motivated by the need for a more intuitive, automated systems-level approach to determining the overall security characteristics of a large network. Given the complex nature of security tools and their general lack of interoperability, it is difficult for system designers to make definitive statements about the nature of their network defense. Our work focuses on creating an environment in which security experts can model the security aspects of complex networks using a graphical notation that is intuitive and natural for them, then automatically perform security activities such as formally verifying the safety of the network against known threats and exploring the network design for potential vulnerabilities. The environment is designed to utilize third party tools for performing these activities and concentrates on integration of these tools within a common modeling framework. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/ECBS.2007.50 | ECBS |
Keywords | Field | DocType |
security tool,overall security characteristic,model-based cyber security,security expert,network design,security activity,network defense,security aspect,cyber security application,large network,complex network,system design,formal verification,interoperability,computer security,hierarchical model,computer networks,information security,unified modeling language,open systems,complex networks,cyber security,information systems | Security testing,Security through obscurity,Network security policy,Asset (computer security),Computer science,Computer security,Security service,Cloud computing security,Security information and event management,Computer security model | Conference |
ISBN | Citations | PageRank |
0-7695-2772-8 | 3 | 1.04 |
References | Authors | |
5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Galen Rasche | 1 | 3 | 1.04 |
Erin Allwein | 2 | 3 | 1.04 |
Michael Moore | 3 | 3 | 1.04 |
Ben Abbott | 4 | 3 | 1.38 |