{"id":"W4386212977","doi":"10.1007/s11334-023-00534-1","title":"A certified access control policy language: TEpla","year":2023,"lang":"en","type":"article","venue":"Innovations in Systems and Software Engineering","topic":"Access Control and Trust","field":"Social Sciences","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; Acadia University","funders":"","keywords":"Mathematical proof; Certification; Security policy; Computer science; Enforcement; Access control; Exploit; Semantics (computer science); Computer security; Computer security model; Programming language; Law","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":[],"consensus_categories":[],"category_scores_codex":[0.0004898619,0.00008295359,0.0001538111,0.0005348775,0.0001837383,0.0002341957,0.0001651402,0.00008064608,0.000007697566],"category_scores_gemma":[0.00119662,0.00008295362,0.00001656947,0.002121928,0.00003161507,0.0003184265,0.00003621482,0.000114948,0.00001050007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006607967,"about_ca_system_score_gemma":0.00008418128,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006632447,"about_ca_topic_score_gemma":0.00029285,"domain_scores_codex":[0.9991744,0.00002824833,0.000235327,0.0001387972,0.0001569039,0.0002663304],"domain_scores_gemma":[0.9994891,0.00024176,0.00004339562,0.0001062144,0.00007509179,0.00004441613],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00001725679,0.00005016196,0.3020975,0.0003121827,0.000116113,0.0001089476,0.02138085,0.06380987,0.0004104325,0.5793763,0.002703615,0.0296168],"study_design_scores_gemma":[0.004520381,0.00004256234,0.7139384,0.0005699956,0.00003459492,0.00001552121,0.01184736,0.05825737,0.00002604872,0.001034315,0.2082567,0.001456793],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.950638,0.0008415361,0.03794822,0.003312563,0.001527243,0.000951607,0.00006586798,0.001617646,0.003097345],"genre_scores_gemma":[0.9988698,0.00002162911,0.00005810234,0.00007279572,0.0003958013,0.0001166497,0.000007764443,0.0000129457,0.000444547],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.578342,"threshold_uncertainty_score":0.9999825,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02437437155291311,"score_gpt":0.3301278696657181,"score_spread":0.305753498112805,"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."}}