{"id":"W2625017968","doi":"","title":"Verification and validation of healthcare access control policies","year":2016,"lang":"fr","type":"preprint","venue":"","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Access control; Model checking; Formal verification; Health care; Mathematical proof; Data verification; Verification and validation of computer simulation models; Digitization; Formal methods; Reachability; Runtime verification; Computer security; Software engineering; Database; Programming language; Theoretical computer science; Law","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.109028,0.001467394,0.00245827,0.006403435,0.00257011,0.01181366,0.005723849,0.004252061,0.006622221],"category_scores_gemma":[0.2651673,0.0015637,0.004058516,0.00307884,0.006213379,0.01313934,0.007920439,0.005156619,0.004145809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005587688,"about_ca_system_score_gemma":0.03358039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01613948,"about_ca_topic_score_gemma":0.005815743,"domain_scores_codex":[0.7979149,0.08768831,0.02096581,0.01797183,0.06696475,0.008494391],"domain_scores_gemma":[0.6089988,0.1887295,0.02057667,0.1044798,0.07420984,0.003005375],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003058884,0.001659248,0.03433635,0.00404813,0.0009510556,0.002253063,0.005180793,0.07539663,0.03265905,0.3899168,0.03062505,0.4199149],"study_design_scores_gemma":[0.0008128785,0.0009061893,0.007733383,0.003283044,0.0005757281,0.001406988,0.002008598,0.4959155,0.1460758,0.2148418,0.125967,0.000473202],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06073802,0.001856057,0.8868127,0.006438935,0.001010352,0.002786108,0.005022281,0.02038062,0.01495491],"genre_scores_gemma":[0.6064049,0.001509342,0.3699701,0.002233602,0.0004620834,0.001595287,0.009033915,0.001597889,0.007192758],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.109028,"threshold_uncertainty_score":0.5766019,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08097220841625376,"score_gpt":0.3459584396181669,"score_spread":0.2649862312019131,"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."}}