{"id":"W2103353650","doi":"10.1109/compsac.2009.170","title":"Verification of Access Control Policies for REA Business Processes","year":2009,"lang":"en","type":"article","venue":"","topic":"Access Control and Trust","field":"Social Sciences","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Access control; Consistency (knowledge bases); Control (management); Separation of duties; Principal (computer security); Security policy; Business process; Process (computing); Role-based access control; Component (thermodynamics); Database; Process management; Computer security; Business; Work in process; Programming language","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.03211028,0.0009879505,0.00132901,0.002380474,0.002152947,0.005875599,0.002583097,0.002904061,0.00179271],"category_scores_gemma":[0.1175454,0.001201122,0.003850658,0.001244714,0.006613791,0.009325964,0.004386968,0.00421238,0.0006892682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003603425,"about_ca_system_score_gemma":0.009870991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0102603,"about_ca_topic_score_gemma":0.005535797,"domain_scores_codex":[0.9466412,0.01951659,0.006983169,0.004600305,0.01764813,0.004610552],"domain_scores_gemma":[0.8458515,0.09165531,0.01461124,0.02683494,0.01975242,0.001294551],"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.0008315028,0.000854469,0.0274019,0.0007728774,0.0004043731,0.003072525,0.005152292,0.1886373,0.02923886,0.6702972,0.002547103,0.07078965],"study_design_scores_gemma":[0.000229498,0.0003547577,0.003202259,0.0003640032,0.0002657399,0.001048974,0.001323417,0.6511082,0.07510111,0.2499704,0.01681823,0.0002133824],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1111256,0.0002074775,0.8792527,0.001023137,0.00006980738,0.0007578373,0.0004333928,0.002506266,0.004623783],"genre_scores_gemma":[0.6854734,0.0002972413,0.3108704,0.0003273293,0.0000823527,0.0006063035,0.0006598789,0.0002131616,0.001469902],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03211028,"threshold_uncertainty_score":0.1698174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04891559706423149,"score_gpt":0.3663433388468926,"score_spread":0.3174277417826611,"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."}}