{"id":"https://openalex.org/W2060674139","doi":"https://doi.org/10.1145/2240276.2240281","title":"Corrective Enforcement","display_name":"Corrective Enforcement","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2060674139","doi":"https://doi.org/10.1145/2240276.2240281","mag":"2060674139"},"language":"en","primary_location":{"id":"doi:10.1145/2240276.2240281","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2240276.2240281","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2240276.2240281&file=a10-khoury_appendix.pdf","source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2240276.2240281&file=a10-khoury_appendix.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027970691","display_name":"Rapha\u00ebl Khoury","orcid":"https://orcid.org/0000-0002-7625-3384"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rapha\u00ebl Khoury","raw_affiliation_strings":["Universit\u00e9 Laval","UNIVERSITE LAVAL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Laval","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"UNIVERSITE LAVAL","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046818389","display_name":"Nadia Tawbi","orcid":"https://orcid.org/0000-0002-1030-0918"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nadia Tawbi","raw_affiliation_strings":["Universit\u00e9 Laval","UNIVERSITE LAVAL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Laval","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"UNIVERSITE LAVAL","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I43406934"],"apc_list":null,"apc_paid":null,"fwci":3.4795,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.92735867,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"15","issue":"2","first_page":"1","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"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/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/T10260","display_name":"Software Engineering Research","score":0.993399977684021,"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.8734332323074341},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.7725733518600464},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5892109274864197},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5729824900627136},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5400927662849426},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5391483902931213},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12297061085700989}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8734332323074341},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.7725733518600464},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5892109274864197},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5729824900627136},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5400927662849426},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5391483902931213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12297061085700989},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2240276.2240281","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2240276.2240281","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2240276.2240281&file=a10-khoury_appendix.pdf","source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2240276.2240281","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2240276.2240281","pdf_url":"https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2240276.2240281&file=a10-khoury_appendix.pdf","source":{"id":"https://openalex.org/S2642811","display_name":"ACM Transactions on Information and System Security","issn_l":"1094-9224","issn":["1094-9224","1557-7406"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Information and System Security","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2060674139.pdf","grobid_xml":"https://content.openalex.org/works/W2060674139.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W55426108","https://openalex.org/W979433832","https://openalex.org/W1486090544","https://openalex.org/W1496272821","https://openalex.org/W1574561446","https://openalex.org/W1577352907","https://openalex.org/W1578707466","https://openalex.org/W1584684886","https://openalex.org/W1592823304","https://openalex.org/W1681496151","https://openalex.org/W1804029911","https://openalex.org/W1870633701","https://openalex.org/W1914433421","https://openalex.org/W1946116378","https://openalex.org/W1976635413","https://openalex.org/W1985929316","https://openalex.org/W2018028742","https://openalex.org/W2036910349","https://openalex.org/W2041317049","https://openalex.org/W2043466180","https://openalex.org/W2068341689","https://openalex.org/W2075773711","https://openalex.org/W2109387928","https://openalex.org/W2116593309","https://openalex.org/W2125140474","https://openalex.org/W2141988808","https://openalex.org/W2156456150","https://openalex.org/W2162171351","https://openalex.org/W2165414132","https://openalex.org/W2167706303","https://openalex.org/W2914206182","https://openalex.org/W4285719527","https://openalex.org/W4298134634"],"related_works":["https://openalex.org/W2505158018","https://openalex.org/W1547447893","https://openalex.org/W3123317996","https://openalex.org/W2355215981","https://openalex.org/W1592033778","https://openalex.org/W2053902776","https://openalex.org/W2505227739","https://openalex.org/W2005029151","https://openalex.org/W3115979228","https://openalex.org/W4293583713"],"abstract_inverted_index":{"Runtime":[0],"monitoring":[1],"is":[2,89,124,168],"an":[3],"increasingly":[4],"popular":[5],"method":[6],"to":[7,27,57,67,126,173,234],"ensure":[8,127],"the":[9,19,43,52,61,76,118,121,133,146,153,211,218,232,240],"safe":[10],"execution":[11,20,134],"of":[12,21,33,45,112,120,149,152,160,178,201,210,220,223],"untrusted":[13],"codes.":[14],"Monitors":[15],"observe":[16],"and":[17,59,155,192,238],"transform":[18,58],"these":[22],"codes,":[23],"responding":[24],"when":[25],"needed":[26],"correct":[28],"or":[29,91],"prevent":[30],"a":[31,34,86,109,161,179,186,245],"violation":[32],"user-defined":[35],"security":[36,113,203],"policy.":[37],"Prior":[38],"research":[39],"has":[40],"shown":[41],"that":[42,88,128,230],"set":[44],"properties":[46],"monitors":[47,236],"can":[48,78],"enforce":[49,79],"correlates":[50],"with":[51,199],"latitude":[53],"they":[54],"are":[55,135,156,214],"given":[56,246],"alter":[60],"target":[62],"execution.":[63],"But":[64],"for":[65,244],"enforcement":[66,115,122,208,242],"be":[68,73,176],"meaningful":[69],"this":[70,105,197,221],"capacity":[71],"must":[72],"constrained,":[74],"otherwise":[75],"monitor":[77],"any":[80,138],"property,":[81],"but":[82],"not":[83,97],"necessarily":[84],"in":[85,101,116,132],"manner":[87],"useful":[90],"desirable.":[92],"However,":[93],"such":[94],"constraints":[95],"have":[96],"been":[98],"significantly":[99],"addressed":[100],"prior":[102],"work.":[103],"In":[104],"article,":[106],"we":[107,184],"develop":[108],"new":[110],"paradigm":[111,243],"policy":[114],"which":[117,183],"behavior":[119,148],"mechanism":[123],"restricted":[125],"valid":[129,150,191],"aspects":[130],"present":[131],"preserved":[136],"notwithstanding":[137],"transformation":[139],"it":[140],"may":[141],"perform.":[142],"These":[143],"restrictions":[144],"capture":[145],"desired":[147],"executions":[151],"program,":[154],"stated":[157],"by":[158,217],"way":[159],"preorder":[162],"over":[163],"sequences.":[164],"The":[165],"resulting":[166],"model":[167],"closer":[169],"than":[170],"previous":[171],"ones":[172],"what":[174],"would":[175],"expected":[177],"real-life":[180,202],"monitor,":[181],"from":[182],"demand":[185],"minimal":[187],"footprint":[188],"on":[189],"both":[190],"invalid":[193],"executions.":[194],"We":[195],"illustrate":[196],"framework":[198],"examples":[200],"properties.":[204],"Since":[205],"several":[206],"different":[207],"alternatives":[209],"same":[212],"property":[213],"made":[215],"possible":[216],"flexibility":[219],"type":[222],"enforcement,":[224],"our":[225],"study":[226],"also":[227],"provides":[228],"metrics":[229],"allow":[231],"user":[233],"compare":[235],"objectively":[237],"choose":[239],"best":[241],"situation.":[247]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}