{"id":"W1975584929","doi":"10.1145/2445566.2445570","title":"Mohawk","year":2013,"lang":"en","type":"article","venue":"ACM Transactions on Information and System Security","topic":"Access Control and Trust","field":"Social Sciences","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Reachability; Role-based access control; Abstraction; Access control; Model checking; Bounded function; Theoretical computer science; Graph; Distributed computing; Computer security; Mathematics","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.002367323,0.0009668906,0.0007408328,0.002361752,0.001939542,0.004032989,0.001849923,0.001599655,0.1398816],"category_scores_gemma":[0.01213377,0.0006623965,0.0007704334,0.001592598,0.001141998,0.006295308,0.004258686,0.002513957,0.06677171],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002242204,"about_ca_system_score_gemma":0.003382823,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004847049,"about_ca_topic_score_gemma":0.004323588,"domain_scores_codex":[0.9960311,0.0005123235,0.0003385796,0.000821514,0.001952357,0.0003440375],"domain_scores_gemma":[0.9941657,0.001352316,0.0003669843,0.001691118,0.001986843,0.0004369246],"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.0004404782,0.000159269,0.002678301,0.0006283623,0.00004833388,0.0005297999,0.000637141,0.004736774,0.006344552,0.1657688,0.2127698,0.6052583],"study_design_scores_gemma":[0.00004825938,0.00006502152,0.0008540437,0.0002281747,0.00003350353,0.0007264942,0.0001794017,0.01646581,0.007727748,0.05774765,0.9158495,0.00007440755],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01664773,0.004039063,0.3646617,0.01439931,0.003898836,0.0006987595,0.006435485,0.04112689,0.5480922],"genre_scores_gemma":[0.1967114,0.005221953,0.1900261,0.004864377,0.0007944138,0.0007093063,0.01182809,0.00721613,0.5826283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1398816,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0101769107616035,"score_gpt":0.2479897556880252,"score_spread":0.2378128449264217,"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."}}