{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002587831,0.000113087,0.0001262817,0.00009873871,0.0003111009,0.000356471,0.0005125074,0.00005766545,0.00002455854],"category_scores_gemma":[0.000184509,0.00008496179,0.00007856062,0.0007394552,0.0000227406,0.001381431,0.0001039393,0.0001619876,0.0001045006],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006291981,"about_ca_system_score_gemma":0.00005499574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000142308,"about_ca_topic_score_gemma":0.00003242779,"domain_scores_codex":[0.9989721,0.00004269864,0.0002790007,0.0001715019,0.0002235383,0.0003111755],"domain_scores_gemma":[0.9991448,0.0001475767,0.00008348971,0.0004368696,0.0001217605,0.00006553256],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000923899,0.000359884,0.000490169,0.0001745999,0.00004483317,0.000005154329,0.004707647,0.003100387,0.0001115112,0.05349764,0.03662116,0.9007946],"study_design_scores_gemma":[0.0006610578,0.0001026378,0.001185112,0.00004168913,0.000003412941,0.000002592876,0.00003444808,0.6369205,0.0002155524,0.002883567,0.3578075,0.0001420138],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01409454,0.0001473889,0.9460651,0.005109287,0.0009098933,0.0206443,0.00004634672,0.0006580979,0.01232505],"genre_scores_gemma":[0.9319169,0.00004078429,0.04003778,0.002105483,0.0005172097,0.02381837,0.00004230821,0.0000317707,0.001489398],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9178224,"threshold_uncertainty_score":0.3464641,"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."}}