{"id":"W1488068123","doi":"10.1007/3-540-36577-x_21","title":"A New Knowledge Representation Strategy for Cryptographic Protocol Analysis","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"National Research Council Canada","keywords":"Computer science; Cryptographic protocol; Representation (politics); Protocol (science); Cryptography; Theoretical computer science; Atomicity; Knowledge representation and reasoning; Task (project management); Term (time); Cryptographic primitive; Programming language; Artificial intelligence; Computer security","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008089865,0.0005467565,0.0006598669,0.001853674,0.0002860339,0.0006626731,0.002886247,0.0003103374,0.00004619252],"category_scores_gemma":[0.0001360146,0.0005274586,0.000383333,0.00316159,0.0003572027,0.0008818528,0.0005249864,0.0005091745,0.0000197894],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002341015,"about_ca_system_score_gemma":0.000882139,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000120795,"about_ca_topic_score_gemma":0.000122465,"domain_scores_codex":[0.9956476,0.00006732371,0.0007833107,0.002106921,0.0007479974,0.0006468348],"domain_scores_gemma":[0.9961395,0.0004686587,0.0005894261,0.001979691,0.000559748,0.000263023],"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.00001787581,0.00008199304,0.00008470483,0.0001059579,0.00009187644,0.000007495046,0.0007239104,0.03785159,0.0000834962,0.3493394,0.0000428601,0.6115688],"study_design_scores_gemma":[0.0005372014,0.0001669042,0.00008469486,0.00008741713,0.00004119736,0.000006858485,1.136115e-7,0.2767859,0.001263422,0.7173116,0.003216264,0.0004984182],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[5.953292e-7,0.00003627693,0.9047395,0.0002204902,0.0002626012,0.09300484,0.000004625917,0.0001583331,0.001572751],"genre_scores_gemma":[0.002613768,0.000002285541,0.930477,0.0003937401,0.0002384802,0.06549406,0.000009697153,0.00004101504,0.0007299298],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6110704,"threshold_uncertainty_score":0.9997177,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04061050112397942,"score_gpt":0.3532923907311712,"score_spread":0.3126818896071918,"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."}}