{"id":"W2049760404","doi":"10.1109/lcn.2008.4664308","title":"Event-B based invariant checking of secrecy in group key protocols","year":2008,"lang":"en","type":"article","venue":"","topic":"Security in Wireless Sensor Networks","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Correctness; Computer science; Group key; Secrecy; Key (lock); Group (periodic table); Theoretical computer science; Communication in small groups; Protocol (science); Invariant (physics); Event (particle physics); Distributed computing; Computer security; Algorithm; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00887159,0.0008712361,0.001235711,0.001756414,0.001235097,0.003884462,0.003304275,0.001673603,0.001702487],"category_scores_gemma":[0.02654208,0.0008890133,0.002121232,0.001273741,0.005283777,0.008417784,0.004204525,0.002402429,0.0005282533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001713948,"about_ca_system_score_gemma":0.002429968,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002900941,"about_ca_topic_score_gemma":0.001409791,"domain_scores_codex":[0.9856349,0.005832699,0.001218832,0.002065213,0.004192666,0.001055793],"domain_scores_gemma":[0.9733856,0.01451775,0.002596825,0.007011725,0.001921424,0.0005666694],"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.001280934,0.0003289586,0.005344253,0.0003419087,0.0002444287,0.001404728,0.0006704105,0.1956321,0.02599293,0.7101815,0.001708399,0.05686945],"study_design_scores_gemma":[0.0001728413,0.0001753404,0.0003405471,0.00003741321,0.00008652443,0.0001885144,0.00008295476,0.7455986,0.03317996,0.2175063,0.002569759,0.00006112234],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02335882,0.00004824726,0.9740326,0.00009600734,0.00003392987,0.00007120141,0.00008663669,0.001520658,0.0007518815],"genre_scores_gemma":[0.7464263,0.0001451513,0.2511081,0.0001728196,0.00006723145,0.0002540566,0.0003769329,0.0003732793,0.001076072],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00887159,"threshold_uncertainty_score":0.04691797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03565023219667803,"score_gpt":0.2697265305221345,"score_spread":0.2340762983254565,"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."}}