{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003441479,0.0004785645,0.0004162815,0.0002203108,0.0003719933,0.0009334792,0.0006493828,0.0004418365,0.004911046],"category_scores_gemma":[0.001032244,0.0003150084,0.0003572047,0.0001827815,0.0004399853,0.0006437954,0.0007185846,0.0005268292,0.0008641079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003868162,"about_ca_system_score_gemma":0.0003750004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001834016,"about_ca_topic_score_gemma":0.0004076631,"domain_scores_codex":[0.9997066,0.00006533876,0.00001930051,0.00006316932,0.000120234,0.00002531192],"domain_scores_gemma":[0.9996502,0.0001519596,0.00002771674,0.00008478889,0.00006885916,0.00001634176],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002769899,0.0001291649,0.0003837924,0.000549205,0.00007809764,0.0003741947,0.0004204151,0.2777346,0.1417337,0.4144857,0.002618714,0.1612155],"study_design_scores_gemma":[0.0001174576,0.0001978679,0.0001718618,0.0000614348,0.00005880544,0.0002019109,0.0000693978,0.729119,0.08220884,0.1593127,0.02845789,0.00002279605],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02282073,0.0002856611,0.9540451,0.0001187095,0.0001448874,0.00005181564,0.0000584859,0.0007275618,0.02174712],"genre_scores_gemma":[0.648638,0.0004380195,0.3345311,0.0001136251,0.00006383995,0.0001690155,0.0001685056,0.0002552719,0.01562271],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004911046,"threshold_uncertainty_score":0.01642907,"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."}}