{"id":"W7034495115","doi":"","title":"From type theory to the verification of security protocols","year":2001,"lang":"en","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"Financial Crisis of the 21st Century","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Cryptographic protocol; Protocol (science); Formal verification; Type (biology); Scheme (mathematics); Cryptography","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0106712,0.0012114,0.002276672,0.003758048,0.003742644,0.01031756,0.004035014,0.004662794,0.01300375],"category_scores_gemma":[0.04778684,0.001538592,0.00236668,0.00586374,0.01611423,0.02145777,0.003809972,0.01056187,0.001484007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01571433,"about_ca_system_score_gemma":0.01368648,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.06082529,"about_ca_topic_score_gemma":0.03699589,"domain_scores_codex":[0.9900497,0.004414753,0.0005585349,0.0008781761,0.003365594,0.0007333769],"domain_scores_gemma":[0.9421204,0.04347269,0.001201415,0.007650591,0.004811897,0.0007430667],"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.00004783823,0.00001842199,0.0002474093,0.00007443397,0.00001170637,0.00004531601,0.0002040575,0.005424511,0.00006968645,0.9690816,0.008020632,0.01675447],"study_design_scores_gemma":[0.00001379773,0.000003019758,0.00005461877,0.00003042597,0.000005491405,0.00001537271,0.00003936963,0.008154131,0.0001064642,0.9883018,0.003268066,0.000007456759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01875917,0.005477617,0.8204415,0.02607013,0.0007483238,0.0002050739,0.001278656,0.001542639,0.1254768],"genre_scores_gemma":[0.6907363,0.007820084,0.2536049,0.002872439,0.001990191,0.0004520885,0.001610007,0.0007382798,0.04017572],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06082529,"threshold_uncertainty_score":0.1209425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006587715048728151,"score_gpt":0.1582126722605695,"score_spread":0.1516249572118414,"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."}}