{"id":"W2504374816","doi":"10.4018/978-1-59904-090-5.ch016","title":"Software Specification and Attack Languages","year":2007,"lang":"en","type":"book-chapter","venue":"IGI Global eBooks","topic":"Software Engineering Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Software engineering; Software security assurance; Software development; Software requirements specification; Specification language; Software construction; Software; Computer security; Information security; Security service","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.006472069,0.002099026,0.001015016,0.003169594,0.001584237,0.006144291,0.00213079,0.002896105,0.008086043],"category_scores_gemma":[0.01226798,0.001124822,0.001949726,0.004162285,0.004893886,0.008748042,0.003425032,0.005208817,0.004796573],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002474277,"about_ca_system_score_gemma":0.003579566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002436226,"about_ca_topic_score_gemma":0.001298357,"domain_scores_codex":[0.9857335,0.0051201,0.002571259,0.001449103,0.004327251,0.0007988382],"domain_scores_gemma":[0.9884927,0.005499822,0.001282491,0.002072706,0.002398261,0.0002540479],"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.00003679223,0.00003415737,0.0003156107,0.0006472031,0.00002171794,0.0002152031,0.001433942,0.002817762,0.001999755,0.9192224,0.01111592,0.06213945],"study_design_scores_gemma":[0.00003554199,0.00009242253,0.0002426651,0.0006712737,0.00003711252,0.001484418,0.000564659,0.01234652,0.004453256,0.3043661,0.6756428,0.00006311414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005136555,0.006802918,0.9308639,0.003039076,0.0005458523,0.0004727591,0.0009134996,0.00321734,0.04900821],"genre_scores_gemma":[0.139731,0.01782392,0.7824979,0.004169089,0.0009935695,0.001777907,0.005827685,0.002084028,0.04509491],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008086043,"threshold_uncertainty_score":0.03422797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03964932326458692,"score_gpt":0.3014450790820726,"score_spread":0.2617957558174857,"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."}}