{"id":"https://openalex.org/W2740336735","doi":"https://doi.org/10.1145/3106237.3106282","title":"ARTINALI: dynamic invariant detection for cyber-physical system security","display_name":"ARTINALI: dynamic invariant detection for cyber-physical system security","publication_year":2017,"publication_date":"2017-08-02","ids":{"openalex":"https://openalex.org/W2740336735","doi":"https://doi.org/10.1145/3106237.3106282","mag":"2740336735"},"language":"en","primary_location":{"id":"doi:10.1145/3106237.3106282","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106282","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-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/A5027141646","display_name":"Maryam Raiyat Aliabadi","orcid":null},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Maryam Raiyat Aliabadi","raw_affiliation_strings":["University of British Columbia, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048458803","display_name":"Amita Ajith Kamath","orcid":null},"institutions":[{"id":"https://openalex.org/I11880225","display_name":"National Institute of Technology Karnataka","ror":"https://ror.org/01hz4v948","country_code":"IN","type":"education","lineage":["https://openalex.org/I11880225"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Amita Ajith Kamath","raw_affiliation_strings":["National Institute of Technology Karnataka, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology Karnataka, India","institution_ids":["https://openalex.org/I11880225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035834220","display_name":"Julien Gascon\u2010Samson","orcid":"https://orcid.org/0000-0002-4091-3790"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Julien Gascon-Samson","raw_affiliation_strings":["University of British Columbia, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073641368","display_name":"Karthik Pattabiraman","orcid":"https://orcid.org/0000-0003-2380-3415"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Karthik Pattabiraman","raw_affiliation_strings":["University of British Columbia, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4166,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.90454492,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"349","last_page":"361"},"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.9998000264167786,"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.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.724947452545166},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.7187018394470215},{"id":"https://openalex.org/keywords/intrusion-detection-system","display_name":"Intrusion detection system","score":0.6601989269256592},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6511868238449097},{"id":"https://openalex.org/keywords/false-positives-and-false-negatives","display_name":"False positives and false negatives","score":0.5636854767799377},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.49644213914871216},{"id":"https://openalex.org/keywords/social-connectedness","display_name":"Social connectedness","score":0.4656309485435486},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.45160895586013794},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.4328749179840088},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3957495391368866},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32318443059921265},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1954445242881775},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.086671382188797}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.724947452545166},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.7187018394470215},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.6601989269256592},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6511868238449097},{"id":"https://openalex.org/C112789634","wikidata":"https://www.wikidata.org/wiki/Q18207010","display_name":"False positives and false negatives","level":3,"score":0.5636854767799377},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.49644213914871216},{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.4656309485435486},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.45160895586013794},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.4328749179840088},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3957495391368866},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32318443059921265},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1954445242881775},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.086671382188797},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3106237.3106282","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3106237.3106282","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W172260869","https://openalex.org/W1489721681","https://openalex.org/W1566533462","https://openalex.org/W1966649174","https://openalex.org/W1968027261","https://openalex.org/W1973309971","https://openalex.org/W1980181246","https://openalex.org/W2021672791","https://openalex.org/W2032479470","https://openalex.org/W2047093659","https://openalex.org/W2057694377","https://openalex.org/W2070223635","https://openalex.org/W2077099824","https://openalex.org/W2101342405","https://openalex.org/W2116520617","https://openalex.org/W2119699246","https://openalex.org/W2124081952","https://openalex.org/W2145548455","https://openalex.org/W2146178292","https://openalex.org/W2151953639","https://openalex.org/W2153268908","https://openalex.org/W2156841542","https://openalex.org/W2161630727","https://openalex.org/W2165575313","https://openalex.org/W2166271660","https://openalex.org/W2217555202","https://openalex.org/W2242407529","https://openalex.org/W2244431679","https://openalex.org/W2290665292","https://openalex.org/W2350778671","https://openalex.org/W2508433864","https://openalex.org/W2511094137","https://openalex.org/W2517797785","https://openalex.org/W2545823459","https://openalex.org/W2559919425","https://openalex.org/W2591981842","https://openalex.org/W3106729728","https://openalex.org/W4232746323"],"related_works":["https://openalex.org/W1557094818","https://openalex.org/W2183246718","https://openalex.org/W1973412793","https://openalex.org/W2099261052","https://openalex.org/W4292605373","https://openalex.org/W2951146195","https://openalex.org/W4226316650","https://openalex.org/W3123215897","https://openalex.org/W2153600354","https://openalex.org/W4243739114"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1,40,154],"(CPSes)":[2],"are":[3],"being":[4],"widely":[5],"deployed":[6],"in":[7,114],"security":[8,29,87],"critical":[9],"scenarios":[10],"such":[11],"as":[12,142],"smart":[13,160,163],"homes":[14],"and":[15,24,64,82,97,110,118,127,162,166,183,192],"medical":[16,164],"devices.":[17],"Unfortunately,":[18,51],"the":[19,56,74,147,173,178],"connectedness":[20],"of":[21,28,58,146,180],"these":[22],"systems":[23,60],"their":[25,168],"relative":[26],"lack":[27],"measures":[30],"makes":[31],"them":[32],"ripe":[33],"targets":[34],"for":[35,48,54,85,91,122,156],"attacks.":[36,88],"Specification-based":[37],"Intrusion":[38,152],"Detection":[39,153],"(IDS)":[41],"have":[42],"been":[43],"shown":[44],"to":[45,71,77,106,116,188,194],"be":[46],"effective":[47],"securing":[49],"CPSs.":[50],"deriving":[52],"invariants":[53,84],"capturing":[55],"specifications":[57],"CPS":[59,75,108],"is":[61,69,104,120],"a":[62,143],"tedious":[63],"error-prone":[65],"process.":[66],"Therefore,":[67],"it":[68],"important":[70],"dynamically":[72],"monitor":[73],"system":[76,137],"learn":[78],"its":[79],"common":[80],"behaviors":[81],"formulate":[83],"detecting":[86],"Existing":[89],"techniques":[90],"invariant":[92,202],"mining":[93],"only":[94],"incorporate":[95],"data":[96,117],"events,":[98,119],"but":[99],"not":[100],"time.":[101],"However,":[102],"time":[103,113,141],"central":[105],"most":[107],"systems,":[109],"hence":[111],"incorporating":[112,140],"addition":[115],"essential":[121],"achieving":[123],"low":[124],"false":[125,128,181,184],"positives":[126,182],"negatives.":[129],"This":[130],"paper":[131],"proposes":[132],"ARTINALI,":[133],"which":[134],"mines":[135],"dynamic":[136,201],"properties":[138],"by":[139,186],"first-class":[144],"property":[145],"system.":[148],"We":[149,170],"build":[150],"ARTINALI-based":[151,174],"(IDSes)":[155],"two":[157],"CPSes,":[158],"namely":[159],"meters":[161],"devices,":[165],"measure":[167],"efficacy.":[169],"find":[171],"that":[172],"IDSes":[175],"significantly":[176],"reduce":[177],"ratio":[179],"negatives":[185],"16":[187],"48%":[189],"(average":[190,196],"30.75%)":[191],"89":[193],"95%":[195],"93.4%)":[197],"respectively":[198],"over":[199],"other":[200],"detection":[203],"tools.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}