{"id":"W4244209731","doi":"10.1007/3-540-45499-3_35","title":"A New Logic for Electronic Commerce Protocols","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Atomicity; Programming language; Modal logic; Secrecy; Theoretical computer science; Anonymity; Protocol (science); TRACE (psycholinguistics); Modular design; Authentication (law); Computer security; Modal; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000744766,0.0006409848,0.0006533262,0.0005523465,0.0003115147,0.000560285,0.005354187,0.0003528538,0.00009176293],"category_scores_gemma":[0.00009054637,0.0006079528,0.000204748,0.0006152317,0.0003995176,0.0007817603,0.00081802,0.0009232984,0.00009562588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005370251,"about_ca_system_score_gemma":0.001789539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007224357,"about_ca_topic_score_gemma":0.00004008153,"domain_scores_codex":[0.995302,0.00003796359,0.0006835045,0.001955743,0.0008558863,0.001164964],"domain_scores_gemma":[0.9964978,0.0004887818,0.0004056097,0.002107038,0.0002377104,0.0002630677],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001404322,0.00002699155,0.000002923358,0.00003850996,0.000005256033,0.000004669663,0.0002220339,0.002998836,0.00003311349,0.465669,0.0000239405,0.5309607],"study_design_scores_gemma":[0.0005309135,0.0003796796,0.000009199792,0.0002981757,0.000004586615,0.00003317668,3.550352e-8,0.1292169,0.0006961125,0.8445759,0.02366812,0.0005872385],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[4.755938e-7,0.0001021839,0.9508172,0.001374259,0.0002267526,0.04469342,0.000006091547,0.0002784315,0.002501233],"genre_scores_gemma":[0.003248605,0.00001579091,0.9751307,0.003489383,0.0005381734,0.0159246,0.00001012117,0.00007403801,0.001568595],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5303735,"threshold_uncertainty_score":0.9996372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02756572177865997,"score_gpt":0.3145789074643448,"score_spread":0.2870131856856848,"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."}}