{"id":"W2113071904","doi":"10.1109/sefm.2007.46","title":"Verifying Security Properties of Cryptoprotocols: A Novel Approach","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Protocol (science); Notation; Semantics (computer science); Theoretical computer science; Cryptographic protocol; Simple (philosophy); Programming language; Set (abstract data type); Operational semantics; Game semantics; Tree (set theory); Algorithm; Cryptography; Denotational semantics; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005362274,0.001871359,0.001188816,0.002596111,0.001670657,0.00513821,0.003247278,0.002752796,0.002544887],"category_scores_gemma":[0.01349809,0.001261772,0.003450063,0.001555933,0.005427834,0.01264594,0.0049958,0.003741913,0.0008843182],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002413535,"about_ca_system_score_gemma":0.003875748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002393088,"about_ca_topic_score_gemma":0.002138438,"domain_scores_codex":[0.9917338,0.002262112,0.0007658194,0.001153209,0.003526381,0.0005586037],"domain_scores_gemma":[0.9912615,0.003691061,0.001054683,0.002597469,0.001157266,0.0002380751],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00009137362,0.0001943329,0.000900409,0.0001862248,0.0001006378,0.0005937936,0.0004871078,0.05428671,0.01079521,0.8933617,0.001140962,0.03786135],"study_design_scores_gemma":[0.0000749536,0.00016075,0.0001401251,0.00007453986,0.000114402,0.0005207591,0.0001684676,0.4241768,0.01628955,0.5445388,0.01366582,0.00007507978],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004086499,0.00005324576,0.9939834,0.0001545524,0.00003280604,0.0001032726,0.0000407433,0.0004982309,0.001047193],"genre_scores_gemma":[0.1702952,0.0004217039,0.8253741,0.0002836487,0.0001339226,0.0003275182,0.0002148968,0.0002784744,0.002670496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005362274,"threshold_uncertainty_score":0.02835876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04348150623428496,"score_gpt":0.288764520654292,"score_spread":0.2452830144200071,"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."}}