{"id":"W4391937118","doi":"10.1109/qrs-c60940.2023.00054","title":"A Security Compliance-by-Design Framework Utilizing Reusable Formal Models","year":2023,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Compliance (psychology); Computer science; Formal verification; Formal methods; Software engineering; Computer security; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003856427,0.0002409632,0.0002674941,0.0001142745,0.00008061644,0.00005594252,0.0003040457,0.0001805204,0.00009716568],"category_scores_gemma":[0.0000333159,0.0002612463,0.00007043209,0.0005768795,0.00001833463,0.0004558286,0.00007502826,0.000310561,0.0007356712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001280429,"about_ca_system_score_gemma":0.00001702389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000165686,"about_ca_topic_score_gemma":8.150338e-7,"domain_scores_codex":[0.998549,0.00002025377,0.0003250312,0.0002275853,0.0002043404,0.0006738086],"domain_scores_gemma":[0.9991502,0.0002265145,0.00002107721,0.0004559151,0.00002785014,0.0001184102],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002914968,0.000005872212,0.00001532911,0.0001640772,0.00005152854,0.000005905812,0.000388527,0.9480252,0.0005870151,0.01168956,0.03852241,0.0005416889],"study_design_scores_gemma":[0.0001434506,0.00001571453,0.00002343267,0.000134776,0.000006844575,0.000006777588,0.0001294926,0.9793549,0.001938753,0.008437843,0.009496902,0.000311161],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002125965,0.0004169974,0.9535706,0.00005401855,0.000796369,0.0003380498,0.00001490413,0.005346404,0.03733671],"genre_scores_gemma":[0.9791126,0.00007020679,0.01997001,0.00003526318,0.0001088106,0.0001039378,0.00001401585,0.00009603436,0.0004891073],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9769866,"threshold_uncertainty_score":0.999984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05648345041435882,"score_gpt":0.2511781595607223,"score_spread":0.1946947091463634,"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."}}