{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:16:33Z","timestamp":1773717393211,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2003,10,30]],"date-time":"2003-10-30T00:00:00Z","timestamp":1067472000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2003,10,30]]},"DOI":"10.1145\/1035429.1035434","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"43-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Representation and analysis of coordinated attacks"],"prefix":"10.1145","author":[{"given":"Sviatoslav","family":"Braynov","sequence":"first","affiliation":[{"name":"University at Buffalo Buffalo, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murtuza","family":"Jadliwala","sequence":"additional","affiliation":[{"name":"University at Buffalo Buffalo, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2003,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"71","volume-title":"JCAI'01 Workshop on Planning under Uncertainty","author":"Bertoli P.","year":"2001","unstructured":"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 . 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."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622394.1622399"},{"key":"e_1_3_2_1_3_1","first-page":"157","volume-title":"New Directions in AI Planning","author":"Boutilier C.","year":"1996","unstructured":"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 . 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."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/518904.878833"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2nd European Conference on Information Warfare and Security (ECIW)","author":"Braynov S.","year":"2003","unstructured":"S. Braynov . On future avenues for distributed attacks . In Proceedings of the 2nd European Conference on Information Warfare and Security (ECIW) , Reading, UK , 2003 . S. Braynov. On future avenues for distributed attacks. In Proceedings of the 2nd European Conference on Information Warfare and Security (ECIW), Reading, UK, 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646313.688387"},{"key":"e_1_3_2_1_7_1","volume-title":"STATL: An attack language for state-based intrusion detection","author":"Eckmann S.","year":"2000","unstructured":"S. Eckmann , G. Vigna , and R. Kemmerer . STATL: An attack language for state-based intrusion detection , 2000 . S. Eckmann, G. Vigna, and R. Kemmerer. STATL: An attack language for state-based intrusion detection, 2000."},{"key":"e_1_3_2_1_8_1","volume-title":"PDDL 2.1: Technical Documentation","author":"Fox M.","year":"2003","unstructured":"M. Fox and D. Long . PDDL 2.1: Technical Documentation . April 25, 2003 . M. Fox and D. Long. PDDL 2.1: Technical Documentation. April 25, 2003."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. Network and Distributed Systems Security Symposium","author":"Garfinkel T.","year":"2003","unstructured":"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 . 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."},{"key":"e_1_3_2_1_11_1","first-page":"13","volume-title":"Proceedings of the Sixth Int. Conference on AI Planning and Scheduling (AIPS'02)","author":"Gerevini A.","year":"2002","unstructured":"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 . 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."},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"In Proceeding of the Fifth European Conference on Planning","author":"Giunchiglia F.","year":"1999","unstructured":"F. Giunchiglia and P. Traverso . Planning as model checking . In In Proceeding of the Fifth European Conference on Planning , pages 1 - 20 , 1999 . F. Giunchiglia and P. Traverso. Planning as model checking. In In Proceeding of the Fifth European Conference on Planning, pages 1-20, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1012422"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622262.1622267"},{"key":"e_1_3_2_1_15_1","volume-title":"Minimization and reliability analyses of attack graphs","author":"Jha S.","year":"2002","unstructured":"S. Jha , O. Sheyner , and J. Wing . Minimization and reliability analyses of attack graphs , 2002 . S. Jha, O. Sheyner, and J. Wing. Minimization and reliability analyses of attack graphs, 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/794201.795177"},{"key":"e_1_3_2_1_17_1","first-page":"307","volume-title":"International Conference on Software Engineering","author":"Jha S.","year":"2001","unstructured":"S. Jha and J. Wing . Survivability analysis of networked systems . In International Conference on Software Engineering , pages 307 - 317 , Toronto, Canada , 2001 . S. Jha and J. Wing. Survivability analysis of networked systems. In International Conference on Software Engineering, pages 307-317, Toronto, Canada, 2001."},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","author":"Burch J.R.","year":"1990","unstructured":"J.R. Burch , E.M. Clarke , K.L. McMillan , D.L. Dill , and L.J. Hwang . Symbolic Model Checking: 1020 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. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic Model Checking: 1020 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."},{"key":"e_1_3_2_1_19_1","first-page":"1073","volume-title":"Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94)","volume":"2","author":"Kushmerick N.","year":"1994","unstructured":"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. 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."},{"key":"e_1_3_2_1_20_1","volume-title":"CNN","author":"Legon J.","year":"2002","unstructured":"J. Legon . FBI seeks to trace massive Net attack . CNN , October 28, 2002 . J. Legon. FBI seeks to trace massive Net attack. CNN, October 28, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766911"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/310889.310919"},{"key":"e_1_3_2_1_23_1","article-title":"Modeling security threats","author":"Schneier B.","year":"1999","unstructured":"B. Schneier . Attack trees : Modeling security threats . Dr. Dobb's Journal , December , 1999 . B. Schneier. Attack trees: Modeling security threats. Dr. Dobb's Journal, December, 1999.","journal-title":"Dr. Dobb's Journal"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2001.932182"},{"key":"e_1_3_2_1_25_1","volume-title":"Kegan Paul Intl","author":"Tzu S.","year":"2002","unstructured":"S. Tzu and L. Giles . Sun Tzu on the Art of War . Kegan Paul Intl , 2002 . S. Tzu and L. Giles. Sun Tzu on the Art of War. Kegan Paul Intl, 2002."},{"key":"e_1_3_2_1_26_1","volume-title":"In Proceedings of the IEEE Information Survivability Workshop","author":"Vigna G.","year":"2000","unstructured":"G. Vigna , S. Eckmann , and R. Kemmerer . Attack languages . In In Proceedings of the IEEE Information Survivability Workshop , 2000 . G. Vigna, S. Eckmann, and R. Kemmerer. Attack languages. In In Proceedings of the IEEE Information Survivability Workshop, 2000."}],"event":{"name":"CCS03: Tenth ACM Conference on Computer and Communications Security 2003","location":"Washington D.C.","acronym":"CCS03","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2003 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035434","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035429.1035434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:29Z","timestamp":1750263869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10,30]]},"references-count":25,"alternative-id":["10.1145\/1035429.1035434","10.1145\/1035429"],"URL":"https:\/\/doi.org\/10.1145\/1035429.1035434","relation":{},"subject":[],"published":{"date-parts":[[2003,10,30]]},"assertion":[{"value":"2003-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}