{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005871085,0.0001546925,0.0001534141,0.00009853284,0.0005347285,0.0003201559,0.002119353,0.00007395036,0.00001862678],"category_scores_gemma":[0.003596921,0.0001328509,0.0000985176,0.001126939,0.0002945486,0.0008035111,0.0003825501,0.000219905,0.00003503486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004080007,"about_ca_system_score_gemma":0.0001340306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006575172,"about_ca_topic_score_gemma":0.00006913015,"domain_scores_codex":[0.9948342,0.00339959,0.0005230626,0.0004596987,0.0005033663,0.0002800557],"domain_scores_gemma":[0.9913447,0.002537703,0.0006729552,0.002592447,0.002747069,0.0001050878],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001149112,0.0003287443,0.0004650926,0.00001689823,0.00001338447,8.569008e-7,0.00218461,0.000006877143,0.002986498,0.9280965,0.00005734452,0.06583171],"study_design_scores_gemma":[0.001462667,0.000003577037,0.008635305,0.0007878044,0.00002468047,0.0000683043,0.0003060294,0.04390103,0.1527723,0.2241489,0.5672949,0.0005944699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001025208,0.0001321729,0.9516513,0.01447297,0.00004221381,0.008425009,0.000002095661,0.0001900726,0.0240589],"genre_scores_gemma":[0.6378694,0.0002847767,0.3435797,0.0002019015,0.00001583099,0.01607968,0.00001464971,0.00003008729,0.001923964],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7039476,"threshold_uncertainty_score":0.5417501,"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."}}