{"id":"W2138734937","doi":"10.1007/978-3-540-73986-9_14","title":"Synthesis of Non-interferent Distributed Systems","year":2007,"lang":"en","type":"book-chapter","venue":"Communications in computer and information science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Property (philosophy); Computer science; Focus (optics); TRACE (psycholinguistics); Interference (communication); Bisimulation; Distributed computing; Theoretical computer science; Computer security; Human–computer interaction; Computer network; Channel (broadcasting)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001748633,0.0002110211,0.0003418629,0.001132105,0.000310925,0.0004457411,0.004071725,0.0001511452,0.000003843293],"category_scores_gemma":[0.00008196045,0.0002165867,0.00005829136,0.000562546,0.0007558155,0.003206374,0.002172786,0.0003700062,0.00002654686],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001699606,"about_ca_system_score_gemma":0.0002526537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000024757,"about_ca_topic_score_gemma":0.00000316188,"domain_scores_codex":[0.9978451,0.00003119919,0.00109654,0.0002800514,0.0005147383,0.0002323898],"domain_scores_gemma":[0.9956747,0.0005666701,0.0006796812,0.002327586,0.0006485684,0.0001028336],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002161563,0.00002188832,0.0000350874,0.00008199692,0.000008433794,2.503279e-7,0.00103073,0.0006728669,0.000003758498,0.8482613,0.000138957,0.1497426],"study_design_scores_gemma":[0.0001514125,0.00003952324,0.00100353,0.0006398664,0.000006771819,0.00002134104,0.00003974766,0.9444757,0.00009350134,0.001574781,0.0516556,0.0002982679],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0000506136,0.0002778769,0.8861989,0.0002008288,0.0004645417,0.0002865864,0.00002541716,0.00006324228,0.112432],"genre_scores_gemma":[0.8578697,0.002202894,0.1391014,0.0002955098,0.00007413421,0.00004040377,0.00007730132,0.00001432305,0.0003243066],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9438028,"threshold_uncertainty_score":0.8832149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05804527178303598,"score_gpt":0.3057059616234779,"score_spread":0.2476606898404419,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}