{"id":"https://openalex.org/W2534494087","doi":"https://doi.org/10.1145/2993600.2993603","title":"Future-dependent Flow Policies with Prophetic Variables","display_name":"Future-dependent Flow Policies with Prophetic Variables","publication_year":2016,"publication_date":"2016-10-24","ids":{"openalex":"https://openalex.org/W2534494087","doi":"https://doi.org/10.1145/2993600.2993603","mag":"2534494087"},"language":"en","primary_location":{"id":"doi:10.1145/2993600.2993603","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2993600.2993603","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security","raw_type":"proceedings-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/A5101640149","display_name":"Ximeng Li","orcid":"https://orcid.org/0000-0003-3708-4255"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ximeng Li","raw_affiliation_strings":["TU-Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU-Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089639449","display_name":"Flemming Nielson","orcid":"https://orcid.org/0000-0001-7362-6176"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Flemming Nielson","raw_affiliation_strings":["Technical University of Denmark, Lyngby, Denmark"],"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012948241","display_name":"Hanne Riis Nielson","orcid":"https://orcid.org/0000-0002-2484-5580"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hanne Riis Nielson","raw_affiliation_strings":["Technical University of Denmark, Lyngby, Denmark"],"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101640149"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":1.3302,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.87669355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"29","last_page":"42"},"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.9987999796867371,"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.9987999796867371,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9905999898910522,"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/flow","display_name":"Flow (mathematics)","score":0.5086925625801086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4776141345500946},{"id":"https://openalex.org/keywords/mechanics","display_name":"Mechanics","score":0.1647542417049408},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1405668556690216}],"concepts":[{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.5086925625801086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4776141345500946},{"id":"https://openalex.org/C57879066","wikidata":"https://www.wikidata.org/wiki/Q41217","display_name":"Mechanics","level":1,"score":0.1647542417049408},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1405668556690216}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2993600.2993603","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2993600.2993603","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/81c1fe4a-f1fa-4cfa-ac7b-73c1dbc7f440","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/81c1fe4a-f1fa-4cfa-ac7b-73c1dbc7f440","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Li , X , Nielson , F & Nielson , H R 2016 , Future-dependent Flow Policies with Prophetic Variables . in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security . Association for Computing Machinery , pp. 29-42 , 2016 ACM Workshop on Programming Languages and Analysis for Security , Vienna , Austria , 24/10/2016 . https://doi.org/10.1145/2993600.2993603","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6299999952316284}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1522146952","https://openalex.org/W1538380139","https://openalex.org/W1548016907","https://openalex.org/W1677369896","https://openalex.org/W1748842448","https://openalex.org/W1819958245","https://openalex.org/W1866799138","https://openalex.org/W1966354044","https://openalex.org/W1977764760","https://openalex.org/W1998003182","https://openalex.org/W2060710422","https://openalex.org/W2071700915","https://openalex.org/W2088923183","https://openalex.org/W2108887121","https://openalex.org/W2121988324","https://openalex.org/W2122049982","https://openalex.org/W2128932642","https://openalex.org/W2136296832","https://openalex.org/W2150174204","https://openalex.org/W2158196184","https://openalex.org/W2265652392","https://openalex.org/W2295217343","https://openalex.org/W2295903522","https://openalex.org/W2346134553","https://openalex.org/W2997271062"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Content-dependency":[0,16],"often":[1],"plays":[2],"an":[3],"important":[4],"role":[5],"in":[6,86,101,113],"the":[7,29,53,77,102],"information":[8],"flow":[9,43],"security":[10,97],"of":[11,56,95,104,124],"real":[12],"world":[13],"IT":[14],"systems.":[15],"gives":[17],"rise":[18],"to":[19,39,68],"informative":[20],"policies":[21,44,46],"and":[22,26,91,121,126],"permissive":[23],"static":[24,36],"enforcement,":[25],"sometimes":[27],"avoids":[28,122],"need":[30],"for":[31,98],"downgrading.":[32],"We":[33,89,108],"develop":[34,90],"a":[35,93],"type":[37],"system":[38],"soundly":[40],"enforce":[41,92],"future-dependent":[42,96],"---":[45],"that":[47],"can":[48,80],"depend":[49],"on":[50,106],"not":[51],"only":[52],"current":[54],"values":[55,65,79],"variables,":[57,74],"but":[58],"also":[59,109],"their":[60],"final":[61,64],"values.":[62],"The":[63],"are":[66],"referred":[67],"using":[69,83],"what":[70],"we":[71],"call":[72],"prophetic":[73],"just":[75],"as":[76],"initial":[78],"be":[81],"referenced":[82],"logical":[84],"variables":[85],"Hoare":[87],"logic.":[88],"notion":[94],"open":[99],"systems,":[100],"spirit":[103],"\"non-deducibility":[105],"strategies\".":[107],"illustrate":[110],"our":[111],"approach":[112],"scenarios":[114],"where":[115],"future-dependency":[116],"has":[117],"advantages":[118],"over":[119],"present-dependency":[120],"mixtures":[123],"upgradings":[125],"downgradings.":[127]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}