{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007970734,0.0006234245,0.0006073907,0.001523205,0.001127637,0.002343655,0.001315403,0.001298529,0.002183584],"category_scores_gemma":[0.02459099,0.0005542117,0.0008664907,0.00116691,0.002108305,0.003204923,0.001506921,0.00224159,0.0004285545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002242938,"about_ca_system_score_gemma":0.003601181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004212961,"about_ca_topic_score_gemma":0.002915653,"domain_scores_codex":[0.993987,0.002370989,0.0004796145,0.0004785148,0.00246561,0.0002183219],"domain_scores_gemma":[0.9888021,0.005725238,0.001950568,0.001745655,0.00149009,0.00028646],"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.0004182791,0.0001060559,0.004722938,0.0002928721,0.00008133672,0.0004800775,0.0007718113,0.09433547,0.01151404,0.7312648,0.005984996,0.1500273],"study_design_scores_gemma":[0.00004987969,0.0001094868,0.0007744805,0.0001220733,0.00004687077,0.0002166801,0.0000402958,0.8394133,0.0100402,0.1262417,0.02287899,0.00006597495],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009352393,0.0004458679,0.9843426,0.0005094355,0.00007350228,0.0002046354,0.0001063313,0.00237449,0.002590692],"genre_scores_gemma":[0.3204452,0.0007293139,0.6745859,0.0001994855,0.0001323271,0.000707034,0.0003288893,0.0003261073,0.00254578],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007970734,"threshold_uncertainty_score":0.04215378,"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."}}