{"id":"W4385251078","doi":"10.21203/rs.3.rs-3183540/v1","title":"A Certified Access Control Policy Language: TEpla","year":2023,"lang":"en","type":"preprint","venue":"Research Square","topic":"Access Control and Trust","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University; University of Ottawa","funders":"","keywords":"Mathematical proof; Certification; Security policy; Enforcement; Computer science; Exploit; Semantics (computer science); Access control; Computer security; Control (management); Programming language; Order (exchange); Artificial intelligence; Law; Business; Political 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009001293,0.0006642561,0.0005891788,0.001189271,0.001226958,0.004673896,0.001929825,0.001705355,0.004387216],"category_scores_gemma":[0.01911591,0.0008344472,0.001097668,0.000814534,0.005875735,0.005646474,0.002022038,0.004275823,0.001177183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002099094,"about_ca_system_score_gemma":0.0055526,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00250461,"about_ca_topic_score_gemma":0.001752495,"domain_scores_codex":[0.9931194,0.002662559,0.0008080176,0.001092086,0.00175576,0.0005622574],"domain_scores_gemma":[0.9726214,0.01491844,0.002295798,0.004415993,0.005162561,0.000585673],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001797919,0.0001585283,0.0009987013,0.0002545672,0.0000298063,0.0003350398,0.0006294974,0.01629305,0.008770111,0.9426844,0.006890382,0.0227761],"study_design_scores_gemma":[0.0002588531,0.0002954162,0.000405233,0.0003130888,0.00009417714,0.0009609211,0.0003332256,0.2907778,0.05758267,0.5242848,0.1245106,0.0001831627],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01044205,0.00007495238,0.9769744,0.001204952,0.0001685158,0.0002753761,0.0004129893,0.006237707,0.004209101],"genre_scores_gemma":[0.3621214,0.0002239686,0.6272027,0.001571824,0.000232857,0.000606654,0.0007200757,0.001178954,0.006141535],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009001293,"threshold_uncertainty_score":0.04760396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2213963732556322,"score_gpt":0.5527822598947527,"score_spread":0.3313858866391205,"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."}}