{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009735506,0.001349576,0.0011016,0.003097013,0.002071402,0.003909797,0.003178304,0.001832611,0.002930473],"category_scores_gemma":[0.009468909,0.001218225,0.004561738,0.001130939,0.004873428,0.006935268,0.003448532,0.004751058,0.0008507566],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003167418,"about_ca_system_score_gemma":0.005679037,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01155448,"about_ca_topic_score_gemma":0.005389414,"domain_scores_codex":[0.9916984,0.002076414,0.0007722672,0.001164814,0.003522988,0.0007652744],"domain_scores_gemma":[0.9939572,0.002556686,0.0004635513,0.001390551,0.001436858,0.0001951452],"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.00003644369,0.00007937331,0.000293859,0.0002237816,0.0000642126,0.0005167164,0.0004876945,0.03312214,0.007204878,0.9185883,0.001380921,0.03800172],"study_design_scores_gemma":[0.0000825007,0.0001221847,0.0003139598,0.0003397413,0.0001452934,0.0006413202,0.0001726842,0.3771566,0.01782588,0.5521021,0.05095539,0.0001423851],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001073645,0.0001392971,0.9965594,0.0002136226,0.00003375928,0.00009639208,0.00003644106,0.0006477112,0.001199702],"genre_scores_gemma":[0.1244558,0.0005945154,0.8711383,0.0002443034,0.0001533309,0.0004099587,0.0002357629,0.0002675215,0.002500551],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01155448,"threshold_uncertainty_score":0.05148691,"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."}}