{"id":"W7123369816","doi":"10.1109/cdc57313.2025.11312361","title":"Existence Conditions for Stealthy Confidentiality of Discrete-Event Systems","year":2025,"lang":"","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":"Natural Sciences and Engineering Research Council of Canada","keywords":"Encryption; Confidentiality; Set (abstract data type); Function (biology); Cryptography; Key (lock)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002670933,0.0003996738,0.001021496,0.0004295067,0.0005000227,0.0004885455,0.002177092,0.0002543538,0.00003787136],"category_scores_gemma":[0.000280062,0.0004010745,0.0004402787,0.001232344,0.0003285731,0.0006268905,0.0007053845,0.0002197043,0.00001910062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000302882,"about_ca_system_score_gemma":0.001220994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001302306,"about_ca_topic_score_gemma":0.00007884579,"domain_scores_codex":[0.9943711,0.000528322,0.002445372,0.001142318,0.0007576512,0.0007552021],"domain_scores_gemma":[0.9946375,0.001042441,0.0009491482,0.001953397,0.001201413,0.0002160946],"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.00003858155,0.0001832588,0.000174587,0.003006653,0.0002198274,0.000002164244,0.0007402609,0.008077004,0.0005790765,0.9827591,0.002840049,0.001379491],"study_design_scores_gemma":[0.001313669,0.0002265375,0.0002380267,0.002159102,0.0001411845,0.00001264695,0.001509947,0.9790764,0.001639313,0.009564522,0.003689814,0.0004287739],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005210469,0.002857751,0.9670749,0.0008793248,0.009181039,0.002541767,0.000354585,0.0001171823,0.01178295],"genre_scores_gemma":[0.9808297,0.00007458145,0.007914957,0.0002087266,0.0001319212,0.0003000169,0.00001561708,0.00001567242,0.01050878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9756193,"threshold_uncertainty_score":0.9998441,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04272787294728572,"score_gpt":0.3567241358182473,"score_spread":0.3139962628709616,"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."}}