{"id":"W2022941584","doi":"10.1145/1557626.1557643","title":"A verification framework for access control in dynamic web applications","year":2009,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Web application security; Access control; Role-based access control; Dynamic web page; Web modeling; Web application; Process (computing); Web engineering; Web service; Software engineering; Computer security; World Wide Web; Web development; Operating system","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.0002779318,0.00009613793,0.0001306819,0.0001281809,0.00008214782,0.000220964,0.001116094,0.00008226244,0.00001287019],"category_scores_gemma":[0.00005820993,0.00009750415,0.00004354077,0.0005369974,0.00002671727,0.0005109094,0.0000339852,0.0001103935,0.000036445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007786169,"about_ca_system_score_gemma":0.00007651877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007088852,"about_ca_topic_score_gemma":0.00002783304,"domain_scores_codex":[0.9989769,0.00003160652,0.0002654115,0.000393254,0.000133241,0.0001995582],"domain_scores_gemma":[0.9986672,0.0003331299,0.00007714784,0.0007692583,0.0001006101,0.00005259639],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000415654,0.00008553923,0.0001063255,0.000005716584,0.000001653482,4.458295e-8,0.0001304951,0.0000739462,0.0008644533,0.9755341,0.0001644289,0.02302912],"study_design_scores_gemma":[0.0004420955,0.00003121865,0.005811648,0.000006226677,0.00000225106,9.913334e-7,0.00003028196,0.3002688,0.0003125939,0.6798406,0.01310305,0.0001502392],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002103454,0.00005123556,0.9816728,0.01328751,0.00003204754,0.001310018,0.000007541088,0.0002488061,0.001286593],"genre_scores_gemma":[0.8627234,0.000007901595,0.1336943,0.002074173,0.00002721095,0.00139461,0.000006344021,0.000004383557,0.0000677064],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.86062,"threshold_uncertainty_score":0.3976104,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01663174061730677,"score_gpt":0.3302455407455204,"score_spread":0.3136138001282136,"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."}}