{"id":"https://openalex.org/W1971743186","doi":"https://doi.org/10.1109/pst.2014.6890953","title":"Automata-based approach to design and analyze security policies","display_name":"Automata-based approach to design and analyze security policies","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W1971743186","doi":"https://doi.org/10.1109/pst.2014.6890953","mag":"1971743186"},"language":"en","primary_location":{"id":"doi:10.1109/pst.2014.6890953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pst.2014.6890953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth Annual International Conference on Privacy, Security and Trust","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/A5009290886","display_name":"Wadie Krombi","orcid":null},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Wadie Krombi","raw_affiliation_strings":["ENSIAS, Mohammed V-Souissi University Rabat, Morocco","ENSIAS, Mohammed V-Souissi University, Rabat, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSIAS, Mohammed V-Souissi University Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]},{"raw_affiliation_string":"ENSIAS, Mohammed V-Souissi University, Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112675411","display_name":"Mohammed Erradi","orcid":null},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Mohammed Erradi","raw_affiliation_strings":["ENSIAS, Mohammed V-Souissi University Rabat, Morocco","ENSIAS, Mohammed V-Souissi University, Rabat, Morocco"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSIAS, Mohammed V-Souissi University Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]},{"raw_affiliation_string":"ENSIAS, Mohammed V-Souissi University, Rabat, Morocco","institution_ids":["https://openalex.org/I126477371"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054846379","display_name":"Ahmed Khoumsi","orcid":"https://orcid.org/0000-0003-4850-477X"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ahmed Khoumsi","raw_affiliation_strings":["Dept. Electrical & Comp. Eng., University of Sherbrooke Sherbrooke, Canada","Dept. Electrical & Comp. Eng., University of Sherbrooke, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Electrical & Comp. Eng., University of Sherbrooke Sherbrooke, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"Dept. Electrical & Comp. Eng., University of Sherbrooke, Canada","institution_ids":["https://openalex.org/I135117807"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4743,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81500086,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"5","issue":null,"first_page":"306","last_page":"313"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.750720739364624},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6244018077850342},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3512365221977234},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2995452284812927}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.750720739364624},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6244018077850342},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3512365221977234},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2995452284812927}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/pst.2014.6890953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/pst.2014.6890953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Twelfth Annual International Conference on Privacy, Security and Trust","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W50599218","https://openalex.org/W1546063219","https://openalex.org/W1571749062","https://openalex.org/W1706456461","https://openalex.org/W1998822780","https://openalex.org/W2004929506","https://openalex.org/W2045999085","https://openalex.org/W2080267935","https://openalex.org/W2120255160","https://openalex.org/W2131999424","https://openalex.org/W2133317647","https://openalex.org/W2140073547","https://openalex.org/W2141335864","https://openalex.org/W2148408186","https://openalex.org/W2160207938","https://openalex.org/W2617787249","https://openalex.org/W4285719527","https://openalex.org/W6634197929","https://openalex.org/W6637369911","https://openalex.org/W6678385351"],"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/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Information":[0],"systems":[1],"must":[2],"be":[3,68],"controlled":[4],"by":[5,19],"security":[6,31,48,62,77,94,100,111,120],"policies":[7,15,121],"to":[8,39,44,72,84],"protect":[9],"them":[10],"from":[11],"undue":[12],"accesses.":[13],"Security":[14],"are":[16],"often":[17],"designed":[18],"rules":[20],"expressed":[21],"using":[22,117],"informal":[23],"text,":[24],"which":[25,58],"implies":[26],"ambiguities":[27],"and":[28,46,102],"inconsistencies":[29],"in":[30,35,98],"rules.":[32],"Our":[33,64],"objective":[34],"this":[36],"paper":[37],"is":[38],"develop":[40,85],"a":[41,52,60,69,93,99,110,123],"formal":[42],"approach":[43,66,83,116],"design":[45],"analyze":[47,73],"policies.":[49,78],"We":[50,79,113],"propose":[51],"procedure":[53],"that":[54],"synthesizes":[55],"an":[56],"automaton":[57],"implements":[59],"given":[61],"policy.":[63,112],"automata-based":[65,82],"can":[67],"common":[70],"basis":[71],"several":[74,107],"aspects":[75],"of":[76,92,109,119],"use":[80],"our":[81,115],"three":[86],"analysis":[87],"procedures":[88],"to:":[89],"verify":[90],"completeness":[91],"policy,":[95,101],"detect":[96,103],"anomalies":[97],"functional":[104],"discrepancies":[105],"between":[106],"implementations":[108],"illustrate":[114],"examples":[118],"for":[122],"firewall.":[124]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}