{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003613534,0.0001000349,0.0001970085,0.00006354196,0.0002383507,0.00007672492,0.0004391351,0.0001336422,0.0004158848],"category_scores_gemma":[0.0000437608,0.00009355842,0.00007281166,0.0002918856,0.0001249027,0.000987435,0.00002135959,0.00007589821,0.00004076857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008772017,"about_ca_system_score_gemma":0.0001939479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005896156,"about_ca_topic_score_gemma":0.002971732,"domain_scores_codex":[0.9988294,0.0001647897,0.0002672685,0.0001817616,0.0002825264,0.000274258],"domain_scores_gemma":[0.9990113,0.0002135628,0.0002034183,0.0002713582,0.0001649112,0.0001354055],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009429361,0.004452209,0.1957147,0.0001273946,0.0007587722,9.214984e-7,0.01498636,0.01280342,0.04937712,0.6514371,0.002580001,0.06681898],"study_design_scores_gemma":[0.001494946,0.00001022923,0.01078585,0.000009254911,0.00008563616,4.178382e-8,0.0007148684,0.9591939,0.0003593525,0.02128017,0.005841474,0.0002242799],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5098847,0.001455523,0.2826337,0.004121186,0.0005692291,0.003777631,0.002580659,0.002471544,0.1925059],"genre_scores_gemma":[0.9989673,0.00002647848,0.0003439158,0.0001653289,0.00009637541,0.0002018768,0.0001257143,0.000009740582,0.00006322723],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9463905,"threshold_uncertainty_score":0.8913264,"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."}}