{"id":"W1607134907","doi":"10.1016/s0304-3975(02)00364-x","title":"A new logic for electronic commerce protocols","year":2002,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval; Université du Québec en Outaouais","funders":"","keywords":"Computer science; Atomicity; Programming language; Modal logic; Theoretical computer science; Anonymity; TRACE (psycholinguistics); Secrecy; Modular design; Protocol (science); Semantics (computer science); Modal; Computer security; Database transaction","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.0009967447,0.0002239909,0.0002453601,0.0001395474,0.000481094,0.0004830148,0.004004291,0.00005824235,0.0001659513],"category_scores_gemma":[0.0001605597,0.0001910357,0.0000946481,0.001169271,0.001099317,0.0009560799,0.0008010546,0.0002369449,0.0002007205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001292946,"about_ca_system_score_gemma":0.0001554523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.23633e-7,"about_ca_topic_score_gemma":3.05321e-7,"domain_scores_codex":[0.9970157,0.00008201546,0.0003460543,0.0009240666,0.0006159329,0.001016304],"domain_scores_gemma":[0.9977015,0.0002961505,0.0001180269,0.001273773,0.0002315471,0.0003790334],"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.000005585343,0.00008055803,0.000006505625,0.000009348912,0.000001941013,8.551719e-7,0.0002633235,0.00003343265,0.0002130267,0.9238177,0.0001748305,0.07539287],"study_design_scores_gemma":[0.0003477261,0.0003258431,0.00002687187,0.00001579725,0.000001482201,0.00001514907,0.000001068409,0.4218016,0.00155731,0.5736064,0.002136447,0.0001643693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004569183,0.00001303627,0.972841,0.003539707,0.000111741,0.02140972,0.000001051787,0.0003611393,0.001676916],"genre_scores_gemma":[0.4027894,0.000001017992,0.5859443,0.001540717,0.0001316337,0.0094858,4.109601e-7,0.00001230545,0.00009440873],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4217681,"threshold_uncertainty_score":0.7790211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03002746950867853,"score_gpt":0.3220135123956402,"score_spread":0.2919860428869617,"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."}}