{"id":"W3169087451","doi":"10.1109/formalise52586.2021.00010","title":"Runtime Verification Under Access Restrictions","year":2021,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Stateful firewall; Computer science; Scalability; TRACE (psycholinguistics); Runtime verification; Distributed computing; Lift (data mining); Proxy (statistics); Programming language; Formal verification; Database; Data mining; Computer network; Machine learning; Network packet","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.009828041,0.000920839,0.001360471,0.001263122,0.001610796,0.00464321,0.003752988,0.001810169,0.00366251],"category_scores_gemma":[0.03783857,0.001049841,0.002183531,0.0007981049,0.006808973,0.01209851,0.008871292,0.00510173,0.000789325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002350342,"about_ca_system_score_gemma":0.004354709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002854199,"about_ca_topic_score_gemma":0.002274954,"domain_scores_codex":[0.985329,0.00389408,0.001133017,0.003358086,0.004345044,0.001940694],"domain_scores_gemma":[0.9707431,0.0147235,0.002378137,0.009212067,0.002189073,0.0007540337],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008526586,0.0001571506,0.003743356,0.0004090248,0.0001779095,0.001110419,0.001169833,0.1070831,0.02202808,0.7964675,0.004659871,0.06214113],"study_design_scores_gemma":[0.0001590662,0.0002002646,0.0004394103,0.00008485228,0.0001453572,0.000374873,0.0001690224,0.4411764,0.04009362,0.5067023,0.01036674,0.00008806882],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02867732,0.0001251819,0.9623016,0.0007918393,0.00007947989,0.0001023628,0.000205442,0.005281562,0.00243523],"genre_scores_gemma":[0.735199,0.0001862509,0.258473,0.0007079005,0.0002040189,0.000351919,0.000508961,0.0006855569,0.003683246],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009828041,"threshold_uncertainty_score":0.05197632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06109271942735424,"score_gpt":0.3202235700132118,"score_spread":0.2591308505858576,"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."}}