{"id":"W2951545071","doi":"10.14279/tuj.eceasst.70.979","title":"Verification of Information Flow Properties under Rational Observation","year":2014,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Decidability; Information flow; Mathematical proof; PSPACE; TRACE (psycholinguistics); Completeness (order theory); Theoretical computer science; Computer science; Anonymity; Class (philosophy); Regular language; Discrete mathematics; Mathematics; Programming language; Automaton; Algorithm; Computational complexity theory; Artificial intelligence; Computer security; Linguistics","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.007345364,0.0006610885,0.0007884338,0.0009191441,0.001033177,0.003044794,0.001891725,0.001139375,0.002117867],"category_scores_gemma":[0.04248881,0.0007435296,0.002322528,0.0006226918,0.005874407,0.006825781,0.00276055,0.003246392,0.0003150997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002680527,"about_ca_system_score_gemma":0.004588405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004354252,"about_ca_topic_score_gemma":0.002492335,"domain_scores_codex":[0.9919273,0.001896286,0.0005861455,0.001988099,0.00235742,0.001244773],"domain_scores_gemma":[0.9470552,0.0393473,0.003301296,0.007017233,0.002716794,0.0005621994],"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.0005997758,0.0002510241,0.005993619,0.000529322,0.00017185,0.001514913,0.001953846,0.1436276,0.03129206,0.7718661,0.001807286,0.04039257],"study_design_scores_gemma":[0.0001483747,0.0001154365,0.0006836592,0.0000579059,0.0001104246,0.0002856894,0.0001943894,0.4457476,0.06783266,0.4818484,0.002927007,0.00004840849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1024818,0.00008784411,0.889415,0.00071397,0.00003834643,0.0001708811,0.0004205794,0.002553023,0.004118568],"genre_scores_gemma":[0.9103407,0.0001435236,0.08687964,0.0001761687,0.000064485,0.0002108973,0.000500826,0.0002106255,0.00147309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007345364,"threshold_uncertainty_score":0.03884643,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02212443037204644,"score_gpt":0.2195749348128342,"score_spread":0.1974505044407877,"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."}}