{"id":"https://openalex.org/W2138158983","doi":null,"title":"Dynamic updating of information-flo w policies","display_name":"Dynamic updating of information-flo w policies","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2138158983","mag":"2138158983"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.61.1195","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1195","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.psu.edu/~phicks/jpmail/./papers/dynUpdatingInfoFlow.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5110923308","display_name":"Stephan A Zdancewic","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephan A Zdancewic","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223","observed_orcids":["https://orcid.org/0000-0002-2759-9223"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Hicks","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2759-9223","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040820774","display_name":"Stephen Tse","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephen Tse","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5027608838","display_name":"Boniface Hicks","orcid":"https://orcid.org/0000-0003-4113-979X","observed_orcids":["https://orcid.org/0000-0003-4113-979X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Boniface Hicks","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.1967,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.9722114,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":97},"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/T11424","display_name":"Security and Verification in Computing","score":0.6514000296592712,"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/T11424","display_name":"Security and Verification in Computing","score":0.6514000296592712,"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/T10126","display_name":"Logic, programming, and type systems","score":0.328900009393692,"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"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.0017999999690800905,"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/information-flow","display_name":"information flow","score":0.5899999737739563},{"id":"https://openalex.org/keywords/non-interference","display_name":"non-interference","score":0.7910000085830688},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.8299999833106995},{"id":"https://openalex.org/keywords/language-based-security","display_name":"language-based security","score":0.8009999990463257},{"id":"https://openalex.org/keywords/end-to-end-security","display_name":"end-to-end security","score":0.8809999823570251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8063709735870361},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.6650418639183044},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.6037929058074951},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5997312664985657},{"id":"https://openalex.org/C139547956","wikidata":"https://www.wikidata.org/wiki/Q6031202","display_name":"Information security standards","level":5,"score":0.5510891675949097},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.5114802122116089},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.4597809910774231},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4479557275772095},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.41951465606689453},{"id":"https://openalex.org/C117110713","wikidata":"https://www.wikidata.org/wiki/Q3394676","display_name":"Network security policy","level":4,"score":0.320451557636261},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.2837286591529846},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.61.1195","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1195","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.psu.edu/~phicks/jpmail/./papers/dynUpdatingInfoFlow.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.63.6056","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.6056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.upenn.edu/~stevez/papers/HTHZ05.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.848.2387","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.848.2387","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.upenn.edu/cgi/viewcontent.cgi?article%3D1626%26context%3Dcis_papers","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/6649","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/6649","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Other"},{"id":"pmh:oai:repository.upenn.edu:cis_papers-1626","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/cis_papers/589","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},{"id":"mag:2138158983","doi":null,"is_oa":false,"landing_page_url":"https://www.cis.upenn.edu/~stevez/papers/HTHZ05.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1497651746","https://openalex.org/W1503761302","https://openalex.org/W1510692643","https://openalex.org/W1557561422","https://openalex.org/W1585096027","https://openalex.org/W1957951093","https://openalex.org/W1963954367","https://openalex.org/W1977764760","https://openalex.org/W1998003182","https://openalex.org/W2006097813","https://openalex.org/W2016017569","https://openalex.org/W2080914957","https://openalex.org/W2100019646","https://openalex.org/W2116236474","https://openalex.org/W2119082518","https://openalex.org/W2122049982","https://openalex.org/W2144778998","https://openalex.org/W2173720051","https://openalex.org/W2295903522"],"related_works":["https://openalex.org/W7099921127","https://openalex.org/W2128487827","https://openalex.org/W4312909256","https://openalex.org/W1538511530","https://openalex.org/W1497651746","https://openalex.org/W2088923183","https://openalex.org/W2044338429","https://openalex.org/W7099687101","https://openalex.org/W95487194","https://openalex.org/W7096218139"],"abstract_inverted_index":{"Applications":[0],"that":[1,43,67,107],"manipulate":[2],"sensitive":[3],"information":[4,50,102],"should":[5,27,46],"ensure":[6,142],"end-to-end":[7,143],"security":[8,90,111,144],"by":[9,38,94],"satisfying":[10],"two":[11],"properties:":[12],"sound":[13,116],"execution":[14,117],"and":[15,37,118],"some":[16],"form":[17,121],"of":[18,79,122],"noninterference.":[19],"By":[20],"the":[21,25,39,59],"former,":[22],"we":[23,41,124],"mean":[24,42],"program":[26],"always":[28],"perform":[29],"actions":[30,45],"in":[31,92],"keeping":[32],"with":[33],"its":[34],"current":[35,82],"policy,":[36],"latter":[40],"these":[44,69],"never":[47],"cause":[48],"high-security":[49],"to":[51,54,75,89,141],"be":[52],"visible":[53],"a":[55,100,119],"low-security":[56],"observer.":[57],"Over":[58],"last":[60],"decade,":[61],"security-typed":[62,83],"languages":[63],"have":[64],"been":[65],"developed":[66],"exhibit":[68],"properties,":[70],"increasingly":[71],"improving":[72],"so":[73],"as":[74,133],"model":[76],"important":[77,135],"features":[78],"real":[80],"programs.\\nNo":[81],"language,":[84],"however,":[85],"permits":[86],"general":[87],"changes":[88],"policies":[91],"use":[93],"running":[95],"programs.":[96],"This":[97],"paper":[98],"presents":[99],"simple":[101],"flow":[103],"type":[104],"system":[105],"for":[106,109,145],"allows":[108],"dynamic":[110],"policy":[112],"updates":[113],"while":[114],"ensuring":[115],"relaxed":[120],"noninterference":[123,126],"term":[125],"between":[127],"updates.":[128],"We":[129],"see":[130],"this":[131],"work":[132],"an":[134],"step":[136],"toward":[137],"using":[138],"language-based":[139],"techniques":[140],"realistic":[146],"applications.":[147]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}