{"id":"W2144444499","doi":"10.1155/2012/254942","title":"Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method","year":2012,"lang":"en","type":"article","venue":"Journal of Computer Networks and Communications","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Cryptographic protocol; Protocol (science); Property (philosophy); Set (abstract data type); Secrecy; Cryptography; Computer security; Cryptographic primitive; Interpretation (philosophy); Theoretical computer science; Computer network; 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.007091588,0.000994357,0.0006426377,0.002307335,0.001275517,0.003195902,0.001922543,0.001129203,0.004595914],"category_scores_gemma":[0.007777688,0.0007095896,0.002881757,0.001366555,0.005937795,0.005549111,0.002246026,0.003977114,0.0007265058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00304312,"about_ca_system_score_gemma":0.002482222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001966334,"about_ca_topic_score_gemma":0.001048508,"domain_scores_codex":[0.9941011,0.002531428,0.0004594638,0.0005037227,0.001980647,0.000423706],"domain_scores_gemma":[0.993425,0.004311109,0.0004800195,0.0008148724,0.0008417979,0.0001272315],"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.00002325291,0.00003040176,0.0001505298,0.00007402604,0.00001650949,0.0001231736,0.0003513921,0.0136687,0.001443658,0.975227,0.0004125342,0.00847866],"study_design_scores_gemma":[0.0000444168,0.00007781843,0.0001695136,0.00009389703,0.00003893414,0.000247587,0.0001740344,0.2173714,0.005550158,0.76183,0.01435075,0.00005161513],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005186741,0.000103051,0.9890677,0.0002550658,0.00003485556,0.00009037463,0.00004856765,0.0001606316,0.005052952],"genre_scores_gemma":[0.305638,0.0005614831,0.6854894,0.0003000937,0.0002403345,0.0007599916,0.0002611892,0.0002637232,0.006485964],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007091588,"threshold_uncertainty_score":0.03750432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05470402120692109,"score_gpt":0.3858703698019459,"score_spread":0.3311663485950248,"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."}}