{"id":"W232139518","doi":"","title":"On the formal verification of group key security protocols","year":2008,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Security in Wireless Sensor Networks","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Group key; Computer science; Key (lock); Forward secrecy; Secrecy; Communication in small groups; Computer security; Cryptographic protocol; Theoretical computer science; Correctness; Public-key cryptography; Cryptography; Distributed computing; Algorithm; 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.0147735,0.002047163,0.001477548,0.003256091,0.002420655,0.005247188,0.003580053,0.002151981,0.00350308],"category_scores_gemma":[0.0273997,0.0013325,0.003567199,0.003525532,0.01343481,0.01370574,0.004982993,0.007146838,0.001528508],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004146645,"about_ca_system_score_gemma":0.004786519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004658677,"about_ca_topic_score_gemma":0.002195228,"domain_scores_codex":[0.9848776,0.005745344,0.001347965,0.001732647,0.005400822,0.0008956658],"domain_scores_gemma":[0.9651054,0.02729761,0.001185184,0.00386418,0.002218565,0.0003289781],"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.00004108266,0.00006630732,0.0002234754,0.0003158663,0.00002917434,0.0001884012,0.0007001541,0.01613016,0.001768936,0.9545615,0.0009501324,0.02502476],"study_design_scores_gemma":[0.00005244891,0.00007914604,0.0001290076,0.0002677941,0.00005490422,0.0001532636,0.0001107195,0.06259849,0.005265776,0.9127386,0.01849245,0.00005744877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004977153,0.001446368,0.9846981,0.001211549,0.0001170156,0.0001144623,0.00009746785,0.0006956814,0.006642206],"genre_scores_gemma":[0.2194799,0.00650545,0.7628205,0.001178388,0.0006022097,0.000856864,0.0007552652,0.0006391245,0.007162304],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0147735,"threshold_uncertainty_score":0.07813066,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03091490137160124,"score_gpt":0.2830468717892218,"score_spread":0.2521319704176205,"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."}}