{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001394674,0.0001991992,0.0003561528,0.0008266538,0.0000323622,0.00007758368,0.001097357,0.00006683885,8.916923e-7],"category_scores_gemma":[0.00001995032,0.0001966959,0.0001207568,0.003412989,0.000006851616,0.000116941,0.000169731,0.0001288326,0.000007343949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007428716,"about_ca_system_score_gemma":0.00008935883,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002042855,"about_ca_topic_score_gemma":0.00001607401,"domain_scores_codex":[0.9985104,0.00004213327,0.0003073518,0.0004214896,0.0003829076,0.000335775],"domain_scores_gemma":[0.9986691,0.0002235419,0.00007970128,0.0005962921,0.000151726,0.0002796087],"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.00001275935,0.00003167857,0.00006776205,0.000004372369,0.0001415666,0.000001726746,0.001869424,0.9880666,0.004499434,0.00165377,0.0001177471,0.003533227],"study_design_scores_gemma":[0.0002198611,0.00009663292,0.001625056,0.00001535168,0.00007801262,5.388807e-7,0.000007904488,0.9903771,0.006922134,0.0001646325,0.0002824372,0.000210314],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05619361,0.00007402118,0.9427854,0.0004600479,0.0001357144,0.0001338888,0.000008410612,0.000188516,0.00002032918],"genre_scores_gemma":[0.5961819,0.000001093774,0.403324,0.0003830937,0.00007096265,0.000007874134,0.00001869809,0.00001026889,0.000002123191],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5399882,"threshold_uncertainty_score":0.8021025,"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."}}