{"id":"W2311740434","doi":"10.1007/s10207-016-0314-4","title":"A formal modeling and analysis approach for access control rules, policies, and their combinations","year":2016,"lang":"en","type":"article","venue":"International Journal of Information Security","topic":"Access Control and Trust","field":"Social Sciences","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Representation (politics); Markup language; Formal verification; Formal methods; XACML; Model checking; Abstract state machines; Formal specification; Formal language; Access control; Theoretical computer science; State (computer science); Finite-state machine; Programming language; XML; Computer security","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.008723413,0.001650859,0.001363427,0.004145582,0.00270664,0.008546799,0.004459984,0.002531225,0.004222491],"category_scores_gemma":[0.01344499,0.001903769,0.005712398,0.003045555,0.004571492,0.0103957,0.00356372,0.00662939,0.00107416],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004190199,"about_ca_system_score_gemma":0.006732268,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0193112,"about_ca_topic_score_gemma":0.01522676,"domain_scores_codex":[0.9937521,0.001999809,0.0007827317,0.000828808,0.002072286,0.0005642711],"domain_scores_gemma":[0.9882427,0.006717259,0.001019237,0.002042611,0.001620013,0.0003582418],"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.00002474762,0.00009096266,0.0004943362,0.00008617143,0.00005517575,0.0002164431,0.0004985456,0.0406735,0.00122823,0.9424192,0.001240808,0.01297185],"study_design_scores_gemma":[0.00002752933,0.00004219708,0.0001377801,0.0001131234,0.0001199064,0.0002426997,0.0001984927,0.4046082,0.002140906,0.576712,0.01560243,0.0000547766],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001073112,0.0000890789,0.9965791,0.0004005556,0.00002615278,0.00008028451,0.00009547142,0.0002624459,0.001393831],"genre_scores_gemma":[0.07694961,0.0003950445,0.9185259,0.0002708811,0.0001103226,0.0004515956,0.0003976212,0.0001638546,0.002735222],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0193112,"threshold_uncertainty_score":0.04613435,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01980190779401123,"score_gpt":0.3155002896277506,"score_spread":0.2956983818337393,"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."}}