{"id":"W2059174320","doi":"10.1587/transinf.e93.d.491","title":"Consistency Checking of Safety and Availability in Access Control","year":2010,"lang":"en","type":"article","venue":"IEICE Transactions on Information and Systems","topic":"Access Control and Trust","field":"Social Sciences","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Concordia University; National Natural Science Foundation of China","keywords":"Computer science; Consistency (knowledge bases); Separation of duties; Polynomial hierarchy; Access control; Hierarchy; Security policy; Task (project management); Control (management); State (computer science); Role-based access control; Computer security; Time complexity; Algorithm; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01681705,0.0007496418,0.002028077,0.002169819,0.002625403,0.004386068,0.003402245,0.001853024,0.001583264],"category_scores_gemma":[0.0766188,0.001138945,0.002243937,0.002235823,0.004870164,0.00937489,0.004347525,0.003318032,0.0002307908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002722953,"about_ca_system_score_gemma":0.006390736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005349854,"about_ca_topic_score_gemma":0.002962685,"domain_scores_codex":[0.9685901,0.01167191,0.003126812,0.005214761,0.008765823,0.002630603],"domain_scores_gemma":[0.8995323,0.06989644,0.007119822,0.0124067,0.009393976,0.001650729],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002463456,0.0009547687,0.03394615,0.001070645,0.0007801975,0.001713449,0.002553409,0.3585054,0.0271045,0.3509492,0.004596066,0.2153629],"study_design_scores_gemma":[0.0002173266,0.0002472568,0.002365574,0.00008379349,0.0001602444,0.0006465309,0.0004919567,0.7409434,0.0194137,0.2323775,0.002964001,0.00008880877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.132546,0.0003547909,0.8609754,0.001380858,0.0001151778,0.0004611781,0.000261571,0.0009576048,0.002947446],"genre_scores_gemma":[0.8413999,0.0001416214,0.1567458,0.0001840564,0.00009704541,0.0002079248,0.0003143029,0.00007823412,0.0008310101],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01681705,"threshold_uncertainty_score":0.08893812,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01608030262435278,"score_gpt":0.2865551108094226,"score_spread":0.2704748081850698,"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."}}