{"id":"W2161404485","doi":"10.1109/pst.2011.5971976","title":"Model-based systems security quantification","year":2011,"lang":"en","type":"article","venue":"","topic":"Information and Cyber Security","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Systems Modeling Language; Model checking; Computer security model; Cryptographic protocol; Threat model; Formal verification; Computer security; Formal methods; Adversarial system; Unified Modeling Language; Software engineering; Cryptography; Theoretical computer science; Programming language; Artificial intelligence; Software","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.01176429,0.001782432,0.001027106,0.002657765,0.0008961009,0.003983687,0.002117262,0.001376783,0.00355295],"category_scores_gemma":[0.02566749,0.001163776,0.00234965,0.001486319,0.003165051,0.007279258,0.004653702,0.003811451,0.0005248117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002832868,"about_ca_system_score_gemma":0.002306768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001686112,"about_ca_topic_score_gemma":0.001535765,"domain_scores_codex":[0.9823322,0.005892016,0.001105316,0.001243049,0.008787057,0.0006403093],"domain_scores_gemma":[0.9853649,0.008335335,0.001190347,0.003482147,0.00148204,0.0001452121],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003297182,0.00004406469,0.0007268179,0.0002768949,0.00008649106,0.0001021143,0.0002905215,0.1585494,0.003307412,0.7990791,0.0008063904,0.03669785],"study_design_scores_gemma":[0.00002443751,0.00009631876,0.0002874837,0.0002042655,0.0001034637,0.0001483769,0.00007869476,0.4503763,0.007227756,0.5293434,0.0120645,0.00004499021],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004432693,0.0001862652,0.9909093,0.0002704236,0.00002098214,0.0000785403,0.00006558397,0.0004220713,0.003614219],"genre_scores_gemma":[0.3414475,0.0006594288,0.6538721,0.0001882603,0.00008217598,0.0005312999,0.0002044797,0.0002681215,0.00274658],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01176429,"threshold_uncertainty_score":0.06221622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05239902078392342,"score_gpt":0.241718428143689,"score_spread":0.1893194073597656,"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."}}