{"id":"W2124146130","doi":"10.1109/mcetech.2008.20","title":"Formal Modeling for Security Behavior Analysis of Computer Systems","year":2008,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais","funders":"","keywords":"Computer science; Formal methods; Process calculus; Formal verification; Theoretical computer science; Formal specification; Pi calculus; Situation calculus; Computer security; Distributed computing; Software engineering; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0003175012,0.0000872407,0.0002521053,0.0002418105,0.0001958964,0.00004633148,0.0005379667,0.00005444383,0.00000417491],"category_scores_gemma":[0.000007488202,0.00008287453,0.0001902614,0.0007037497,0.00002324568,0.000395269,0.0001304097,0.00005477014,0.00000199563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002237135,"about_ca_system_score_gemma":0.00003584183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001076099,"about_ca_topic_score_gemma":0.000004954259,"domain_scores_codex":[0.9989178,0.0000274399,0.0003845051,0.0002637214,0.000200626,0.0002059655],"domain_scores_gemma":[0.9990762,0.00009933819,0.0001149032,0.0004127055,0.0002428603,0.00005398908],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001062719,0.0003334458,0.006633601,0.00008021453,0.00044884,0.000004337274,0.005553972,0.5609887,0.0000968575,0.421857,0.0005871598,0.003405233],"study_design_scores_gemma":[0.0001518916,0.00003363682,0.0007033981,0.00000438378,0.00007810423,0.000008794672,0.00003174976,0.9985521,0.0001273803,0.0000778391,0.0001286767,0.0001020729],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2431074,0.00003616785,0.7560847,0.00002095729,0.0003387499,0.0001613041,0.000004401993,0.00008776465,0.000158538],"genre_scores_gemma":[0.9201914,0.000004303805,0.07961133,0.00004824097,0.00009035453,0.00002653464,0.000008431263,0.000003315089,0.00001607764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.677084,"threshold_uncertainty_score":0.3379525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06200855546862597,"score_gpt":0.2847349621543711,"score_spread":0.2227264066857451,"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."}}