{"id":"https://openalex.org/W2586598394","doi":"https://doi.org/10.3103/s0146411617020055","title":"A logic-based framework for the security analysis of Industrial Control Systems","display_name":"A logic-based framework for the security analysis of Industrial Control Systems","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2586598394","doi":"https://doi.org/10.3103/s0146411617020055","mag":"2586598394"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411617020055","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411617020055","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/548611","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012618954","display_name":"Laurens Lemaire","orcid":null},"institutions":[{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Laurens Lemaire","raw_affiliation_strings":["Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium","institution_ids":["https://openalex.org/I39327780","https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085392462","display_name":"Jan Vossaert","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]},{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Vossaert","raw_affiliation_strings":["Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium","institution_ids":["https://openalex.org/I39327780","https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065270726","display_name":"Joachim Jansen","orcid":null},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Joachim Jansen","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Heverlee, 3001, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Heverlee, 3001, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075945228","display_name":"Vincent Naessens","orcid":"https://orcid.org/0000-0002-9255-4902"},"institutions":[{"id":"https://openalex.org/I39327780","display_name":"iMinds","ror":"https://ror.org/03baec336","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I39327780"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Vincent Naessens","raw_affiliation_strings":["Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, MSEC, iMinds-DistriNet, Ghent, 9000, Belgium","institution_ids":["https://openalex.org/I39327780","https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5012618954"],"corresponding_institution_ids":["https://openalex.org/I39327780","https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":1.6092,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83768736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"51","issue":"2","first_page":"114","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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.913003146648407},{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.5361955165863037},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.47692224383354187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3840479850769043},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.36969637870788574},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21420976519584656}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.913003146648407},{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.5361955165863037},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.47692224383354187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3840479850769043},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.36969637870788574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21420976519584656}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3103/s0146411617020055","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411617020055","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/548611","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/548611","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Automatic Control and Computer Sciences, vol. 51 (2), Art.No. 2, (114-123)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/548611","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/548611","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Automatic Control and Computer Sciences, vol. 51 (2), Art.No. 2, (114-123)","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Clean water and sanitation","id":"https://metadata.un.org/sdg/6","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W188655299","https://openalex.org/W1495459766","https://openalex.org/W1580718997","https://openalex.org/W1970412479","https://openalex.org/W2007581502","https://openalex.org/W2008856128","https://openalex.org/W2012446724","https://openalex.org/W2170871060","https://openalex.org/W2182911778","https://openalex.org/W2293156673","https://openalex.org/W2520571003","https://openalex.org/W2619874920","https://openalex.org/W2911538544","https://openalex.org/W3130529786","https://openalex.org/W3149751866","https://openalex.org/W6633708306","https://openalex.org/W6777332379","https://openalex.org/W6813895363"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2893717753","https://openalex.org/W3025524596","https://openalex.org/W1994763079"],"abstract_inverted_index":{"Industrial":[0,59],"Control":[1,60],"Systems":[2],"(ICS)":[3],"are":[4],"used":[5,75],"for":[6,33,54],"monitoring":[7],"and":[8,22,67,84],"controlling":[9],"critical":[10],"infrastructures":[11],"such":[12],"as":[13],"power":[14],"stations,":[15],"waste":[16],"water":[17],"treatment":[18],"facilities,":[19],"traffic":[20],"lights,":[21],"many":[23],"more.":[24],"Lately,":[25],"these":[26],"systems":[27],"have":[28],"become":[29],"a":[30,51,78],"popular":[31],"target":[32],"cyber-attacks.":[34],"Security":[35],"is":[36,74],"often":[37],"an":[38,94],"afterthought,":[39],"leaving":[40],"them":[41],"vulnerable":[42],"to":[43,76],"all":[44],"sorts":[45],"of":[46,58,80],"attacks.":[47],"This":[48],"article":[49],"presents":[50],"formal":[52],"approach":[53,89],"analysing":[55],"the":[56,81,97],"security":[57],"Systems,":[61],"both":[62],"during":[63],"their":[64],"design":[65,98],"phase":[66],"while":[68],"operational.":[69],"A":[70],"knowledge-":[71],"based":[72],"system":[73,83,86],"analyse":[77],"model":[79],"control":[82],"extract":[85],"vulnerabilities.":[87],"The":[88],"has":[90],"been":[91],"validated":[92],"on":[93],"ICS":[95],"in":[96],"phase.":[99]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}