{"id":"W65480259","doi":"","title":"The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.","year":2002,"lang":"en","type":"article","venue":"IASTED PDCS","topic":"Physical Unclonable Functions (PUFs) and Hardware Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Property (philosophy); Protocol (science); Information flow; Bisimulation; State (computer science); Cryptographic protocol; Theoretical computer science; Finite-state machine; Confidentiality; Distributed computing; Programming language; Algorithm; Computer security; Cryptography","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.004563648,0.001809305,0.0009526631,0.002309063,0.0008464045,0.00223652,0.002362601,0.001579633,0.007114305],"category_scores_gemma":[0.01990347,0.001073353,0.001017301,0.0009387647,0.002427147,0.00410305,0.00281657,0.003037766,0.003089044],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007736374,"about_ca_system_score_gemma":0.002414161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001363876,"about_ca_topic_score_gemma":0.0007326514,"domain_scores_codex":[0.9948631,0.001484815,0.0004604347,0.0006593486,0.0022167,0.0003156173],"domain_scores_gemma":[0.9877509,0.007357202,0.00118071,0.002435597,0.001051743,0.0002238753],"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.001164287,0.0004328241,0.006352901,0.002014787,0.0003211326,0.002057213,0.001727101,0.06205074,0.1323921,0.411149,0.02011317,0.3602248],"study_design_scores_gemma":[0.0001645875,0.0003976887,0.001360885,0.0003530147,0.0001326517,0.002206943,0.00019491,0.5245518,0.1958088,0.1987119,0.07593895,0.0001778932],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002802548,0.00006537158,0.9828743,0.00003828394,0.0000333239,0.0001039614,0.0001751878,0.0124282,0.001478868],"genre_scores_gemma":[0.1461636,0.0003179337,0.8452275,0.0001898038,0.00004791186,0.0008883789,0.001135913,0.002351663,0.003677356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007114305,"threshold_uncertainty_score":0.02413517,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02594287843357667,"score_gpt":0.2559178083966985,"score_spread":0.2299749299631219,"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."}}