{"id":"W2094956980","doi":"10.4236/ijcns.2012.53021","title":"Formal Verification of Secrecy in Group Key Protocols Using Event-B","year":2012,"lang":"en","type":"article","venue":"International Journal of Communications Network and System Sciences","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Secrecy; Forward secrecy; Computer science; Group key; Key (lock); Computer security; Group (periodic table); Key distribution; Communication in small groups; Cryptographic protocol; Theoretical computer science; Cryptography; Public-key cryptography; Computer network; Encryption","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.00295656,0.00007821516,0.0001729911,0.0002226229,0.0001666659,0.0001020715,0.002382954,0.00003584251,0.000002015982],"category_scores_gemma":[0.00005952652,0.00006696975,0.00005131532,0.0004880864,0.0001966018,0.002372637,0.0004002782,0.0001316108,9.901793e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009592807,"about_ca_system_score_gemma":0.0001068876,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001228885,"about_ca_topic_score_gemma":0.000006872905,"domain_scores_codex":[0.9981363,0.0002817177,0.0008011049,0.00009801091,0.0004938437,0.0001889925],"domain_scores_gemma":[0.9979798,0.0001823167,0.0009853663,0.0004158455,0.0003692661,0.00006746393],"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.00001322439,0.0001451911,0.03358996,0.00001944616,0.00001562638,3.468624e-7,0.001316409,0.001808724,0.0003756082,0.95476,0.000004267843,0.00795126],"study_design_scores_gemma":[0.002487883,0.0004788634,0.09585974,0.003579555,0.00002922112,0.0009143531,0.003273282,0.8066874,0.001117737,0.07876135,0.006226498,0.0005841299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02843155,0.0007834259,0.966023,0.0004144003,0.0003638456,0.003126831,0.0000018768,0.00001430712,0.00084082],"genre_scores_gemma":[0.8899422,0.00003255602,0.1095375,0.00001768071,0.00008945395,0.0003753066,7.416364e-7,0.000002571332,0.000001990753],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8759986,"threshold_uncertainty_score":0.442816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07281051400307641,"score_gpt":0.3853297354276244,"score_spread":0.312519221424548,"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."}}