{"id":"https://openalex.org/W2010588223","doi":"https://doi.org/10.1109/iscc.2014.6912478","title":"A formal framework for verifying inter-firewalls consistency","display_name":"A formal framework for verifying inter-firewalls consistency","publication_year":2014,"publication_date":"2014-06-01","ids":{"openalex":"https://openalex.org/W2010588223","doi":"https://doi.org/10.1109/iscc.2014.6912478","mag":"2010588223"},"language":"en","primary_location":{"id":"doi:10.1109/iscc.2014.6912478","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2014.6912478","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Symposium on Computers and Communications (ISCC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5012947630","display_name":"Majda Moussa","orcid":"https://orcid.org/0000-0001-9783-7074"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Majda Moussa","raw_affiliation_strings":["Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","Department of Computer and Software Engineering, Polytechnique Montreal, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montreal, Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045523857","display_name":"Hakima Ould\u2010Slimane","orcid":"https://orcid.org/0000-0002-2694-6959"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hakima Ould-Slimane","raw_affiliation_strings":["Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","Department of Computer and Software Engineering, Polytechnique Montreal, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montreal, Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064585406","display_name":"Hanifa Boucheneb","orcid":"https://orcid.org/0000-0001-9158-6374"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Hanifa Boucheneb","raw_affiliation_strings":["Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","Department of Computer and Software Engineering, Polytechnique Montreal, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montreal, Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079323101","display_name":"Steven Chamberland","orcid":"https://orcid.org/0000-0002-3459-149X"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Steven Chamberland","raw_affiliation_strings":["Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","Department of Computer and Software Engineering, Polytechnique Montreal, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Department of Computer and Software Engineering, Polytechnique Montreal, Canada","institution_ids":["https://openalex.org/I45683168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45683168"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"64","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9987999796867371,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9922999739646912,"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/firewall","display_name":"Firewall (physics)","score":0.8393083810806274},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8240867853164673},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6037096381187439},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5162227153778076},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.491384893655777},{"id":"https://openalex.org/keywords/application-firewall","display_name":"Application firewall","score":0.4763772189617157},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43365776538848877},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4326742887496948},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.42317306995391846},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4211558401584625},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3055795431137085},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.2887541651725769},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2514721155166626},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.18012818694114685},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.14348149299621582},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.12689915299415588}],"concepts":[{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.8393083810806274},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8240867853164673},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6037096381187439},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5162227153778076},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.491384893655777},{"id":"https://openalex.org/C86444895","wikidata":"https://www.wikidata.org/wiki/Q451816","display_name":"Application firewall","level":4,"score":0.4763772189617157},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43365776538848877},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4326742887496948},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.42317306995391846},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4211558401584625},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3055795431137085},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.2887541651725769},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2514721155166626},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.18012818694114685},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.14348149299621582},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.12689915299415588},{"id":"https://openalex.org/C183915046","wikidata":"https://www.wikidata.org/wiki/Q1316152","display_name":"Charged black hole","level":4,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C104062141","wikidata":"https://www.wikidata.org/wiki/Q2601295","display_name":"Extremal black hole","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iscc.2014.6912478","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc.2014.6912478","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Symposium on Computers and Communications (ISCC)","raw_type":"proceedings-article"},{"id":"pmh:oai:publications.polymtl.ca:53062","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/53062/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication de conf\u00e9rence"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.41999998688697815,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W65658698","https://openalex.org/W1498432697","https://openalex.org/W1504662986","https://openalex.org/W1536322440","https://openalex.org/W1549053995","https://openalex.org/W1718921878","https://openalex.org/W1966823303","https://openalex.org/W2105455406","https://openalex.org/W2107806048","https://openalex.org/W2120237629","https://openalex.org/W2120255160","https://openalex.org/W2121780186","https://openalex.org/W2132647282","https://openalex.org/W2134368869","https://openalex.org/W2157609788","https://openalex.org/W2305500504","https://openalex.org/W6631856774","https://openalex.org/W6678385351","https://openalex.org/W6698033579"],"related_works":["https://openalex.org/W2042688990","https://openalex.org/W2389863504","https://openalex.org/W2785784743","https://openalex.org/W2916429898","https://openalex.org/W2366805216","https://openalex.org/W2766864291","https://openalex.org/W2762356698","https://openalex.org/W2127561726","https://openalex.org/W143204455","https://openalex.org/W2038840231"],"abstract_inverted_index":{"The":[0],"main":[1],"problem":[2],"of":[3,78,81,102],"firewall":[4,45],"configuration":[5,22,46],"is":[6,31],"to":[7,43,49,71,108],"ensure":[8],"the":[9,19,51,74,109],"filtering":[10],"rules":[11],"consistency":[12],"w.r.t.":[13,83],"a":[14,24,28,59,79,84],"global":[15,85],"security":[16,76,86],"policy.":[17,87],"However,":[18],"overall":[20],"firewalls":[21,82],"on":[23,66],"network,":[25],"which":[26],"requires":[27],"human":[29],"intervention,":[30],"often":[32],"an":[33],"error-prone":[34],"process.":[35],"Therefore,":[36],"automated":[37],"solutions":[38],"are":[39,96],"needed":[40],"in":[41,100],"order":[42],"detect":[44],"inconsistencies":[47],"and":[48,62,98,104,112],"check":[50],"inter-firewalls":[52],"consistency.":[53],"In":[54],"this":[55],"paper,":[56],"we":[57],"propose":[58],"formal":[60],"modeling":[61],"verification":[63],"framework":[64],"based":[65],"model":[67],"checking.":[68],"It":[69],"allows":[70],"verify":[72],"automatically":[73],"end-to-end":[75],"behavior":[77],"set":[80],"To":[88],"deal":[89],"with":[90],"state":[91],"explosion":[92],"problem,":[93],"two":[94],"abstractions":[95],"proposed":[97],"evaluated":[99],"term":[101],"space":[103],"time":[105],"complexity,":[106],"according":[107],"network":[110],"size":[111],"connectivity":[113],"rate.":[114]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}