{"id":"https://openalex.org/W2296228066","doi":"https://doi.org/10.1007/s00165-017-0430-6","title":"Dynamic intransitive noninterference revisited","display_name":"Dynamic intransitive noninterference revisited","publication_year":2017,"publication_date":"2017-06-06","ids":{"openalex":"https://openalex.org/W2296228066","doi":"https://doi.org/10.1007/s00165-017-0430-6","mag":"2296228066"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-017-0430-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0430-6","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-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/A5001018065","display_name":"Sebastian Eggert","orcid":"https://orcid.org/0000-0001-5864-0447"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Eggert","raw_affiliation_strings":["Institut f\u00fcr Informatik, Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035101401","display_name":"Ron van der Meyden","orcid":"https://orcid.org/0000-0002-9243-0571"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ron van der Meyden","raw_affiliation_strings":["School of Computer Science and Engineering, UNSW Australia, 2052, Sydney, NSW, Australia"],"raw_orcid":"https://orcid.org/0000-0002-9243-0571","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, UNSW Australia, 2052, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8261,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.7946825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"6","first_page":"1087","last_page":"1120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T10927","display_name":"Access Control and Trust","score":0.9987000226974487,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9958000183105469,"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/computer-science","display_name":"Computer science","score":0.7089231014251709},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6208202838897705},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5881186723709106},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5639561414718628},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5517159700393677},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.47293877601623535},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3934507966041565},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3744249641895294},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.22153568267822266},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.214708149433136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1914096176624298},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1448688507080078}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7089231014251709},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6208202838897705},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5881186723709106},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5639561414718628},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5517159700393677},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.47293877601623535},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3934507966041565},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3744249641895294},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.22153568267822266},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.214708149433136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1914096176624298},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1448688507080078},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-017-0430-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0430-6","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3612303874","display_name":null,"funder_award_id":"DP1097203","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W104757940","https://openalex.org/W140235344","https://openalex.org/W199389580","https://openalex.org/W1503761302","https://openalex.org/W1522146952","https://openalex.org/W1549208137","https://openalex.org/W1683403723","https://openalex.org/W1699577049","https://openalex.org/W1739542898","https://openalex.org/W1800818214","https://openalex.org/W1817610252","https://openalex.org/W1910149059","https://openalex.org/W1977764760","https://openalex.org/W1999056706","https://openalex.org/W2019193016","https://openalex.org/W2036463966","https://openalex.org/W2048500751","https://openalex.org/W2053233145","https://openalex.org/W2072033902","https://openalex.org/W2080914957","https://openalex.org/W2083228150","https://openalex.org/W2086234010","https://openalex.org/W2095762545","https://openalex.org/W2106226772","https://openalex.org/W2113660296","https://openalex.org/W2117181435","https://openalex.org/W2118341398","https://openalex.org/W2121001711","https://openalex.org/W2121988324","https://openalex.org/W2126469755","https://openalex.org/W2128487827","https://openalex.org/W2136296832","https://openalex.org/W2152767745","https://openalex.org/W2161515940","https://openalex.org/W3024337755","https://openalex.org/W3140030144","https://openalex.org/W4236957841"],"related_works":["https://openalex.org/W2105261429","https://openalex.org/W2128487827","https://openalex.org/W2953659785","https://openalex.org/W2342414279","https://openalex.org/W2907043699","https://openalex.org/W2022781334","https://openalex.org/W2122049982","https://openalex.org/W30393995","https://openalex.org/W2122356538","https://openalex.org/W1514244613"],"abstract_inverted_index":{"Abstract":[0],"The":[1,99,119],"paper":[2],"studies":[3],"dynamic":[4,115],"information":[5,45,116],"flow":[6,117],"security":[7],"policies":[8,18],"in":[9],"an":[10],"automaton-based":[11],"model.":[12],"Two":[13,92],"semantic":[14],"interpretations":[15,42,66,78],"of":[16,22,27,40,59,94],"such":[17],"are":[19,73,87,97,110],"developed,":[20],"both":[21,90],"which":[23],"generalize":[24],"the":[25,41,51,64,76,95,128],"notion":[26],"TA-security":[28],"[van":[29],"der":[30],"Meyden":[31],"ESORICS":[32],"2007]":[33],"for":[34,75,89],"static":[35],"intransitive":[36],"noninterference":[37],"policies.":[38],"One":[39],"focuses":[43,53],"on":[44,54],"flows":[46],"permitted":[47],"by":[48,57,127],"policy":[49,60],"edges,":[50],"other":[52],"prohibitions":[55],"implied":[56],"absence":[58],"edges.":[61],"In":[62],"general,":[63],"two":[65,77],"differ,":[67],"but":[68],"necessary":[69],"and":[70,83],"sufficient":[71],"conditions":[72],"identified":[74],"to":[79,112],"be":[80],"equivalent.":[81],"Sound":[82],"complete":[84],"proof":[85],"techniques":[86],"developed":[88],"interpretations.":[91],"applications":[93],"theory":[96],"presented.":[98],"first":[100],"is":[101,121],"a":[102,114,122],"general":[103],"result":[104],"showing":[105],"that":[106],"access":[107],"control":[108],"mechanisms":[109],"able":[111],"enforce":[113],"policy.":[118],"second":[120],"simple":[123],"capability":[124],"system":[125],"motivated":[126],"Flume":[129],"operating":[130],"system.":[131]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}