{"id":"W4402265418","doi":"10.23919/acc60939.2024.10644328","title":"Existence Conditions for Confidentiality in Discrete-Event Systems<sup>*</sup>","year":2024,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Defence Research and Development Canada","keywords":"Confidentiality; Computer science; Event (particle physics); Computer security; Theoretical computer science; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.01083547,0.0008530981,0.001103995,0.001716543,0.00162544,0.003472891,0.001659945,0.002269712,0.00711117],"category_scores_gemma":[0.03008193,0.0009995883,0.002017573,0.0009838345,0.00524552,0.01048046,0.003704464,0.006629635,0.001195724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002146135,"about_ca_system_score_gemma":0.002762475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001213976,"about_ca_topic_score_gemma":0.000953148,"domain_scores_codex":[0.9914574,0.002697643,0.001164343,0.001168149,0.002746849,0.0007656537],"domain_scores_gemma":[0.9368907,0.04711896,0.003965451,0.003687127,0.006758326,0.001579431],"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.0001019389,0.00006004244,0.001074362,0.0002645082,0.0000450413,0.0007452338,0.0007669884,0.01448268,0.002373195,0.9675065,0.001940715,0.01063881],"study_design_scores_gemma":[0.00008494365,0.0001460117,0.0008198397,0.0003029922,0.0001222545,0.001078591,0.0005450776,0.1663822,0.01220183,0.7949064,0.02332258,0.00008721882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01625155,0.000995163,0.9549798,0.003191106,0.0003804282,0.0002595505,0.0003569936,0.0003586319,0.02322663],"genre_scores_gemma":[0.7343466,0.002301397,0.2496676,0.0009023772,0.0009779593,0.0008016711,0.0007628094,0.0002095571,0.01003013],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01083547,"threshold_uncertainty_score":0.05730414,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03878919123729348,"score_gpt":0.3259906360256717,"score_spread":0.2872014447883783,"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."}}