{"id":"W6976438700","doi":"10.60692/b73yd-71b43","title":"Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method","year":2012,"lang":"en","type":"article","venue":"Greater South Information System","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Set (abstract data type); Interpretation (philosophy); Cryptographic protocol; Protocol (science); Secrecy; Cryptography; Flexibility (engineering); Confidentiality; Homomorphism","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.007270445,0.0009702006,0.0006163962,0.002300372,0.001328038,0.003258405,0.001888913,0.001093261,0.004882884],"category_scores_gemma":[0.007839553,0.0007082816,0.002763122,0.00137751,0.006098848,0.005803654,0.002161762,0.003944968,0.0007320062],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003139317,"about_ca_system_score_gemma":0.002524351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002154552,"about_ca_topic_score_gemma":0.001182841,"domain_scores_codex":[0.9943322,0.002481512,0.0004369692,0.0004721847,0.001872066,0.000405115],"domain_scores_gemma":[0.9931937,0.004563378,0.0004798707,0.0008013454,0.0008371424,0.0001245152],"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.00001993364,0.00002713921,0.0001384606,0.00006506063,0.00001401155,0.0001094745,0.0003512338,0.01192571,0.001233225,0.9781189,0.0003898095,0.007606986],"study_design_scores_gemma":[0.00004316222,0.00007241822,0.0001692669,0.00009481197,0.00003612238,0.0002357619,0.0001925922,0.2037934,0.0053367,0.7746909,0.01528462,0.00005029619],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005391448,0.00009783597,0.9879177,0.0002804565,0.00003476487,0.00009418489,0.00004904296,0.0001620607,0.005972548],"genre_scores_gemma":[0.3061779,0.0005276663,0.6846328,0.0002929135,0.0002272061,0.000727193,0.0002449646,0.000258961,0.006910468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007270445,"threshold_uncertainty_score":0.03845024,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06544984165416128,"score_gpt":0.327437472481846,"score_spread":0.2619876308276847,"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."}}