{"id":"W2981962609","doi":"10.1109/tdsc.2019.2949410","title":"Cree: a Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies","year":2019,"lang":"en","type":"article","venue":"IEEE Transactions on Dependable and Secure Computing","topic":"Access Control and Trust","field":"Social Sciences","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"National Science Foundation of Sri Lanka","keywords":"Computer science; Control (management); Access control; Computer security; Artificial intelligence","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.008069454,0.00252702,0.001562844,0.003150855,0.0008788343,0.003706149,0.004344467,0.002706595,0.01863272],"category_scores_gemma":[0.02487722,0.001867851,0.004366211,0.0009550378,0.002615727,0.006078617,0.004294781,0.004165916,0.007139117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001187366,"about_ca_system_score_gemma":0.002909333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00376859,"about_ca_topic_score_gemma":0.002576661,"domain_scores_codex":[0.9942703,0.001248848,0.0006776636,0.001129529,0.002156682,0.0005169529],"domain_scores_gemma":[0.9839293,0.01053154,0.001158046,0.002532604,0.001513076,0.0003354132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00174298,0.001020794,0.008674529,0.003460293,0.0008639989,0.003089278,0.002661616,0.1031274,0.04193848,0.2532486,0.1604473,0.4197246],"study_design_scores_gemma":[0.0005573237,0.0003463851,0.001554656,0.0005599682,0.0002430955,0.001821585,0.0003162072,0.6004309,0.05917807,0.08834405,0.2462859,0.000361909],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001685419,0.0000959695,0.8872201,0.000220663,0.0000824478,0.000279044,0.0009428887,0.1069422,0.002531301],"genre_scores_gemma":[0.08833377,0.000479041,0.8619249,0.001020677,0.0001742172,0.001067083,0.00600842,0.02877556,0.01221632],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01863272,"threshold_uncertainty_score":0.06233263,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02847004653088581,"score_gpt":0.3328800217763086,"score_spread":0.3044099752454228,"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."}}