{"id":"https://openalex.org/W2497419571","doi":"https://doi.org/10.3233/jcs-160555","title":"Using temporal probabilistic logic for optimal monitoring of security events with limited resources","display_name":"Using temporal probabilistic logic for optimal monitoring of security events with limited resources","publication_year":2016,"publication_date":"2016-07-22","ids":{"openalex":"https://openalex.org/W2497419571","doi":"https://doi.org/10.3233/jcs-160555","mag":"2497419571"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-160555","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-160555","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010727123","display_name":"Sushil Jajodia","orcid":"https://orcid.org/0000-0003-3210-558X"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sushil Jajodia","raw_affiliation_strings":["Center for Secure Information Systems, George Mason University, Fairfax, USA. E-mail:\u00a0jajodia@gmu.edu"],"affiliations":[{"raw_affiliation_string":"Center for Secure Information Systems, George Mason University, Fairfax, USA. E-mail:\u00a0jajodia@gmu.edu","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067253588","display_name":"Noseong Park","orcid":"https://orcid.org/0000-0002-1268-840X"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Noseong Park","raw_affiliation_strings":["Institute for Advanced Computer Studies, University of Maryland, College Park, USA. E-mails:\u00a0npark@cs.umd.edu,\u00a0vs@cs.umd.edu"],"affiliations":[{"raw_affiliation_string":"Institute for Advanced Computer Studies, University of Maryland, College Park, USA. E-mails:\u00a0npark@cs.umd.edu,\u00a0vs@cs.umd.edu","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009094578","display_name":"Edoardo Serra","orcid":"https://orcid.org/0000-0003-0689-5063"},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"education","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edoardo Serra","raw_affiliation_strings":["Computer Science Department, Boise State University, Boise, USA. E-mail:\u00a0edoardoserra@boisestate.edu"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Boise State University, Boise, USA. E-mail:\u00a0edoardoserra@boisestate.edu","institution_ids":["https://openalex.org/I120156002"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038645035","display_name":"V. S. Subrahmanian","orcid":"https://orcid.org/0000-0001-7191-0296"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V.S. Subrahmanian","raw_affiliation_strings":["Institute for Advanced Computer Studies, University of Maryland, College Park, USA. E-mails:\u00a0npark@cs.umd.edu,\u00a0vs@cs.umd.edu"],"affiliations":[{"raw_affiliation_string":"Institute for Advanced Computer Studies, University of Maryland, College Park, USA. E-mails:\u00a0npark@cs.umd.edu,\u00a0vs@cs.umd.edu","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5010727123"],"corresponding_institution_ids":["https://openalex.org/I162714631"],"apc_list":null,"apc_paid":null,"fwci":1.2147,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82044958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"24","issue":"6","first_page":"735","last_page":"791"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8168696165084839},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6355410218238831},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5948275327682495},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5889877080917358},{"id":"https://openalex.org/keywords/intrusion-detection-system","display_name":"Intrusion detection system","score":0.47088536620140076},{"id":"https://openalex.org/keywords/stackelberg-competition","display_name":"Stackelberg competition","score":0.4203246831893921},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10224106907844543},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10115975141525269}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8168696165084839},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6355410218238831},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5948275327682495},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5889877080917358},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.47088536620140076},{"id":"https://openalex.org/C199510392","wikidata":"https://www.wikidata.org/wiki/Q1184602","display_name":"Stackelberg competition","level":2,"score":0.4203246831893921},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10224106907844543},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10115975141525269},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/jcs-160555","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-160555","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:scholarworks.boisestate.edu:cs_facpubs-1112","is_oa":false,"landing_page_url":"https://scholarworks.boisestate.edu/cs_facpubs/109","pdf_url":null,"source":{"id":"https://openalex.org/S4377196366","display_name":"Scholar Works  (Boise State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I120156002","host_organization_name":"Boise State University","host_organization_lineage":["https://openalex.org/I120156002"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Faculty Publications and Presentations","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W31963204","https://openalex.org/W96543851","https://openalex.org/W101001524","https://openalex.org/W1449779577","https://openalex.org/W1487458041","https://openalex.org/W1488422606","https://openalex.org/W1494756088","https://openalex.org/W1500200176","https://openalex.org/W1510508184","https://openalex.org/W1516506771","https://openalex.org/W1544058454","https://openalex.org/W1545302662","https://openalex.org/W1597908183","https://openalex.org/W1602828133","https://openalex.org/W1680189815","https://openalex.org/W1856491113","https://openalex.org/W1965970856","https://openalex.org/W1966614680","https://openalex.org/W1967311985","https://openalex.org/W1969789681","https://openalex.org/W1969843881","https://openalex.org/W1978502884","https://openalex.org/W1985987493","https://openalex.org/W1987033202","https://openalex.org/W1987578121","https://openalex.org/W1991305430","https://openalex.org/W2002194532","https://openalex.org/W2012419258","https://openalex.org/W2024006228","https://openalex.org/W2025519999","https://openalex.org/W2028521236","https://openalex.org/W2030112111","https://openalex.org/W2044152003","https://openalex.org/W2045914854","https://openalex.org/W2067058620","https://openalex.org/W2074154477","https://openalex.org/W2077937403","https://openalex.org/W2078843353","https://openalex.org/W2082666187","https://openalex.org/W2110504778","https://openalex.org/W2111991413","https://openalex.org/W2114917462","https://openalex.org/W2119368257","https://openalex.org/W2120853830","https://openalex.org/W2123396057","https://openalex.org/W2126879264","https://openalex.org/W2131178253","https://openalex.org/W2135588736","https://openalex.org/W2142814561","https://openalex.org/W2148575440","https://openalex.org/W2149335048","https://openalex.org/W2150847526","https://openalex.org/W2168332701","https://openalex.org/W2169072820","https://openalex.org/W2486886792","https://openalex.org/W2624424081","https://openalex.org/W2749847711","https://openalex.org/W2914728526","https://openalex.org/W3102219781","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W1987562536","https://openalex.org/W4383533535","https://openalex.org/W2375814310","https://openalex.org/W4255938919","https://openalex.org/W4380353856","https://openalex.org/W2347216446","https://openalex.org/W1995212308","https://openalex.org/W2364137969","https://openalex.org/W1985348076","https://openalex.org/W3121296602"],"abstract_inverted_index":{"Managed":[0],"security":[1,14,23,64],"services":[2],"(MSS)":[3],"are":[4],"becoming":[5],"increasingly":[6],"popular":[7],"today.":[8],"In":[9,44,66,133],"MSS,":[10],"enterprises":[11],"contract":[12],"a":[13,32,86,99,102,115,142,190,213],"firm":[15],"such":[16],"as":[17,157,159,187,189],"Symantec":[18],"or":[19],"IBM":[20],"to":[21,55,117,149,162,178],"manage":[22],"of":[24,35,51,74,82,97,101,155,176,193,216],"their":[25],"enterprise":[26,70,75],"network.":[27],"MSS":[28],"vendors":[29],"thus":[30],"have":[31],"small":[33],"pool":[34],"cybersecurity":[36,53,179],"analysts":[37,54],"who":[38],"must":[39],"monitor":[40],"many":[41],"different":[42,128],"alerts.":[43],"this":[45],"paper,":[46],"we":[47,105],"study":[48],"the":[49,80,92,121,125,151,168,194,206,209,220,224],"problem":[50],"allocating":[52],"alerts":[56],"generated":[57],"by":[58],"intrusion":[59],"detection":[60],"systems":[61],"and":[62,77,201,208,227],"other":[63],"software.":[65],"particular,":[67],"given":[68],"an":[69],"network":[71,122,183,236],"(or":[72],"set":[73],"networks)":[76],"information":[78,184],"about":[79,120],"value":[81],"assets":[83],"stored":[84],"at":[85],"node":[87],"(e.g.":[88],"computer,":[89],"router)":[90],"in":[91,139],"network,":[93],"together":[94],"with":[95,141,173],"probabilities":[96,126],"compromising":[98],"neighbor":[100],"compromised":[103],"vertex,":[104],"show":[106,166,199,228],"that":[107,123,127,222,229],"annotated":[108],"probabilistic":[109],"temporal":[110],"(APT)":[111],"logic":[112,137],"programs":[113],"allow":[114],"defender":[116,169,221],"express":[118],"knowledge":[119],"captures":[124],"nodes":[129],"will":[130],"be":[131],"attacked.":[132],"addition,":[134],"certain":[135],"APT":[136],"computations,":[138],"conjunction":[140],"Stackelberg":[143],"game":[144],"theoretic":[145],"formalization,":[146],"enable":[147],"us":[148],"capture":[150],"attacker\u2019s":[152],"maximal":[153],"probability":[154],"success":[156],"well":[158,188,233],"his":[160],"ability":[161],"maximize":[163],"damage.":[164],"We":[165,198,211],"how":[167],"can":[170],"come":[171],"up":[172],"optimal":[174],"allocations":[175],"tasks":[177],"analysts,":[180],"taking":[181],"both":[182,205],"into":[185,196],"account":[186],"behavioral":[191],"model":[192],"attacker":[195,207],"account.":[197],"correctness":[200],"complexity":[202],"theorems":[203],"for":[204,219],"defender.":[210],"develop":[212],"prototype":[214],"implementation":[215],"three":[217],"algorithms":[218,231],"optimize":[223],"defender\u2019s":[225],"objectives":[226],"these":[230],"work":[232],"on":[234],"realistic":[235],"sizes.":[237]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}