{"id":"W2033241152","doi":"10.1007/s00165-008-0078-3","title":"Efficient representation of the attacker’s knowledge in cryptographic protocols analysis","year":2008,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Research Council Canada; Politecnico di Torino","keywords":"Computer science; Theory of computation; Cryptographic protocol; Representation (politics); Theoretical computer science; Knowledge representation and reasoning; Cryptography; Associative property; Cryptographic primitive; Term (time); Commutative property; Programming language; Artificial intelligence; Algorithm; Mathematics; Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0003993771,0.0001113074,0.0002941343,0.0003583457,0.0001415266,0.00001384933,0.0009064107,0.00003812215,0.00000375346],"category_scores_gemma":[0.0000849742,0.00008864835,0.0002099244,0.004047767,0.0001397989,0.0002020703,0.0005173253,0.0001404515,0.000002600942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003380966,"about_ca_system_score_gemma":0.00008678314,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001856516,"about_ca_topic_score_gemma":0.0000189443,"domain_scores_codex":[0.9983525,0.000130493,0.0006285692,0.0002759747,0.0003632932,0.0002491573],"domain_scores_gemma":[0.9983709,0.0001342578,0.0005488881,0.000687046,0.0002225347,0.00003635106],"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.00002863138,0.0008638103,0.1362635,0.000172319,0.0001067313,0.000004025153,0.0109953,0.2284056,0.001306589,0.6177188,0.000004435062,0.004130173],"study_design_scores_gemma":[0.0004473455,0.00006073867,0.3813421,0.00009250733,0.00001158055,0.00000405174,0.00004890099,0.5943174,0.01565722,0.007907744,0.000009783633,0.0001006784],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.44945,0.000009502976,0.5406587,0.00003027003,0.00003354558,0.008612584,7.144461e-7,0.0000346056,0.001170029],"genre_scores_gemma":[0.9836528,2.436345e-7,0.01546166,0.000008501719,0.00001360286,0.0008537366,6.367559e-7,0.000004494474,0.000004351426],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6098111,"threshold_uncertainty_score":0.3614975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03077561121870647,"score_gpt":0.3300581245652502,"score_spread":0.2992825133465437,"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."}}