{"id":"W2163787789","doi":"10.1109/csfw.1990.128180","title":"A logic for reasoning about security","year":2002,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Permission; Secrecy; Obligation; Computer science; Modal logic; Security policy; Deontic logic; Set (abstract data type); Modal; Theoretical computer science; Programming language; Computer security; Law; Political science; Epistemology","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.004948648,0.001728218,0.001186412,0.003612248,0.003521044,0.00945213,0.003337048,0.002994625,0.01028111],"category_scores_gemma":[0.00610605,0.001110833,0.003534673,0.003443735,0.007116636,0.0174288,0.004278493,0.006704559,0.00299842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003758873,"about_ca_system_score_gemma":0.003243417,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007963905,"about_ca_topic_score_gemma":0.005166131,"domain_scores_codex":[0.9953251,0.001554735,0.0006040086,0.000825556,0.001227103,0.0004634037],"domain_scores_gemma":[0.996714,0.001896086,0.0002598805,0.0004988424,0.0004218829,0.0002093743],"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.00001363371,0.00001455922,0.00006534742,0.0001088599,0.00001846303,0.0001242661,0.0002358837,0.00165737,0.0003497466,0.9793454,0.004953897,0.01311253],"study_design_scores_gemma":[0.0000180475,0.00001178861,0.0000440308,0.00007086419,0.00002400364,0.0001516692,0.00008909076,0.00653846,0.0004853056,0.9372345,0.05531391,0.00001830942],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001852961,0.003022025,0.942265,0.005455345,0.0004716404,0.0002096036,0.001126108,0.001335994,0.04426145],"genre_scores_gemma":[0.1193071,0.005023674,0.8401526,0.004170277,0.001281307,0.0008134107,0.002328511,0.0003385451,0.0265846],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01028111,"threshold_uncertainty_score":0.03439379,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04691673963045595,"score_gpt":0.2754657193086458,"score_spread":0.2285489796781898,"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."}}