{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000181948,0.0007589947,0.000479278,0.001097899,0.0003309245,0.0004908375,0.001033565,0.0006227143,0.004603308],"category_scores_gemma":[0.0009324441,0.0003055251,0.0002318767,0.0004930565,0.0002184248,0.0007246489,0.0004513437,0.0004359827,0.001350296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002998049,"about_ca_system_score_gemma":0.0001965695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007420152,"about_ca_topic_score_gemma":0.001589039,"domain_scores_codex":[0.9995777,0.00002979494,0.00001401858,0.0001097591,0.0002225726,0.00004609518],"domain_scores_gemma":[0.9993839,0.0002340785,0.000111608,0.0001189696,0.000121737,0.00002960702],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007320603,0.0002277989,0.005484075,0.000389806,0.00007970319,0.0006685755,0.000127102,0.005196202,0.5336873,0.001667909,0.006601263,0.4451382],"study_design_scores_gemma":[0.00007539216,0.001266689,0.02237465,0.000143736,0.0001648506,0.002609788,0.000108411,0.3165326,0.626248,0.00442054,0.02594814,0.0001071927],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4456557,0.003462391,0.4968521,0.0003902286,0.000455259,0.0005692595,0.001451808,0.02013,0.0310332],"genre_scores_gemma":[0.9027881,0.0005248175,0.08347376,0.0002661404,0.00003842301,0.0001543543,0.0003409657,0.0003286869,0.01208469],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004603308,"threshold_uncertainty_score":0.01539958,"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."}}