{"id":"W2121577686","doi":"10.1109/apscc.2008.169","title":"Contract-Based Security Monitors for Service Oriented Software Architecture","year":2008,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Software security assurance; Security testing; Security bug; Computer security; Secure coding; Security service; Service (business); Assertion; False positive paradox; Security information and event management; Cloud computing security; Information security; Cloud computing; Operating system","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.0001668379,0.0001390667,0.000143921,0.000071653,0.0003990592,0.00005644956,0.0006614215,0.00008603212,0.00001870966],"category_scores_gemma":[0.0001174716,0.0001290394,0.00008244723,0.0004089231,0.00003387676,0.000175641,0.00007394859,0.0001540847,0.00002705864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003027647,"about_ca_system_score_gemma":0.0001407605,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008145105,"about_ca_topic_score_gemma":0.00001443696,"domain_scores_codex":[0.9988512,0.00004542501,0.0002184244,0.0003855148,0.0002194118,0.0002800149],"domain_scores_gemma":[0.9985483,0.0004516202,0.0000911378,0.0004978394,0.0003006218,0.0001105222],"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.0006458698,0.003896372,0.04741729,0.001424359,0.0004077614,0.0001692128,0.06878155,0.05716567,0.003373566,0.6293017,0.04839985,0.1390168],"study_design_scores_gemma":[0.003225176,0.0002498331,0.008439637,0.00006947444,0.0000162025,0.0001055329,0.0001101663,0.850807,0.0238243,0.01742381,0.09472171,0.001007204],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06343839,0.0000388494,0.9327846,0.002127069,0.0004888432,0.0002777912,0.000007689413,0.0005679849,0.0002688346],"genre_scores_gemma":[0.7495171,0.000001270045,0.2473011,0.00294619,0.0001433028,0.00003386711,0.00001176186,0.00000870848,0.00003660151],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7936413,"threshold_uncertainty_score":0.5262074,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02353436231676277,"score_gpt":0.254146087063753,"score_spread":0.2306117247469903,"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."}}