{"id":"W3007871092","doi":"","title":"The practice of cryptographic protocols verification","year":2001,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Cryptographic protocol; Computer science; Cryptography; Computer security","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.02810602,0.001985084,0.002206377,0.006936011,0.004859391,0.01392724,0.00300495,0.005742986,0.01647102],"category_scores_gemma":[0.0469714,0.002392715,0.001714085,0.005399241,0.0218436,0.02419957,0.009093154,0.01588932,0.0147124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005410769,"about_ca_system_score_gemma":0.00613571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001928656,"about_ca_topic_score_gemma":0.001220618,"domain_scores_codex":[0.9513075,0.02538107,0.003694595,0.006069459,0.01242481,0.001122495],"domain_scores_gemma":[0.9432822,0.02454278,0.001667403,0.02331456,0.006370672,0.0008224381],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.00006159103,0.00004347395,0.0003246946,0.0004404125,0.00004200961,0.00009220163,0.0007850809,0.001097332,0.0008901839,0.8252867,0.02615501,0.1447813],"study_design_scores_gemma":[0.00003916952,0.00006339303,0.0002222679,0.0008905532,0.00002603323,0.000552184,0.0002303922,0.004791978,0.002838568,0.6583114,0.3319724,0.000061705],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003959299,0.05978969,0.7459554,0.03749001,0.005357151,0.0004001311,0.0003908198,0.00220684,0.1444507],"genre_scores_gemma":[0.2116855,0.06815456,0.6106575,0.006929752,0.007307504,0.001263284,0.001243204,0.00139884,0.09135983],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02810602,"threshold_uncertainty_score":0.1486406,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01358822584863811,"score_gpt":0.2736584315909642,"score_spread":0.2600702057423261,"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."}}