{"id":"W4408061830","doi":"10.5220/0013237600003890","title":"Formal Reasoning About Trusted Third Party Protocols","year":2025,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"British Columbia Institute of Technology","funders":"","keywords":"Computer science; Trusted third party; Third party; Computer security; Direct Anonymous Attestation; Cryptographic protocol; Trusted Computing; Internet privacy; Cryptography","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.000354389,0.0001317066,0.0001509147,0.00008827035,0.0002155243,0.0002013477,0.000978927,0.00006387222,0.00006312421],"category_scores_gemma":[0.0001193726,0.0001122624,0.00005075023,0.0005592654,0.00004382378,0.001254964,0.0004483032,0.0001590779,0.0001044713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004772407,"about_ca_system_score_gemma":0.0001405235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000048412,"about_ca_topic_score_gemma":0.00000677843,"domain_scores_codex":[0.9986702,0.00005919923,0.0003131474,0.000379185,0.0002163113,0.0003619821],"domain_scores_gemma":[0.998813,0.00006201166,0.0001028207,0.0008143547,0.0001364,0.00007142812],"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.000007576624,0.000052313,0.0006889181,0.00002947191,0.00000601488,0.000001265104,0.0001668642,0.00001284234,0.0001389339,0.9726689,0.0007530289,0.0254738],"study_design_scores_gemma":[0.002072676,0.000124887,0.01348576,0.0003555721,0.000007355349,0.000009828348,0.00005244198,0.1832238,0.04492531,0.6297292,0.1254824,0.0005306621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001074821,0.00000544467,0.9157968,0.0005155976,0.00006423164,0.03977324,0.000001176464,0.0004789941,0.04325706],"genre_scores_gemma":[0.1150007,0.000001010324,0.5775597,0.00220758,0.00004498247,0.2909644,0.000004499042,0.00001330466,0.01420378],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3429397,"threshold_uncertainty_score":0.4577929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01615769079158447,"score_gpt":0.3278591231143607,"score_spread":0.3117014323227762,"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."}}