{"id":"https://openalex.org/W2168686464","doi":"https://doi.org/10.1109/csfw.2000.856937","title":"Probabilistic noninterference for multi-threaded programs","display_name":"Probabilistic noninterference for multi-threaded programs","publication_year":2002,"publication_date":"2002-11-07","ids":{"openalex":"https://openalex.org/W2168686464","doi":"https://doi.org/10.1109/csfw.2000.856937","mag":"2168686464"},"language":"en","primary_location":{"id":"doi:10.1109/csfw.2000.856937","doi":"https://doi.org/10.1109/csfw.2000.856937","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.2000.856937","pdf_url":null,"source":{"id":"https://openalex.org/S4210181444","display_name":"IEEE Computer Security Foundations Workshop (CSFW)","issn_l":"1063-6900","issn":["1063-6900","2377-5459"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5070340953","display_name":"Andrei Sabelfeld","orcid":"https://orcid.org/0000-0001-9344-9058","observed_orcids":["https://orcid.org/0000-0001-9344-9058"]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"A. Sabelfeld","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology and G\u00f6teborg University, Goteborg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and G\u00f6teborg University, Goteborg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082447666","display_name":"David Sands","orcid":"https://orcid.org/0000-0001-6221-0503","observed_orcids":["https://orcid.org/0000-0001-6221-0503"]},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"D. Sands","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology and G\u00f6teborg University, Goteborg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and G\u00f6teborg University, Goteborg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":13.5697,"has_fulltext":false,"cited_by_count":307,"citation_normalized_percentile":{"value":0.99506044,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"200","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7422000169754028,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7422000169754028,"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/T11424","display_name":"Security and Verification in Computing","score":0.2354000061750412,"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/T10142","display_name":"Formal Methods in Verification","score":0.004900000058114529,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/multithreaded-applications","display_name":"multithreaded programs","score":0.843999981880188},{"id":"https://openalex.org/keywords/covert-channels","display_name":"covert channels","score":0.7580000162124634},{"id":"https://openalex.org/keywords/randomized-scheduling","display_name":"probabilistic scheduling","score":0.7200000286102295},{"id":"https://openalex.org/keywords/probabilistic-bisimulation","display_name":"probabilistic bisimulation","score":0.9269999861717224},{"id":"https://openalex.org/keywords/security-type-systems","display_name":"security type systems","score":0.7820000052452087},{"id":"https://openalex.org/keywords/compositionality","display_name":"compositionality","score":0.8019999861717224},{"id":"https://openalex.org/keywords/dynamic-thread-creation","display_name":"dynamic thread creation","score":0.7960000038146973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8052947521209717},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8003464937210083},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6514797806739807},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6105421185493469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5180378556251526},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.512973964214325},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4576195478439331},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4393399953842163},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4200063943862915},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4116639494895935},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.12660136818885803},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12420707941055298},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11747321486473083},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/csfw.2000.856937","doi":"https://doi.org/10.1109/csfw.2000.856937","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csfw.2000.856937","pdf_url":null,"source":{"id":"https://openalex.org/S4210181444","display_name":"IEEE Computer Security Foundations Workshop (CSFW)","issn_l":"1063-6900","issn":["1063-6900","2377-5459"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13","raw_type":"proceedings-article"},{"id":"pmh:oai:publications.lib.chalmers.se:18076","doi":null,"is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/18076-probabilistic-noninterference-for-multi-threaded-programs","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Conference.PeerReviewed"},{"id":"pmh:oai:research.chalmers.se:18076","doi":null,"is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/18076","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","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":24,"referenced_works":["https://openalex.org/W259536784","https://openalex.org/W1521474031","https://openalex.org/W1613874182","https://openalex.org/W1940060540","https://openalex.org/W1973641744","https://openalex.org/W1977764760","https://openalex.org/W1993302007","https://openalex.org/W1997775274","https://openalex.org/W2016017569","https://openalex.org/W2057503672","https://openalex.org/W2093397547","https://openalex.org/W2094873755","https://openalex.org/W2121225040","https://openalex.org/W2129278597","https://openalex.org/W2131817563","https://openalex.org/W2150174204","https://openalex.org/W2167446340","https://openalex.org/W2168197734","https://openalex.org/W2180221446","https://openalex.org/W2202040224","https://openalex.org/W2294561170","https://openalex.org/W4300885858","https://openalex.org/W6631241597","https://openalex.org/W6980006529"],"related_works":["https://openalex.org/W7100921344","https://openalex.org/W3141352840","https://openalex.org/W2202040224","https://openalex.org/W2009417104","https://openalex.org/W2189778446","https://openalex.org/W7099926249","https://openalex.org/W2057503672","https://openalex.org/W7096681722","https://openalex.org/W1967444160","https://openalex.org/W2105443119"],"abstract_inverted_index":{"We":[0,102,122],"present":[1],"a":[2,10,24,68,127],"probability-sensitive":[3],"confidentiality":[4],"specification-a":[5],"form":[6],"of":[7,71,77,93,99,115],"probabilistic":[8,100],"noninterference-for":[9],"small":[11],"multi-threaded":[12,39,135],"programming":[13],"language":[14,36],"with":[15,65,142],"dynamic":[16],"thread":[17,84],"creation.":[18],"Probabilistic":[19],"covert":[20],"channels":[21],"arise":[22],"from":[23],"scheduler":[25],"which":[26,111,131],"is":[27,32,88],"probabilistic.":[28],"Since":[29],"scheduling":[30],"policy":[31],"typically":[33],"outside":[34],"the":[35,46,56,75,105],"specification":[37],"for":[38],"languages,":[40],"we":[41],"describe":[42],"how":[43,53,104],"to":[44,51,54,61,67,144],"generalise":[45,55],"security":[47,57,64,106,119,128,148],"condition":[48,58,107],"in":[49,59],"order":[50,60],"define":[52,62],"robust":[63],"respect":[66,143],"wide":[69],"class":[70],"schedulers,":[72],"not":[73],"excluding":[74],"possibility":[76],"deterministic":[78],"(e.g.,":[79],"round-robin)":[80],"schedulers":[81],"and":[82,95,137],"program-controlled":[83],"priorities.":[85],"The":[86],"formulation":[87],"based":[89],"on":[90,133],"an":[91],"adaptation":[92],"Larsen":[94],"Skou's":[96],"(1991)":[97],"notion":[98],"bisimulation.":[101],"show":[103],"satisfies":[108],"compositionality":[109],"properties":[110],"facilitate":[112],"straightforward":[113],"proofs":[114],"correctness":[116],"for,":[117],"e.g.,":[118],"type":[120,129],"systems.":[121],"illustrate":[123],"this":[124],"by":[125,138],"defining":[126],"system":[130],"improves":[132],"previous":[134],"systems,":[136],"proving":[139],"it":[140],"correct":[141],"our":[145],"stronger":[146],"scheduler-independent":[147],"condition.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":21}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}