{"id":"W2093381253","doi":"10.1109/ainaw.2007.304","title":"Rank Theorems for Forward Secrecy in Group Key Management Protocols","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Forward secrecy; Secrecy; Rank (graph theory); Cryptographic protocol; Cryptography; Key (lock); Key management; Protocol (science); Theoretical computer science; Automated theorem proving; Set (abstract data type); Computer security; Public-key cryptography; Mathematics; Encryption; 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.01234185,0.001148719,0.0009482693,0.002054807,0.001850173,0.00517349,0.001640451,0.001650304,0.004064556],"category_scores_gemma":[0.02250009,0.000765087,0.002325753,0.001291001,0.007716324,0.0129948,0.003004413,0.005400337,0.001208474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003124566,"about_ca_system_score_gemma":0.003141489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00133447,"about_ca_topic_score_gemma":0.0009847493,"domain_scores_codex":[0.9874501,0.004745791,0.001073082,0.001265477,0.004338938,0.001126637],"domain_scores_gemma":[0.9765331,0.01599763,0.001731948,0.003222477,0.002135793,0.0003789971],"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.00003069225,0.00002689411,0.0001148104,0.0000628991,0.00001122212,0.00006110044,0.0002500972,0.005436063,0.001123599,0.9867225,0.0005480659,0.005612098],"study_design_scores_gemma":[0.00005582216,0.00009742542,0.000104981,0.00004754294,0.0000364206,0.0001092973,0.0001152606,0.03889425,0.008326585,0.9438773,0.008292546,0.00004248898],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02246187,0.0003629127,0.9620669,0.001177226,0.0001105905,0.0001409011,0.0002242381,0.001073643,0.01238173],"genre_scores_gemma":[0.6323721,0.00121536,0.3524906,0.0009041179,0.0004710524,0.0006911658,0.0007208411,0.0005459313,0.01058882],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01234185,"threshold_uncertainty_score":0.06527066,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01861865024501528,"score_gpt":0.3302056687622524,"score_spread":0.3115870185172371,"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."}}