{"id":"W1573773559","doi":"10.1145/2854065.2854079","title":"A verified algorithm for detecting conflicts in XACML access control rules","year":2016,"lang":"en","type":"article","venue":"","topic":"Access Control and Trust","field":"Social Sciences","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"XACML; Computer science; Access control; Correctness; Programming language; Debugging; Mandatory access control; Markup language; Computer security; Theoretical computer science; Algorithm; Database; XML; Role-based access control; World Wide Web","routes":{"ca_aff":true,"ca_fund":true,"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.0006331479,0.00009292091,0.0001916891,0.00007360416,0.0002695343,0.0001497545,0.0003697753,0.00009750103,0.0002501013],"category_scores_gemma":[0.0005387178,0.00006066721,0.00006383229,0.0001182023,0.0001161529,0.0005342074,0.00003294341,0.00004731967,0.00003250382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006062731,"about_ca_system_score_gemma":0.00008679069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003794825,"about_ca_topic_score_gemma":0.005782632,"domain_scores_codex":[0.9989099,0.00008343744,0.000198195,0.0002180499,0.0001796701,0.0004107496],"domain_scores_gemma":[0.998855,0.0007704627,0.00007571503,0.000105677,0.00009823635,0.00009490963],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005239512,0.00003071619,0.00548597,0.000004010029,0.00002242605,0.000003810231,0.000833892,7.875775e-7,0.0004145504,0.02199983,0.00009633123,0.9710553],"study_design_scores_gemma":[0.06391541,0.0004842529,0.1275153,0.0003910935,0.0001816367,0.000004343968,0.008879247,0.01805832,0.009986445,0.09138178,0.6763691,0.002833032],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1978225,0.0002691984,0.6676865,0.0126408,0.001202209,0.002755854,0.00009969662,0.000497116,0.1170261],"genre_scores_gemma":[0.9959562,0.00002030813,0.001394222,0.0004704974,0.0003168477,0.0001445961,5.798567e-7,0.000009680805,0.001687042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9682223,"threshold_uncertainty_score":0.5736666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04099599763052491,"score_gpt":0.3453311055342828,"score_spread":0.3043351079037579,"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."}}