{"id":"https://openalex.org/W2034357761","doi":"https://doi.org/10.1109/rtsi.2015.7325150","title":"A formal model of network policy analysis","display_name":"A formal model of network policy analysis","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2034357761","doi":"https://doi.org/10.1109/rtsi.2015.7325150","mag":"2034357761"},"language":"en","primary_location":{"id":"doi:10.1109/rtsi.2015.7325150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtsi.2015.7325150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://iris.polito.it/bitstream/11583/2621143/6/2015RTSI_author.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055358727","display_name":"Fulvio Valenza","orcid":"https://orcid.org/0000-0002-8471-3029"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fulvio Valenza","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068142007","display_name":"Serena Spinoso","orcid":"https://orcid.org/0000-0002-4678-0394"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Serena Spinoso","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015749928","display_name":"Cataldo Basile","orcid":"https://orcid.org/0000-0002-8016-1490"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cataldo Basile","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021669146","display_name":"Riccardo Sisto","orcid":"https://orcid.org/0000-0002-3142-2383"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Sisto","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071208401","display_name":"Antonio Lioy","orcid":"https://orcid.org/0000-0002-5669-9338"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Lioy","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]},{"raw_affiliation_string":"Dipartimento di Automatica e Informatica - Politecnico di Torino, ITALY#TAB#","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"516","last_page":"522"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","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/T10714","display_name":"Software-Defined Networks and 5G","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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9995999932289124,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8116563558578491},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.8033227324485779},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.7067016363143921},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.500821590423584},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4650365710258484},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.460791677236557},{"id":"https://openalex.org/keywords/network-security","display_name":"Network security","score":0.45674389600753784},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45629289746284485},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.45282891392707825},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.44141197204589844},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.43152710795402527},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"Network security policy","score":0.43112993240356445},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4111526608467102},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3742024898529053},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.37414687871932983},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.31201082468032837},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.11620765924453735},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.11576473712921143}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8116563558578491},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.8033227324485779},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.7067016363143921},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.500821590423584},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4650365710258484},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.460791677236557},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.45674389600753784},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45629289746284485},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.45282891392707825},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.44141197204589844},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.43152710795402527},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.43112993240356445},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4111526608467102},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3742024898529053},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37414687871932983},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.31201082468032837},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.11620765924453735},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.11576473712921143},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/rtsi.2015.7325150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtsi.2015.7325150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 1st International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI)","raw_type":"proceedings-article"},{"id":"pmh:oai:porto.polito.it:2621143","is_oa":true,"landing_page_url":"http://porto.polito.it/2621143/","pdf_url":"https://iris.polito.it/bitstream/11583/2621143/6/2015RTSI_author.pdf","source":{"id":"https://openalex.org/S4306402038","display_name":"PORTO Publications Open Repository TOrino (Politecnico di Torino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177477856","host_organization_name":"Politecnico di Torino","host_organization_lineage":["https://openalex.org/I177477856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:porto.polito.it:2621143","is_oa":true,"landing_page_url":"http://porto.polito.it/2621143/","pdf_url":"https://iris.polito.it/bitstream/11583/2621143/6/2015RTSI_author.pdf","source":{"id":"https://openalex.org/S4306402038","display_name":"PORTO Publications Open Repository TOrino (Politecnico di Torino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177477856","host_organization_name":"Politecnico di Torino","host_organization_lineage":["https://openalex.org/I177477856"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6800000071525574}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2034357761.pdf","grobid_xml":"https://content.openalex.org/works/W2034357761.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W121271841","https://openalex.org/W1462190747","https://openalex.org/W1508479043","https://openalex.org/W1552329465","https://openalex.org/W1562643504","https://openalex.org/W1581387117","https://openalex.org/W1972121713","https://openalex.org/W1972777832","https://openalex.org/W1976797825","https://openalex.org/W1980599059","https://openalex.org/W2028491016","https://openalex.org/W2040109832","https://openalex.org/W2042752025","https://openalex.org/W2090576367","https://openalex.org/W2110722699","https://openalex.org/W2133294820","https://openalex.org/W2148656332","https://openalex.org/W2158804164","https://openalex.org/W2170180420","https://openalex.org/W2542641847","https://openalex.org/W6630527995"],"related_works":["https://openalex.org/W2392646799","https://openalex.org/W2188814192","https://openalex.org/W2404921573","https://openalex.org/W2087536126","https://openalex.org/W1519114293","https://openalex.org/W2111277540","https://openalex.org/W2046888001","https://openalex.org/W2151761340","https://openalex.org/W324732778","https://openalex.org/W2379121684"],"abstract_inverted_index":{"The":[0],"complexity":[1,29],"of":[2,8,30,43,70,107,131],"network":[3,9,13,32,37,49,59,94],"topology":[4],"together":[5],"with":[6],"heterogeneity":[7],"services":[10],"make":[11],"the":[12,28,31,57,65,93,105,108,111,129],"configuration":[14],"a":[15,76],"hard":[16],"task,":[17],"even":[18],"for":[19,79],"skilled":[20],"and":[21,47,82,124,128],"experienced":[22],"administrators.":[23],"In":[24],"order":[25],"to":[26,90,100,116],"reduce":[27],"configuration,":[33],"administrators":[34,89],"have":[35],"leveraged":[36],"policies,":[38],"introducing":[39],"hence":[40],"new":[41],"possibility":[42],"error.":[44],"Indeed,":[45],"erroneous":[46,98],"unexpected":[48],"behaviour":[50],"(e.g.,":[51],"security":[52],"flaws)":[53],"can":[54],"derive":[55],"from":[56,64],"wrong":[58],"policy":[60,84,118],"definition,":[61],"but":[62],"also":[63],"possible":[66],"anomalies":[67,87],"among":[68],"policies":[69],"different":[71,139],"domains.":[72],"This":[73],"paper":[74],"presents":[75],"formal":[77],"model":[78,112],"detecting":[80],"inter-":[81],"intra-domain":[83],"anomalies.":[85],"Policy":[86],"allow":[88],"identify":[91],"all":[92],"behaviours":[95],"they":[96],"consider":[97],"or":[99],"be":[101],"monitored.":[102],"To":[103],"validate":[104],"generality":[106],"proposed":[109],"solution,":[110],"has":[113],"been":[114],"applied":[115],"three":[117],"domains":[119],"(packet":[120],"filtering,":[121],"communication":[122],"protection":[123],"service":[125],"function":[126],"chaining)":[127],"impact":[130],"an":[132],"anomaly":[133],"detection":[134],"analysis":[135],"was":[136],"tested":[137],"in":[138],"sized":[140],"networks.":[141]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}