{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005501753,0.0001717651,0.0004904753,0.0002704259,0.0007652559,0.0001645176,0.0002557235,0.0001235087,0.0001837655],"category_scores_gemma":[0.00001367362,0.0001536641,0.0002770485,0.000603726,0.0001181843,0.0003470435,0.000002444949,0.0001777247,0.000002406769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000475048,"about_ca_system_score_gemma":0.0002532782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002310255,"about_ca_topic_score_gemma":0.004043578,"domain_scores_codex":[0.9985576,0.000121034,0.0003890677,0.0002911791,0.000289792,0.0003513299],"domain_scores_gemma":[0.9986914,0.000652264,0.0002101997,0.0001597638,0.0001909874,0.0000953767],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00495234,0.001205298,0.1290302,0.0004486376,0.005978327,0.00001108332,0.02743997,0.6940207,0.0009325569,0.01239099,0.00007615467,0.1235138],"study_design_scores_gemma":[0.005341878,0.0006278828,0.0141646,0.0001055581,0.001921891,0.000001557323,0.006339177,0.9645907,0.002310639,0.0001975316,0.003764581,0.0006339877],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5320754,0.00006868553,0.4649968,0.0004107048,0.0001764038,0.000668194,0.0002581379,0.00005208145,0.001293564],"genre_scores_gemma":[0.9992286,0.00001288409,0.0003180197,0.0001886696,0.00006172986,0.00001662524,0.00001295487,0.00001103824,0.0001494536],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4671532,"threshold_uncertainty_score":0.626624,"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."}}