{"id":"W2788164126","doi":"10.1007/978-3-319-75650-9_11","title":"Monitoring of Security Properties Using BeepBeep","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"AspectJ; Computer science; TRACE (psycholinguistics); Java; Flexibility (engineering); Programming language; Security policy; Enforcement; Event (particle physics); Aspect-oriented programming; Runtime verification; Distributed computing; Software engineering; Computer security; Software; Formal verification","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000592134,0.0004343806,0.0005138859,0.0008392145,0.0002047426,0.0001971872,0.002709679,0.0002920803,0.0000103971],"category_scores_gemma":[0.0001060373,0.0004039693,0.0001171064,0.0006041944,0.001052165,0.0009007413,0.001635079,0.0005920922,0.000007761489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003578825,"about_ca_system_score_gemma":0.0003553101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002652587,"about_ca_topic_score_gemma":0.00001003922,"domain_scores_codex":[0.9968606,0.00002852225,0.0005595265,0.001174794,0.0008793222,0.0004972382],"domain_scores_gemma":[0.9974476,0.0001217086,0.000439208,0.001335836,0.000549763,0.0001059145],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002109963,0.00006451793,0.0002380905,0.0002795849,0.00002973094,0.00006954517,0.005246746,0.01469088,0.01546694,0.003519294,0.000004656941,0.9603689],"study_design_scores_gemma":[0.0001408038,0.0003167078,0.00002938033,0.001520441,0.000008894664,0.00009488511,6.92915e-7,0.2136675,0.5516108,0.2314274,0.0004080399,0.00077441],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002290706,0.0004396631,0.994561,0.00004277087,0.001621386,0.0003388215,0.000002028486,0.0003414379,0.0003622098],"genre_scores_gemma":[0.3234583,0.00003675932,0.675908,0.00007071578,0.0004468501,0.000005462229,2.014322e-7,0.000028784,0.00004497053],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9595945,"threshold_uncertainty_score":0.9998412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03177598867012756,"score_gpt":0.2708946730393721,"score_spread":0.2391186843692445,"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."}}