{"id":"W4401965198","doi":"10.1007/978-3-031-68416-6_4","title":"QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Library of Parliament","funders":"","keywords":"Computer science; Tree (set theory); Bridge (graph theory); Computer security; Mathematics; Combinatorics","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.000711102,0.0005248098,0.0006175971,0.00261686,0.0002041382,0.0007398495,0.00206911,0.0002844847,0.00001043176],"category_scores_gemma":[0.0001744894,0.0005114295,0.0001809376,0.002435656,0.0003790809,0.0005481747,0.00135999,0.0006159974,0.00008705066],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003636407,"about_ca_system_score_gemma":0.0001629921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003655911,"about_ca_topic_score_gemma":0.0002246183,"domain_scores_codex":[0.9959612,0.00002934562,0.0005208771,0.002180341,0.0008013159,0.0005069002],"domain_scores_gemma":[0.9970526,0.0005290285,0.0002043976,0.001748809,0.0002347374,0.0002303891],"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.000005745045,0.00001254854,0.00004324866,0.00004143428,0.0000625265,0.00006245602,0.0004308809,0.008134071,0.0002901495,0.02215618,0.00004943336,0.9687113],"study_design_scores_gemma":[0.0002011879,0.0005485849,0.004794961,0.001053704,0.0003976801,0.0002466498,5.096019e-7,0.5780606,0.03680809,0.3437953,0.03071279,0.003379931],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009650736,0.0004265688,0.9951121,0.00129492,0.0006542628,0.0004171755,0.00001222775,0.0007493503,0.001236921],"genre_scores_gemma":[0.2335322,0.0001298863,0.7643721,0.001023781,0.0002539037,0.00006153665,0.000004192969,0.00005518208,0.0005672785],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9653314,"threshold_uncertainty_score":0.9997337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02044910870166731,"score_gpt":0.2770430110868795,"score_spread":0.2565939023852122,"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."}}