{"id":"W2038514592","doi":"10.1007/s00607-015-0445-x","title":"Specification, verification, and quantification of security in model-based systems","year":2015,"lang":"en","type":"article","venue":"Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Systems Modeling Language; Correctness; Unified Modeling Language; Software security assurance; Software engineering; Modeling language; Computer security model; Computer security; Security testing; Software; Systems engineering; Security information and event management; Information security; Programming language; Security service; Cloud computing security; Engineering; Operating system","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.02027846,0.001591911,0.001909481,0.002395014,0.002003897,0.008277534,0.003673205,0.002875113,0.00204425],"category_scores_gemma":[0.05621405,0.002106106,0.003999995,0.001700613,0.0113741,0.01406626,0.005466653,0.006845081,0.0004747558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005071188,"about_ca_system_score_gemma":0.009009805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006193243,"about_ca_topic_score_gemma":0.004505314,"domain_scores_codex":[0.9702181,0.01373866,0.002697144,0.002439389,0.009164785,0.00174193],"domain_scores_gemma":[0.9465176,0.03416231,0.003399115,0.01153448,0.003774568,0.0006120006],"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.0001300033,0.0000897814,0.0008793591,0.0002410235,0.00007150342,0.00008757216,0.000465959,0.05400701,0.002346485,0.9247304,0.0007919861,0.01615902],"study_design_scores_gemma":[0.00007008846,0.00005635253,0.000202898,0.0001029775,0.00008564223,0.0000536808,0.00007789169,0.2009261,0.007866472,0.7877764,0.002731188,0.00005030899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01544506,0.0002670671,0.9802175,0.001068518,0.00006011362,0.0001158066,0.0001199319,0.0007744088,0.001931676],"genre_scores_gemma":[0.5931837,0.0007096902,0.4027691,0.0003598823,0.0001849463,0.000600527,0.0003396199,0.0003518565,0.001500745],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02027846,"threshold_uncertainty_score":0.107244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0877375456571489,"score_gpt":0.3200410458172946,"score_spread":0.2323035001601457,"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."}}