{"id":"W2183938261","doi":"10.1016/j.compeleceng.2015.09.021","title":"From model-driven specification to design-level set-based analysis of XACML policies","year":2015,"lang":"en","type":"article","venue":"Computers & Electrical Engineering","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"Centre National de la Recherche Scientifique; Université Libanaise; Natural Sciences and Engineering Research Council of Canada; Lebanese American University","keywords":"XACML; Computer science; Markup language; Access control; Enforcement; Syntax; Security policy; Database; Web service; Software engineering; Set (abstract data type); Unified Modeling Language; Specification language; Computer security; Distributed computing; Programming language; XML; World Wide Web; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005925053,0.001585556,0.001254961,0.002578043,0.0008104295,0.004800112,0.002954564,0.001298022,0.005335188],"category_scores_gemma":[0.01690714,0.001508006,0.003032749,0.001113376,0.001933454,0.003746152,0.00225193,0.003053447,0.0007948349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00380676,"about_ca_system_score_gemma":0.006392141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009196739,"about_ca_topic_score_gemma":0.01014464,"domain_scores_codex":[0.9925246,0.002994947,0.0003985332,0.0004634817,0.003013111,0.0006054259],"domain_scores_gemma":[0.9890305,0.006678958,0.0007334669,0.002034625,0.001370566,0.0001517764],"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.0002315906,0.0003363328,0.002587191,0.0005789089,0.0002386991,0.0003771173,0.0006373557,0.6997091,0.01001076,0.1927081,0.002237749,0.09034716],"study_design_scores_gemma":[0.00003219122,0.00004904354,0.0002112164,0.00008034166,0.00005625975,0.00003516682,0.00007032476,0.9306156,0.006109752,0.06060081,0.002112122,0.00002732268],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02251402,0.0002163154,0.9689525,0.00068725,0.00004551465,0.0002602688,0.0003062371,0.002770258,0.004247624],"genre_scores_gemma":[0.4470663,0.0005371117,0.5472577,0.0004611895,0.00005332463,0.0005453525,0.001062571,0.0007799082,0.002236487],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009196739,"threshold_uncertainty_score":0.03133506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0570464737119925,"score_gpt":0.2559669447685001,"score_spread":0.1989204710565076,"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."}}