{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T11:53:59Z","timestamp":1772366039882,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/iscc.2017.8024656","type":"proceedings-article","created":{"date-parts":[[2017,9,4]],"date-time":"2017-09-04T16:26:54Z","timestamp":1504542414000},"page":"1001-1006","source":"Crossref","is-referenced-by-count":10,"title":["Efficient attack plan recognition using automated planning"],"prefix":"10.1109","author":[{"given":"Adam","family":"Amos-Binks","sequence":"first","affiliation":[]},{"given":"Joshua","family":"Clark","sequence":"additional","affiliation":[]},{"given":"Kirk","family":"Weston","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Winters","sequence":"additional","affiliation":[]},{"given":"Khaled","family":"Harfoush","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/THS.2012.6459918"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SNPD.2007.396"},{"key":"ref12","first-page":"370","article-title":"Attack Plan Recognition and Prediction Using Causal Networks","author":"qin","year":"0","journal-title":"20th Annual Computer Security Applications Conference"},{"key":"ref13","first-page":"12","article-title":"Course of action generation for cyber security using classical planning","author":"boddy","year":"2005","journal-title":"Biundo (Biundo Myers & Rajan"},{"key":"ref14","article-title":"Personalized vulnerability analysis through automated planning","author":"roberts","year":"2011","journal-title":"Security Workshop"},{"key":"ref15","article-title":"Using Planning for a Personalized Security Agent","author":"roberts","year":"2012","journal-title":"Workshops at the Twenty-Sixth"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2013.25"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1609\/aaai.v27i1.8552","article-title":"Hypothesis exploration for malware detection using planning","author":"sohrabi","year":"2013","journal-title":"Twenty-Seventh AAAI Conference on Artificial Intelligence"},{"key":"ref18","first-page":"1778","article-title":"Plan recognition as planning","author":"ramirez","year":"2009","journal-title":"IJCAI Int Joint Conf on Artificial Intelligence"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-130475"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180446"},{"key":"ref3","first-page":"8","article-title":"MuIVAL: A logic-based network security analyzer","author":"ou","year":"2005","journal-title":"14th USENIX Security"},{"key":"ref6","first-page":"44","article-title":"GARNET: A graphical attack graph and reachability network evaluation tool","volume":"5210 lncs","author":"williams","year":"2008","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15676\/ijeei.2015.7.4.15"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2011.5929072"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.255"},{"key":"ref2","first-page":"273","article-title":"Auto-mated generation and analysis of attack graphs","volume":"2002","author":"sheyner","year":"2002","journal-title":"Proceedings - IEEE Symposium on Security and Privacy"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2016.02.001"},{"key":"ref9","first-page":"159","article-title":"Planning to discover and counteract attacks","volume":"34","author":"kichkaylo","year":"2010","journal-title":"Informatica"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2602087.2602117"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.13052\/jcsm2245-1439.312"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/NetCoM.2009.83"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.61"}],"event":{"name":"2017 IEEE Symposium on Computers and Communications (ISCC)","location":"Heraklion, Greece","start":{"date-parts":[[2017,7,3]]},"end":{"date-parts":[[2017,7,6]]}},"container-title":["2017 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8016448\/8024490\/08024656.pdf?arnumber=8024656","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T01:06:24Z","timestamp":1659402384000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8024656\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iscc.2017.8024656","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}