{"id":"https://openalex.org/W2412422166","doi":"https://doi.org/10.48550/arxiv.1605.09115","title":"The Mathematical Foundations for Mapping Policies to Network Devices (Technical Report)","display_name":"The Mathematical Foundations for Mapping Policies to Network Devices (Technical Report)","publication_year":2016,"publication_date":"2016-05-30","ids":{"openalex":"https://openalex.org/W2412422166","doi":"https://doi.org/10.48550/arxiv.1605.09115","mag":"2412422166"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1605.09115","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.09115","pdf_url":"https://arxiv.org/pdf/1605.09115","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1605.09115","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022847596","display_name":"Dinesha Ranathunga","orcid":"https://orcid.org/0000-0002-8665-371X","observed_orcids":["https://orcid.org/0000-0002-8665-371X"]},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"The University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I4405259444","https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ranathunga, Dinesha","raw_affiliation_strings":["ACEMS , University of Adelaide , Adelaide , Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ACEMS , University of Adelaide , Adelaide , Australia","institution_ids":["https://openalex.org/I5681781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016001264","display_name":"Matthew Roughan","orcid":"https://orcid.org/0000-0002-7882-7329","observed_orcids":["https://orcid.org/0000-0002-7882-7329"]},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"The University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I4405259444","https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Roughan, Matthew","raw_affiliation_strings":["ACEMS , University of Adelaide , Adelaide , Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ACEMS , University of Adelaide , Adelaide , Australia","institution_ids":["https://openalex.org/I5681781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080315220","display_name":"Phil Kernick","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kernick, Phil","raw_affiliation_strings":["CQR Consulting , Unley , Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CQR Consulting , Unley , Australia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112207828","display_name":"Nick Falkner","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"The University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I4405259444","https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Falkner, Nick","raw_affiliation_strings":["School of Computer Science , University of Adelaide , Adelaide , Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , University of Adelaide , Adelaide , Australia","institution_ids":["https://openalex.org/I5681781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.6693999767303467,"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.6693999767303467,"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/T10927","display_name":"Access Control and Trust","score":0.22460000216960907,"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.032499998807907104,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/policy-specification-language","display_name":"policy specification language","score":0.7319999933242798},{"id":"https://openalex.org/keywords/firewall-configuration","display_name":"firewall configuration","score":0.6570000052452087},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.7269999980926514},{"id":"https://openalex.org/keywords/policy-verification","display_name":"policy verification","score":0.5899999737739563},{"id":"https://openalex.org/keywords/network-security-policy","display_name":"network security policy","score":0.5839999914169312},{"id":"https://openalex.org/keywords/policy-composition","display_name":"policy composition","score":0.7480000257492065},{"id":"https://openalex.org/keywords/network-device-configuration","display_name":"network device configuration","score":0.6119999885559082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7551296353340149},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.6141151189804077},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.59395432472229},{"id":"https://openalex.org/C2777338717","wikidata":"https://www.wikidata.org/wiki/Q1762621","display_name":"Vendor","level":2,"score":0.4927094280719757},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4924333989620209},{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.47759127616882324},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.45621222257614136},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4518224895000458},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42619800567626953},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.418804407119751},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.41468381881713867},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35458365082740784},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23799318075180054},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.19789987802505493},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.09841683506965637},{"id":"https://openalex.org/C115304011","wikidata":"https://www.wikidata.org/wiki/Q72755","display_name":"Schwarzschild radius","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C124017977","wikidata":"https://www.wikidata.org/wiki/Q11412","display_name":"Gravitation","level":2,"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/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:1605.09115","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.09115","pdf_url":"https://arxiv.org/pdf/1605.09115","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2412422166","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1605.09115.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1605.09115","doi":"https://doi.org/10.48550/arxiv.1605.09115","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1605.09115","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1605.09115","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1605.09115","pdf_url":"https://arxiv.org/pdf/1605.09115","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2412422166.pdf","grobid_xml":"https://content.openalex.org/works/W2412422166.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W766097457","https://openalex.org/W2011316745","https://openalex.org/W2017061157","https://openalex.org/W2047454730","https://openalex.org/W2077803317","https://openalex.org/W2093882311","https://openalex.org/W2127659081","https://openalex.org/W2130210899","https://openalex.org/W2135870733","https://openalex.org/W2152217824","https://openalex.org/W2163854926","https://openalex.org/W2513008240","https://openalex.org/W2949162956"],"related_works":["https://openalex.org/W2510513234","https://openalex.org/W7100248181","https://openalex.org/W2408006725","https://openalex.org/W1600834064","https://openalex.org/W103353880","https://openalex.org/W2739315764","https://openalex.org/W2022081019","https://openalex.org/W3008495003","https://openalex.org/W4413787990","https://openalex.org/W7099138233"],"abstract_inverted_index":{"A":[0],"common":[1],"requirement":[2],"in":[3,20,27,125],"policy":[4,30,50,53,61,96,108],"specification":[5],"languages":[6,51],"is":[7,25,109],"the":[8,14,38,44,91,95,112,119],"ability":[9],"to":[10,13,59,62,103,133],"map":[11],"policies":[12,45,76],"underlying":[15],"network":[16,63,75,87],"devices.":[17,64],"Doing":[18],"so,":[19],"a":[21,28,81,107],"provably":[22],"correct":[23,113],"way,":[24],"important":[26],"security":[29],"context,":[31],"so":[32],"administrators":[33],"can":[34,77],"be":[35,78],"confident":[36],"of":[37,40,84,94,115,121],"level":[39],"protection":[41],"provided":[42],"by":[43,111,130],"for":[46],"their":[47],"networks.":[48,135],"Existing":[49],"allow":[52],"composition":[54],"but":[55],"lack":[56],"formal":[57],"semantics":[58],"allocate":[60],"Our":[65],"research":[66],"tackles":[67],"this":[68],"from":[69],"first":[70],"principles:":[71],"we":[72],"ask":[73],"how":[74],"described":[79],"at":[80],"high-level,":[82],"independent":[83],"firewall-vendor":[85],"and":[86,99],"minutiae.":[88],"We":[89,117],"identify":[90],"algebraic":[92],"requirements":[93],"mapping":[97],"process":[98],"propose":[100],"semantic":[101],"foundations":[102],"formally":[104],"verify":[105],"if":[106],"implemented":[110],"set":[114],"policy-arbiters.":[116],"show":[118],"value":[120],"our":[122],"proposed":[123],"algebras":[124],"maintaining":[126],"concise":[127],"network-device":[128],"configurations":[129],"applying":[131],"them":[132],"real-world":[134]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}