{"id":"W2099684947","doi":"10.1109/wse.2012.6320525","title":"Automated verification of role-based access control security models recovered from dynamic web applications","year":2012,"lang":"en","type":"article","venue":"","topic":"Access Control and Trust","field":"Social Sciences","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Web application security; Computer security model; Software engineering; Web application; Access control; Web modeling; Context (archaeology); Unified Modeling Language; Mandatory access control; Role-based access control; Security testing; Web service; Database; Programming language; Computer security; World Wide Web; Operating system; Software; Security information and event management; Web development; Cloud computing security; Cloud computing","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.003738534,0.0009621598,0.000762731,0.001114388,0.0007994697,0.00201376,0.00193899,0.001303488,0.001396704],"category_scores_gemma":[0.02219538,0.001036358,0.001668752,0.0003553424,0.002085323,0.002426548,0.002291726,0.002119343,0.0003516746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001943067,"about_ca_system_score_gemma":0.003480742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006982478,"about_ca_topic_score_gemma":0.007827164,"domain_scores_codex":[0.9936618,0.002187849,0.0003370891,0.0006392463,0.002648187,0.0005259037],"domain_scores_gemma":[0.9840289,0.009184157,0.001402122,0.003831474,0.00137509,0.0001783209],"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.0004950024,0.0006528448,0.009817045,0.0004596685,0.0001853018,0.001671119,0.001178263,0.7492571,0.08445767,0.05377284,0.00121513,0.09683811],"study_design_scores_gemma":[0.00006826606,0.0000872234,0.000559099,0.00003007566,0.00003553241,0.0001382914,0.00006969352,0.9471372,0.03878339,0.01136295,0.00169962,0.00002868381],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1868756,0.0001135526,0.8023373,0.0003060923,0.00004241917,0.0002972594,0.0003847406,0.008143794,0.001499361],"genre_scores_gemma":[0.8058126,0.00009237152,0.1917806,0.00008748705,0.0000118863,0.0001880049,0.0006399548,0.000428932,0.0009580706],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006982478,"threshold_uncertainty_score":0.01977152,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01937068604425202,"score_gpt":0.3174936608105584,"score_spread":0.2981229747663064,"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."}}