{"id":"W2053121849","doi":"10.1016/j.knosys.2007.05.002","title":"Forensic analysis of logs: Modeling and verification","year":2007,"lang":"en","type":"article","venue":"Knowledge-Based Systems","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Temporal logic; Computer forensics; Signature (topology); Modal logic; Model checking; Theoretical computer science; Term (time); Set (abstract data type); Data mining; Programming language; Modal; Digital forensics; Mathematics; Computer security","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.002919011,0.0008008364,0.0008764167,0.002652429,0.0006623609,0.002998771,0.001872027,0.001621257,0.001030346],"category_scores_gemma":[0.01902974,0.0006247462,0.000832386,0.001028725,0.0009918815,0.003414134,0.0008496892,0.0009782484,0.0005292544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001260819,"about_ca_system_score_gemma":0.002302825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005257818,"about_ca_topic_score_gemma":0.003204662,"domain_scores_codex":[0.9980417,0.0004919147,0.0001424806,0.0002794713,0.0009089877,0.000135287],"domain_scores_gemma":[0.9880321,0.006721068,0.001409187,0.001765403,0.001946954,0.0001252902],"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.0002800093,0.0004151902,0.01686425,0.000310796,0.0001085191,0.0006044828,0.000453128,0.7616276,0.008613682,0.05568757,0.002879594,0.1521551],"study_design_scores_gemma":[0.000003082132,0.00001543202,0.0005940377,0.00001499004,0.00001296083,0.00009451454,0.00002899652,0.9890863,0.002157177,0.007599159,0.000384886,0.000008503081],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1127613,0.0003759577,0.8821992,0.0005123772,0.00004486211,0.0001994686,0.0005527457,0.001531033,0.001822972],"genre_scores_gemma":[0.9094369,0.000635196,0.08759036,0.00004092848,0.00005183233,0.0001590526,0.0007104676,0.00007971105,0.001295523],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005257818,"threshold_uncertainty_score":0.01543742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02160393899244371,"score_gpt":0.2493711539823439,"score_spread":0.2277672149899002,"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."}}