{"id":"W2379653997","doi":"","title":"ACSP Development Framework for Authentication Protocols","year":2007,"lang":"en","type":"article","venue":"Information Security and Communications Privacy","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"L'Alliance Boviteq","funders":"","keywords":"Computer science; Programming language; Executable; Formalism (music); Protocol (science); Authentication protocol; Formal methods; Programming language specification; Software engineering; Theoretical computer science; Computer security; Programming paradigm; Programming domain; Inductive programming","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.00315251,0.0009858509,0.0005001547,0.001718499,0.001201525,0.002004883,0.002204802,0.0008137973,0.009297771],"category_scores_gemma":[0.005264319,0.0008879483,0.001113022,0.001218947,0.0009154694,0.002286464,0.002392298,0.002721821,0.006055211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001160772,"about_ca_system_score_gemma":0.005894312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003508668,"about_ca_topic_score_gemma":0.00357107,"domain_scores_codex":[0.9969071,0.0006732546,0.0003654973,0.000303234,0.001548133,0.0002028054],"domain_scores_gemma":[0.997211,0.00061371,0.0001867529,0.0005386117,0.001290852,0.000158968],"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.0001160855,0.0001163726,0.0005362326,0.0007527912,0.00003658848,0.0007279852,0.0005686335,0.00924487,0.01173703,0.7746633,0.03155367,0.1699465],"study_design_scores_gemma":[0.00009685956,0.0001202679,0.0003399523,0.0002424725,0.00006499644,0.001423333,0.0001327218,0.1276664,0.02780375,0.1579189,0.6841139,0.00007654787],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009782333,0.0001037667,0.9821413,0.0002157164,0.00009170709,0.0004758822,0.0003476604,0.006071961,0.009573855],"genre_scores_gemma":[0.03925914,0.000491208,0.9403663,0.0002360917,0.00006816581,0.001370002,0.001657751,0.001362171,0.01518924],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009297771,"threshold_uncertainty_score":0.03110409,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03131821751853642,"score_gpt":0.3333076021935684,"score_spread":0.301989384675032,"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."}}