{"id":"W1506076603","doi":"","title":"Proceedings of the 2004 ACM workshop on Formal methods in security engineering","year":2004,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Formal methods; Security engineering; Software engineering; Software security assurance; Formal verification; Unified Modeling Language; Computer security; Security service; Software; Information security; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01850294,0.00240337,0.002691055,0.002693093,0.001946869,0.00931876,0.003218328,0.00391106,0.03912495],"category_scores_gemma":[0.0233575,0.001693532,0.003253281,0.002184479,0.004888557,0.008605405,0.003928109,0.01072566,0.01270835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004773528,"about_ca_system_score_gemma":0.005447153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005445283,"about_ca_topic_score_gemma":0.004714906,"domain_scores_codex":[0.9893374,0.004905007,0.00113833,0.001354393,0.002797364,0.0004673876],"domain_scores_gemma":[0.9809368,0.01174202,0.0004119896,0.002317839,0.003648578,0.0009427608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002533321,0.0002742344,0.000884413,0.001085553,0.0001994255,0.0003865618,0.001882195,0.004827773,0.002407952,0.2640106,0.3599337,0.3638543],"study_design_scores_gemma":[0.00004872175,0.00005405416,0.0003168068,0.0008187018,0.00005027894,0.0003968974,0.0001541996,0.004822185,0.0005749165,0.09500811,0.8977026,0.00005257157],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00296305,0.09668311,0.7080156,0.04801609,0.04076725,0.0006631663,0.001132554,0.002749405,0.09900977],"genre_scores_gemma":[0.04867495,0.1161277,0.5701179,0.01077282,0.02540683,0.001810223,0.006757957,0.003566781,0.2167649],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03912495,"threshold_uncertainty_score":0.130886,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02840164171959598,"score_gpt":0.3102207334582723,"score_spread":0.2818190917386763,"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."}}