{"id":"https://openalex.org/W6922658135","doi":"https://doi.org/10.1184/r1/23562165.v1","title":"Information Flow Control for Dynamic Reactive Systems","display_name":"Information Flow Control for Dynamic Reactive Systems","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W6922658135","doi":"https://doi.org/10.1184/r1/23562165.v1"},"language":"en","primary_location":{"id":"pmh:oai:figshare.com:article/23562165","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"McCall, McKenna","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"McCall, McKenna","raw_affiliation_strings":["Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32280918,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9383000135421753,"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.9383000135421753,"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.01080000028014183,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.006800000090152025,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5688999891281128},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.5576000213623047},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5192999839782715},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.462799996137619},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.44940000772476196},{"id":"https://openalex.org/keywords/information-sensitivity","display_name":"Information sensitivity","score":0.3880999982357025},{"id":"https://openalex.org/keywords/track","display_name":"Track (disk drive)","score":0.382099986076355},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.3716000020503998},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.366100013256073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8019000291824341},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5688999891281128},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5626000165939331},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.5576000213623047},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5192999839782715},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.462799996137619},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.44940000772476196},{"id":"https://openalex.org/C137822555","wikidata":"https://www.wikidata.org/wiki/Q2587068","display_name":"Information sensitivity","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.366100013256073},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.3167000114917755},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.3107999861240387},{"id":"https://openalex.org/C2776113466","wikidata":"https://www.wikidata.org/wiki/Q5153398","display_name":"Common Information Model (electricity)","level":4,"score":0.295199990272522},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.28859999775886536},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C2779201187","wikidata":"https://www.wikidata.org/wiki/Q2775060","display_name":"Information leakage","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C178148461","wikidata":"https://www.wikidata.org/wiki/Q1632136","display_name":"Security controls","level":3,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:figshare.com:article/23562165","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.1184/r1/23562165.v1","is_oa":true,"landing_page_url":"https://doi.org/10.1184/r1/23562165.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/23562165","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"It":[0],"is":[1,69,131],"common":[2],"for":[3,125,254],"reactive":[4,33,85,108],"systems":[5,34],"like":[6,96],"web":[7],"services":[8],"to":[9,52,72,84,157,190,257,290],"collect":[10],"personal":[11],"information":[12,18,92,118],"and/or":[13],"perform":[14],"sensitive":[15],"tasks,":[16],"making":[17,183],"flow":[19,93],"control":[20,94],"(IFC)":[21],"in":[22,32,44,210],"these":[23,127],"applications":[24],"particularly":[25],"important.":[26],"Most":[27],"existing":[28],"work":[29],"on":[30],"IFC":[31],"does":[35],"not":[36,80,147,270],"address":[37],"the":[38,103,177,217,230,273],"unique":[39],"capabilities":[40],"an":[41,132,185],"attacker":[42,161],"has":[43,175],"a":[45,50,54,59,106,168,180,225],"dynamic":[46,107,114,140],"setting":[47],"(like":[48],"using":[49,291],"script":[51],"simulate":[53],"user":[55],"event,":[56],"or":[57,63,263],"creating":[58],"new":[60,112,169,200],"HTML":[61],"element),":[62],"else":[64],"enforce":[65],"strict":[66],"noninterference":[67,212],"which":[68,174,228],"too":[70],"restrictive":[71],"be":[73,248],"practical.":[74],"Moreover,":[75],"standard":[76],"security":[77,201,220,274,287],"definitions":[78],"do":[79,146],"always":[81],"translate":[82],"cleanly":[83],"settings.":[86],"In":[87],"this":[88,199],"thesis,":[89],"we":[90,204,215],"revisit":[91],"concepts":[95],"confidentiality,":[97],"integrity,":[98],"declassification,":[99],"and":[100,121,154,187,221,235,275],"endorsement":[101],"from":[102,198,244,251],"perspective":[104],"of":[105,134,160,171,179,233,261,278],"system.":[109],"We":[110,166,265],"identify":[111],"ways":[113],"features":[115,141],"can":[116,247,269],"leak":[117],"via":[119],"declassification":[120,195],"propose":[122],"two":[123],"strategies":[124],"mitigating":[126],"risks.":[128],"The":[129,150],"first":[130],"extension":[133],"Secure":[135],"Multi-execution":[136],"(SME)":[137],"that":[138,144,241,267],"treats":[139],"specially":[142],"so":[143],"they":[145],"influence":[148,162],"declassification.":[149],"second":[151],"combines":[152],"SME":[153,164],"taint":[155,236],"tracking":[156,237],"keep":[158],"track":[159],"within":[163],"executions.":[165],"develop":[167],"notion":[170],"\"attacker":[172],"influence\"":[173],"all":[176],"advantages":[178],"knowledge-based":[181],"definition,":[182],"it":[184],"intuitive":[186],"precise":[188],"way":[189],"reason":[191],"about":[192],"security.":[193],"Robust":[194],"follows":[196],"naturally":[197],"condition":[202],"because":[203],"treat":[205],"declassifications":[206],"as":[207],"trusted":[208],"behaviors":[209],"our":[211],"definition.":[213],"Finally,":[214],"balance":[216,272],"tradeoff":[218],"between":[219],"performance":[222,276],"by":[223],"developing":[224],"flexible":[226],"framework":[227],"allows":[229],"seamless":[231],"composition":[232,268],"multi-execution":[234],"techniques.":[238],"This":[239],"means":[240],"event":[242],"handlers":[243],"different":[245,279],"sources":[246],"treated":[249],"differently":[250],"each":[252],"other,":[253],"example,":[255],"according":[256],"their":[258],"relative":[259],"levels":[260],"trustworthiness":[262],"complexity.":[264],"find":[266],"only":[271],"tradeoffs":[277],"techniques,":[280],"but":[281],"some":[282],"compositions":[283],"actually":[284],"achieve":[285],"stronger":[286],"guarantees":[288],"compared":[289],"one":[292],"technique":[293],"alone.":[294],"<pre><code><br></code></pre>":[295]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}