{"id":"W2911339640","doi":"","title":"Proceedings of the fourth ACM workshop on Formal methods in security","year":2006,"lang":"en","type":"article","venue":"","topic":"Information and Cyber Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Formal methods; Security engineering; Software security assurance; Security information and event management; Computer security model; Security service; Computer security; Security testing; Software engineering; Formal verification; Formal specification; Cloud computing security; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006176925,0.00007145123,0.00008930722,0.00006770909,0.0000550827,0.00006217203,0.0009565469,0.00004869984,0.00001657319],"category_scores_gemma":[0.00006588744,0.00004527206,0.00005373289,0.000488796,0.00002516046,0.0007806523,0.00037573,0.0001505723,0.00000723543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002323442,"about_ca_system_score_gemma":0.00002266799,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004853921,"about_ca_topic_score_gemma":0.00006216254,"domain_scores_codex":[0.9992602,0.00001724486,0.0002358275,0.0001044882,0.0001993614,0.0001828477],"domain_scores_gemma":[0.9995081,0.00005917744,0.0000908234,0.0002545001,0.00006760911,0.00001981846],"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.00000372,0.00004888177,0.001367754,0.00000966525,0.000001244659,1.024255e-7,0.001714232,0.00002474593,0.00004858267,0.9837495,0.002040329,0.01099125],"study_design_scores_gemma":[0.001939692,0.0001239672,0.2120505,0.0001487017,0.000007006408,0.0000223777,0.001274932,0.2369918,0.09994474,0.4052835,0.04153507,0.0006777525],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3435749,0.00001233288,0.1038845,0.003320818,0.0003219754,0.000332133,8.661885e-7,0.0001239177,0.5484286],"genre_scores_gemma":[0.8986287,0.000001355958,0.1002702,0.0006892059,0.00002182701,0.000006679904,2.40788e-7,0.000002095245,0.000379722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.578466,"threshold_uncertainty_score":0.1846141,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01762507819339713,"score_gpt":0.2938228352089515,"score_spread":0.2761977570155544,"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."}}