Representation and analysis of coordinated attacks

Proceedings of the ACM Workshop on Formal Methods in Security Engineering

Volumn , Issue , 2003, Pages 43-51

  Braynov, Sviatoslav ^a   Jadliwala, Murtuza ^a  

^a State University of New York   (United States)

Author keywords

Adversary modelling; Attack graph; Attack plan; Coordinated attack; Model checking

Indexed keywords

ALGORITHMS; INTELLIGENT AGENTS; LAGRANGE MULTIPLIERS; MATHEMATICAL MODELS; SOFTWARE AGENTS; SYNCHRONIZATION;

ADVERSARY MODELING; ATTACK GRAPHS; ATTACK PLANS; COORDINATED ATTACKS; MODEL CHECKING;

GRAPH THEORY;

EID: 2642532056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1035429.1035434     Document Type: Conference Paper

References (26)

1. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: a model based planner. In JCAI'01 Workshop on Planning under Uncertainty, pages 71-78, 2001.
2. C. Boutilier and R. Brafman. Partial-oder planning with concurrent interacting actions. Journal of Artificial Intelligence Research, 14:105-136, 2001.
3. C. Boutilier, T. Dean, and S. Hanks. Planning under uncertainty: Structural assumptions and computational leverage. In M. Ghallab and A. Milani, editors, New Directions in AI Planning, pages 157-172. IOS Press (Amsterdam), 1996.
4. S. Brainov and T. Sandholm. Reasoning about others: Representing and processing infinite belief hierarchies. In Proceedings of the Fourth International Conference on Multiagent Systems, pages 71-78, Boston, 2000.
5. S. Braynov. On future avenues for distributed attacks. In Proceedings of the 2nd European Conference on Information Warfare and Security (ECIW), Reading, UK, 2003.
6. D. Carmel and S. Markovitch. Opponent modeling in multi-agent systems. In G. Weiß and S. Sen, editors, Adaptation and Learning in Multi-Agent Systems, pages 40-52. Springer-Verlag: Heidelberg, Germany, 1996.
7. S. Eckmann, G. Vigna, and R. Kemmerer. STATL: An attack language for state-based intrusion detection, 2000.
8. M. Fox and D. Long. PDDL 2.1: Techical Documentation. April 25, 2003.
9. M. Fox and L. Long. PDDL 2.1: An extension to PDDL for expressing temporal planning domains. Technical Report, Department of Computer Science, University of Durham, UK, 2001.
10. T. Garfinkel. Traps and pitfalls: Practical problems in in system call interposition based security tools. In Proc. Network and Distributed Systems Security Symposium, February 2003.
11. A. Gerevini and I. Serina. LPG: a planner based on planning graphs with action costs. In Proceedings of the Sixth Int. Conference on AI Planning and Scheduling (AIPS'02), pages 13-22, 2002.
12. F. Giunchiglia and P. Traverso. Planning as model checking. In In Proceeding of the Fifth European Conference on Planning, pages 1-20, 1999.
13. A. Householder, K. Houle, and C. Dougherty. Computer attack trends challenge internet security. Security and Privacy, 1, 2002.
14. R. Jensen and M. Veloso. Obdd-based universal planning for synchronized agents in non-deterministic domains. Journal of Artificial Intelligence Research, 13:189-226, 2000.
15. S. Jha, O. Sheyner, and J. Wing. Minimization and reliability analyses of attack graphs, 2002.
16. S. Jha, O. Sheyner, and J. Wing. Two formal analyses of attack graphs. In Computer Security Foundations Workshop (CSFW), pages 49-63, Nova Scotia, Canada, 2002.
17. S. Jha and J. Wing. Survivability analysis of networked systems. In International Conference on Software Engineering, pages 307-317, Toronto, Canada, 2001.
18. 20 States and Beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 1-33, Washington, D.C., 1990. IEEE Computer Society Press.
19. N. Kushmerick, S. Hanks, and D. Weld. An algorithm for probabilistic least-commitment planning. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), volume 2, pages 1073-1078, Seattle, Washington, USA, 1994. AAAI Press/MIT Press.
20. J. Legon. FBI seeks to trace massive Net attack. CNN, October 28, 2002.
21. U. Lindqvist and P. Porras. Detecting computer and network misuse through the production-based expert system toolset (p-best). In Proceedings of the 1999 IEEE Symposium on Security and Privacy, pages 146-161, Oakland, California, 1999.
22. C. Phillips and L. Swiler. A graph-based system for network-vulnerability analysis. In Proceedings of the 1998 Workshop on New Security Paradigms, pages 71-79, 1998.
23. B. Schneier. Attack trees: Modeling security threats. Dr. Dobb's Journal, December, 1999.
24. L. Swiler, C. Phillips, D. Ellis, and S. Chakerian. Computer-attack graph generation tool. In DARPA Information Survivability Conference and Exposition, pages 146-161, Anaheim, California, 2001.
25. S. Tzu and L. Giles. Sun Tzu on the Art of War. Kegan Paul Intl, 2002.
26. G. Vigna, S. Eckmann, and R. Kemmerer. Attack languages. In In Proceedings of the IEEE Information Survivability Workshop, 2000.7