{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001302578,0.00008710502,0.0002339811,0.0001982986,0.0002573434,0.0001021584,0.0007728999,0.0000390524,0.00000215065],"category_scores_gemma":[0.00001714536,0.00006232376,0.0001050886,0.0006908616,0.0001090875,0.0009036995,0.0004145713,0.0002293704,9.52606e-8],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002025941,"about_ca_system_score_gemma":0.00003817929,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003192156,"about_ca_topic_score_gemma":0.000003310408,"domain_scores_codex":[0.9987166,0.0003959787,0.0005143109,0.00007860011,0.0001551662,0.0001393584],"domain_scores_gemma":[0.9976034,0.0005230142,0.0007347443,0.0007720024,0.0002904259,0.00007642458],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007528896,0.0004803079,0.02200767,0.00004642243,0.000990284,2.822582e-7,0.005669172,0.5529722,0.00008302642,0.1309197,0.00007672322,0.286679],"study_design_scores_gemma":[0.0002168444,0.00006816487,0.009941905,0.00005169231,0.0001862595,0.00002066198,0.00004721432,0.9871501,0.00001548325,0.001468924,0.0007713551,0.00006138313],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001208546,0.0003791305,0.9956535,0.0004585497,0.00004894504,0.002224299,0.000001620822,0.0000093286,0.00001615661],"genre_scores_gemma":[0.6313578,0.00001358885,0.3681492,0.0001352095,0.00003596244,0.0003022189,0.000001769081,0.000003027712,0.000001172334],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6301493,"threshold_uncertainty_score":0.2541489,"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."}}