{"id":"https://openalex.org/W2514361982","doi":"https://doi.org/10.3929/ethz-a-007575139","title":"A framework for modelling and testing of security policies","display_name":"A framework for modelling and testing of security policies","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2514361982","doi":"https://doi.org/10.3929/ethz-a-007575139","mag":"2514361982"},"language":"en","primary_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/58551","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/58551","pdf_url":"http://hdl.handle.net/20.500.11850/58551","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/58551","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065514647","display_name":"Lukas Br\u00fcgger","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Br\u00fcgger, Lukas Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5065514647"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":5,"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/T10927","display_name":"Access Control and Trust","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6989384293556213},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5209980607032776},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.45277032256126404},{"id":"https://openalex.org/keywords/computer-security-model","display_name":"Computer security model","score":0.4496243894100189},{"id":"https://openalex.org/keywords/security-testing","display_name":"Security testing","score":0.44286662340164185},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.43736982345581055},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.41812950372695923},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.34510165452957153},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.1800694763660431},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.15983113646507263},{"id":"https://openalex.org/keywords/security-information-and-event-management","display_name":"Security information and event management","score":0.12793585658073425}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6989384293556213},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5209980607032776},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.45277032256126404},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.4496243894100189},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.44286662340164185},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.43736982345581055},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41812950372695923},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34510165452957153},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.1800694763660431},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.15983113646507263},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.12793585658073425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/58551","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/58551","pdf_url":"http://hdl.handle.net/20.500.11850/58551","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.3929/ethz-a-007575139","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-a-007575139","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:2514361982","is_oa":false,"landing_page_url":"http://e-collection.library.ethz.ch/eserv/eth:6200/eth-6200-02.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/58551","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/58551","pdf_url":"http://hdl.handle.net/20.500.11850/58551","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2514361982.pdf","grobid_xml":"https://content.openalex.org/works/W2514361982.grobid-xml"},"referenced_works_count":79,"referenced_works":["https://openalex.org/W178927145","https://openalex.org/W1483206527","https://openalex.org/W1487409515","https://openalex.org/W1498542756","https://openalex.org/W1514240556","https://openalex.org/W1522227573","https://openalex.org/W1522465028","https://openalex.org/W1558615742","https://openalex.org/W1573602192","https://openalex.org/W1573822344","https://openalex.org/W1574020884","https://openalex.org/W1577384748","https://openalex.org/W1577504098","https://openalex.org/W1608087281","https://openalex.org/W1718921878","https://openalex.org/W1749560176","https://openalex.org/W1787500456","https://openalex.org/W1805372241","https://openalex.org/W1963754732","https://openalex.org/W1967951878","https://openalex.org/W1994582486","https://openalex.org/W1996404651","https://openalex.org/W1997143185","https://openalex.org/W1997862012","https://openalex.org/W2006841241","https://openalex.org/W2007297573","https://openalex.org/W2009799695","https://openalex.org/W2015795832","https://openalex.org/W2020255359","https://openalex.org/W2035405585","https://openalex.org/W2036094180","https://openalex.org/W2050177399","https://openalex.org/W2053741629","https://openalex.org/W2061161497","https://openalex.org/W2066266646","https://openalex.org/W2076004681","https://openalex.org/W2081976899","https://openalex.org/W2084797476","https://openalex.org/W2093535134","https://openalex.org/W2100719963","https://openalex.org/W2103082747","https://openalex.org/W2103140527","https://openalex.org/W2106192381","https://openalex.org/W2108147409","https://openalex.org/W2112060844","https://openalex.org/W2119067045","https://openalex.org/W2120588644","https://openalex.org/W2122106619","https://openalex.org/W2122991962","https://openalex.org/W2126818664","https://openalex.org/W2129533252","https://openalex.org/W2130507511","https://openalex.org/W2131245056","https://openalex.org/W2132840411","https://openalex.org/W2134296086","https://openalex.org/W2135414215","https://openalex.org/W2138256602","https://openalex.org/W2140730933","https://openalex.org/W2140890531","https://openalex.org/W2144911386","https://openalex.org/W2144973245","https://openalex.org/W2145505903","https://openalex.org/W2147281414","https://openalex.org/W2147929198","https://openalex.org/W2153601374","https://openalex.org/W2154336835","https://openalex.org/W2154897437","https://openalex.org/W2156013193","https://openalex.org/W2160207938","https://openalex.org/W2161485927","https://openalex.org/W2161660670","https://openalex.org/W2162308553","https://openalex.org/W2162815296","https://openalex.org/W2163595397","https://openalex.org/W2166659009","https://openalex.org/W2293616642","https://openalex.org/W2339337913","https://openalex.org/W2482940629","https://openalex.org/W2806027043"],"related_works":["https://openalex.org/W2119067045","https://openalex.org/W2097883343","https://openalex.org/W2660724509","https://openalex.org/W2995474643","https://openalex.org/W2804859424","https://openalex.org/W2948331420","https://openalex.org/W2154334611","https://openalex.org/W2062702749","https://openalex.org/W2122317706","https://openalex.org/W2083697267","https://openalex.org/W147668556","https://openalex.org/W3001089841","https://openalex.org/W2053282188","https://openalex.org/W1967860606","https://openalex.org/W2145237545","https://openalex.org/W2263188440","https://openalex.org/W2515719524","https://openalex.org/W2162454991","https://openalex.org/W2046867620","https://openalex.org/W2260970084"],"abstract_inverted_index":{"In":[0],"this":[1,15],"thesis,":[2],"we":[3],"present":[4,78],"a":[5,34,118,124,138],"uniform":[6],"framework":[7,16,28,55,114,152],"for":[8,19,46,51,65,82,94,111,137],"modelling":[9,47,52],"security":[10,41,112],"policies":[11,74,134],"and":[12,59,62,75,77,85,122,135,143,168,170],"show":[13,69],"how":[14,70],"is":[17,115,162],"used":[18,31],"model-based":[20],"conformance":[21],"testing":[22,87],"of":[23,37,40,88,141,147,150,166,176],"systems":[24],"implementing":[25],"these":[26,89],"policies.The":[27,54,113],"can":[29],"be":[30],"to":[32,71,102,131,178],"model":[33,72],"wide":[35],"range":[36],"different":[38],"kinds":[39],"policies.It":[42],"also":[43],"provides":[44],"support":[45,93,136],"dynamic":[48],"system":[49],"behaviour":[50],"stateful":[53],"supports":[56],"both":[57],"unit":[58],"sequence":[60],"tests,":[61],"includes":[63],"techniques":[64,79,130],"automatic":[66],"test":[67,108],"execution.We":[68],"large-scale":[73],"systems,":[76],"that":[80],"allow":[81],"an":[83],"efficient":[84],"effective":[86],"systems.Our":[90],"contributions":[91],"include":[92],"formally":[95],"verified":[96],"policy":[97],"transformation":[98],"procedures,":[99],"allowing":[100],"one":[101,161],"tame":[103],"inherent":[104],"state-space":[105],"explosions":[106],"in":[107,117,163,173],"case":[109,159],"generation":[110],"implemented":[116],"theorem":[119],"proving":[120],"environment":[121],"has":[123],"rigorous":[125],"formal":[126],"foundation.We":[127],"provide":[128,145],"powerful":[129],"reason":[132],"about":[133],"tighter":[139],"integration":[140],"tests":[142],"proofs.We":[144],"evidence":[146],"the":[148,164,171,174],"strength":[149],"our":[151],"by":[153],"instantiating":[154],"it":[155],"with":[156],"two":[157],"largescale":[158],"studies:":[160],"area":[165,175],"firewalls":[167],"networks,":[169],"other":[172],"access":[177],"electronic":[179],"health":[180],"care":[181],"records.i":[182]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}