{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008872484,0.00006398355,0.0001712994,0.0001261768,0.0002838789,0.0001507353,0.00008534328,0.00009698833,0.00006654686],"category_scores_gemma":[0.00006707545,0.00005724126,0.00002426343,0.0001598192,0.0001842827,0.001420611,0.000001618691,0.0001655361,0.000004527262],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001913848,"about_ca_system_score_gemma":0.0000725745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005220365,"about_ca_topic_score_gemma":0.00459407,"domain_scores_codex":[0.9991338,0.00008228936,0.0004265969,0.00007119303,0.0001722366,0.0001138899],"domain_scores_gemma":[0.9993939,0.0001919769,0.0001429137,0.00009108648,0.0001142424,0.00006582819],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.001242781,0.0004224697,0.2185821,0.001294829,0.0001778323,0.000002173867,0.08647977,0.003305792,0.0006087319,0.2579644,0.00005672041,0.4298624],"study_design_scores_gemma":[0.01611697,0.0002513282,0.6937675,0.0004346641,0.0001705091,0.00002706616,0.07159529,0.06600502,0.0002400381,0.0009960498,0.1492212,0.001174401],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7994208,0.0001898243,0.07008252,0.002068629,0.001753285,0.001844382,0.0001485393,0.0001240635,0.1243679],"genre_scores_gemma":[0.9997338,0.00008239388,0.00001340993,0.00007309013,0.00001773517,0.00002075147,0.000001290654,0.000001720446,0.00005579396],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4751854,"threshold_uncertainty_score":0.7891665,"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."}}