{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002121883,0.00006468135,0.00007370236,0.00003578437,0.000180175,0.0001404153,0.0005004061,0.00003945968,0.00009893609],"category_scores_gemma":[0.00008955345,0.00006028515,0.00005087031,0.0001876481,0.00001618789,0.000215033,0.00008314426,0.00006187146,0.00008410122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001666721,"about_ca_system_score_gemma":0.000006545969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005423665,"about_ca_topic_score_gemma":0.000001719999,"domain_scores_codex":[0.9993095,0.00002085165,0.0001315754,0.0002525225,0.00009801233,0.0001874801],"domain_scores_gemma":[0.9993837,0.0001338133,0.00004770834,0.0003212146,0.00006386811,0.00004963885],"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":[4.582304e-7,0.00003049846,0.00008121038,0.000007655347,0.000003062092,6.4478e-7,0.0009957962,0.00001519577,0.00001838547,0.9797535,0.007433601,0.01166],"study_design_scores_gemma":[0.0001706173,0.00002972136,0.0001399113,0.000009866245,0.000001301236,0.00001016571,0.00003422263,0.9268803,0.0003790936,0.03914382,0.03308575,0.0001152025],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001673809,0.0002035267,0.960619,0.001596293,0.0002711385,0.0001207718,5.696687e-7,0.0003129147,0.03520201],"genre_scores_gemma":[0.7984036,0.000012781,0.1997437,0.001208571,0.0001106769,0.0000177707,6.600943e-7,0.000003477759,0.000498808],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9406097,"threshold_uncertainty_score":0.2458357,"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."}}