{"id":"https://openalex.org/W4406691576","doi":"https://doi.org/10.46298/lmcs-21(1:6)2025","title":"Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity","display_name":"Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity","publication_year":2025,"publication_date":"2025-01-22","ids":{"openalex":"https://openalex.org/W4406691576","doi":"https://doi.org/10.46298/lmcs-21(1:6)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(1:6)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:6)2025","pdf_url":"https://lmcs.episciences.org/15122/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/15122/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090553213","display_name":"Andrea Esposito","orcid":"https://orcid.org/0000-0002-5903-8439"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrea Esposito","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044960820","display_name":"Alessandro Aldini","orcid":"https://orcid.org/0000-0002-7250-5011"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alessandro Aldini","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090241572","display_name":"Marco Bernardo","orcid":"https://orcid.org/0000-0003-0267-6170"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marco Bernardo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5015760641","display_name":"Sabina Rossi","orcid":"https://orcid.org/0000-0002-1189-4439"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sabina Rossi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7279,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81939876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"Volume 21, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13187","display_name":"Diffusion and Search Dynamics","score":0.09449999779462814,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T13187","display_name":"Diffusion and Search Dynamics","score":0.09449999779462814,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.6918766498565674},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6317018866539001},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3997732102870941},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34759876132011414},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.13223421573638916}],"concepts":[{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.6918766498565674},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6317018866539001},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3997732102870941},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34759876132011414},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.13223421573638916},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-21(1:6)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:6)2025","pdf_url":"https://lmcs.episciences.org/15122/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:fdb8c0a3cc6946c4b16c335e0e0fa3ce","is_oa":true,"landing_page_url":"https://doaj.org/article/fdb8c0a3cc6946c4b16c335e0e0fa3ce","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)","raw_type":"article"},{"id":"pmh:oai:ora.uniurb.it:11576/2751631","is_oa":false,"landing_page_url":"https://hdl.handle.net/11576/2751631","pdf_url":null,"source":{"id":"https://openalex.org/S4377196377","display_name":"CINECA IRIS Institutional Research information system (University of Urbino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I190397597","host_organization_name":"University of Urbino","host_organization_lineage":["https://openalex.org/I190397597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(1:6)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:6)2025","pdf_url":"https://lmcs.episciences.org/15122/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406691576.pdf","grobid_xml":"https://content.openalex.org/works/W4406691576.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W254902136","https://openalex.org/W1464356876","https://openalex.org/W1497651746","https://openalex.org/W1529656707","https://openalex.org/W1547562281","https://openalex.org/W1577673148","https://openalex.org/W1584109559","https://openalex.org/W1843540884","https://openalex.org/W1938173204","https://openalex.org/W1977764760","https://openalex.org/W1985161650","https://openalex.org/W1994350081","https://openalex.org/W2068967633","https://openalex.org/W2105259569","https://openalex.org/W2106613101","https://openalex.org/W2118044617","https://openalex.org/W2127236976","https://openalex.org/W2166189879","https://openalex.org/W2174195065","https://openalex.org/W2294020834","https://openalex.org/W2784037720","https://openalex.org/W2787322743","https://openalex.org/W2799040448","https://openalex.org/W2799377964","https://openalex.org/W2883963932","https://openalex.org/W2888053017","https://openalex.org/W2980227841","https://openalex.org/W3105104803","https://openalex.org/W4290996211","https://openalex.org/W4366550424","https://openalex.org/W4379981253","https://openalex.org/W4399592250","https://openalex.org/W6601676365","https://openalex.org/W6675499782","https://openalex.org/W6679403619","https://openalex.org/W6753915332"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2462424100","https://openalex.org/W2014836299","https://openalex.org/W2073681303","https://openalex.org/W2034871982","https://openalex.org/W2148974013","https://openalex.org/W2390279801"],"abstract_inverted_index":{"The":[0],"theory":[1],"of":[2,7,13,47,60,82,120,141],"noninterference":[3,24,121],"supports":[4],"the":[5,11,45,58,74,80,139],"analysis":[6],"information":[8,65],"leakage":[9],"and":[10,111,131,143],"execution":[12],"secure":[14],"computations":[15,62],"in":[16,44,73,103],"multi-level":[17],"security":[18],"systems.":[19],"Classical":[20],"equivalence-based":[21],"approaches":[22],"to":[23,39,88,90,99],"mainly":[25],"rely":[26],"on":[27,124,146],"weak":[28,147],"bisimulation":[29],"semantics.":[30],"We":[31],"show":[32],"that":[33,67],"this":[34,114],"approach":[35],"is":[36,86],"not":[37,69],"sufficient":[38],"identify":[40],"potential":[41],"covert":[42],"channels":[43],"presence":[46],"reversible":[48],"computations.":[49],"As":[50],"illustrated":[51],"via":[52],"a":[53,91,104,118],"database":[54],"management":[55],"system":[56],"example,":[57],"activation":[59],"backward":[61],"may":[63],"trigger":[64],"flows":[66],"are":[68],"observable":[70],"when":[71],"proceeding":[72],"standard":[75],"forward":[76],"direction.":[77],"To":[78],"capture":[79],"effects":[81],"back-and-forth":[83],"computations,":[84],"it":[85,137],"necessary":[87],"switch":[89],"more":[92],"expressive":[93],"semantics,":[94],"which":[95],"has":[96],"been":[97],"proven":[98],"be":[100],"branching":[101,125],"bisimilarity":[102,126],"previous":[105],"work":[106],"by":[107],"De":[108],"Nicola,":[109],"Montanari,":[110],"Vaandrager.":[112],"In":[113],"paper":[115],"we":[116,135],"investigate":[117],"taxonomy":[119,140],"properties":[122],"based":[123,145],"along":[127],"with":[128,138],"their":[129],"preservation":[130],"compositionality":[132],"features,":[133],"then":[134],"compare":[136],"Focardi":[142],"Gorrieri":[144],"bisimilarity.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}