{"id":"W1885986695","doi":"10.1109/iceccs20050.2012.6299221","title":"A Design by Contract Approach to Verify Access Control Policies","year":2012,"lang":"en","type":"preprint","venue":"","topic":"Access Control and Trust","field":"Social Sciences","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Role-based access control; Computer science; Access control; Permission; Automaton; Component (thermodynamics); Domain (mathematical analysis); Process calculus; Process (computing); Separation of duties; Computer security; Software engineering; Obligation; Distributed computing; Programming language; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001446453,0.0004043916,0.0007579552,0.0001326188,0.0005309042,0.001203693,0.001947285,0.00067307,0.0005889889],"category_scores_gemma":[0.000280042,0.0003408827,0.0001953103,0.0002239299,0.0002409271,0.0005387593,0.0005354696,0.0006211614,0.0001648932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002634695,"about_ca_system_score_gemma":0.0006168271,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0544468,"about_ca_topic_score_gemma":0.0005583426,"domain_scores_codex":[0.9966868,0.0005922502,0.0004094497,0.0005815882,0.0007136091,0.001016326],"domain_scores_gemma":[0.9980511,0.0004024352,0.0002487766,0.0004819866,0.0002104121,0.0006052634],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001522633,0.002593898,0.0231032,0.0003669848,0.002272302,0.00001280026,0.07531949,0.01302202,0.0005711069,0.3254539,0.5027201,0.05304155],"study_design_scores_gemma":[0.01092177,0.0001941725,0.02929534,0.0002376847,0.001625729,0.000005608118,0.008080264,0.01076625,0.0006288633,0.01614068,0.9147408,0.007362811],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001540859,0.001185696,0.5191522,0.006418555,0.001008149,0.003137699,0.0001125422,0.0004085306,0.4670357],"genre_scores_gemma":[0.9891233,0.000093752,0.001373913,0.003708453,0.001210977,0.0006545691,0.00002618998,0.00003772297,0.003771167],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9875824,"threshold_uncertainty_score":0.9999043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08154959403037221,"score_gpt":0.3621419604302762,"score_spread":0.280592366399904,"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."}}