{"id":"W2144762056","doi":"10.1109/enabl.2000.883726","title":"Secure self-certified COTS","year":2002,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Computer security; Certification; Popularity; Code (set theory); Compiler; Programming language","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.001059763,0.0002884598,0.0003534794,0.0004948383,0.0004014408,0.001136939,0.0006862116,0.0006365626,0.002005313],"category_scores_gemma":[0.00416775,0.0002988674,0.0003809706,0.0002666807,0.001185181,0.001021964,0.000987386,0.0007400844,0.0007881412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005512954,"about_ca_system_score_gemma":0.001256196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006600347,"about_ca_topic_score_gemma":0.0008183931,"domain_scores_codex":[0.9986176,0.0002537585,0.0001019734,0.0001807375,0.0006749284,0.000170844],"domain_scores_gemma":[0.9955667,0.0006811915,0.0004961755,0.001849427,0.001274449,0.0001320672],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001051078,0.0005639921,0.01280143,0.0007122235,0.0001138957,0.002422836,0.001804509,0.1397811,0.2677442,0.2799678,0.01605988,0.2769769],"study_design_scores_gemma":[0.0002199207,0.0006445204,0.002731176,0.0001480465,0.0000832168,0.001468627,0.0001944729,0.6234477,0.2673497,0.04616914,0.05746842,0.00007522881],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2393067,0.0002564974,0.7305495,0.0003340887,0.0003507252,0.000252482,0.0001696473,0.0150279,0.01375251],"genre_scores_gemma":[0.8579631,0.0001324966,0.1309859,0.0001478823,0.00005609427,0.00010394,0.00023479,0.0007417134,0.009634113],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002005313,"threshold_uncertainty_score":0.006708443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03394342038587156,"score_gpt":0.2180500531543709,"score_spread":0.1841066327684994,"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."}}