{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004810766,0.0005896139,0.0009207351,0.002102307,0.0008862523,0.004719957,0.002680126,0.001375321,0.002621538],"category_scores_gemma":[0.01645532,0.000578889,0.001513746,0.002367801,0.002945421,0.011061,0.004724592,0.002962342,0.0006936309],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002020054,"about_ca_system_score_gemma":0.001946292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001710568,"about_ca_topic_score_gemma":0.001463295,"domain_scores_codex":[0.9934077,0.002991419,0.0004240362,0.0006636231,0.002026008,0.0004871988],"domain_scores_gemma":[0.9884729,0.006675389,0.0006868287,0.003040359,0.0009411051,0.000183315],"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.0002973163,0.0001215268,0.000654151,0.0002007806,0.00008061706,0.0002663128,0.00060659,0.1460152,0.006756649,0.7292056,0.001398652,0.1143965],"study_design_scores_gemma":[0.00002958401,0.00005010156,0.000101291,0.00004251452,0.0000547956,0.0001076834,0.0001160612,0.5138076,0.008823718,0.4737818,0.003056935,0.00002782972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01918265,0.00008977097,0.9781232,0.0004292838,0.0000186252,0.00006031716,0.00007490052,0.0004140672,0.001607219],"genre_scores_gemma":[0.5568798,0.000347112,0.4385991,0.0001782372,0.00007244913,0.0001803077,0.0003778893,0.0001533927,0.00321183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004810766,"threshold_uncertainty_score":0.02544206,"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."}}