{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00118804,0.0001215611,0.0002118974,0.0004118005,0.0001808218,0.0001577495,0.0002864195,0.00005413069,0.000005922708],"category_scores_gemma":[0.00003155145,0.00008444401,0.00008856872,0.0009797042,0.00003457498,0.003213486,0.0001130338,0.00007110791,0.00001541527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006917851,"about_ca_system_score_gemma":0.00003344234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003525474,"about_ca_topic_score_gemma":1.153125e-7,"domain_scores_codex":[0.9985869,0.0001896007,0.0006057919,0.0001129723,0.0002959272,0.0002087893],"domain_scores_gemma":[0.9985002,0.00003314455,0.0006284927,0.000535701,0.0002376417,0.00006480773],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002027748,0.00002583373,0.3979148,0.001410539,0.0007908209,2.200613e-7,0.4578507,0.06586783,0.00004992823,0.05868866,0.000009735868,0.01718823],"study_design_scores_gemma":[0.0003192468,0.00002202761,0.01958325,0.00005276484,0.0001139672,0.00000647601,0.002484691,0.976308,0.0009425318,0.00001384398,0.00005345788,0.00009968376],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01413814,9.705811e-7,0.9754145,0.0000206675,0.0000663482,0.01011948,0.00003112789,0.00009029193,0.0001184764],"genre_scores_gemma":[0.9434415,2.871112e-9,0.04940947,0.00007615678,0.00001298539,0.007043537,0.000008232527,0.000003324886,0.000004767299],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9293034,"threshold_uncertainty_score":0.3443527,"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."}}