{"id":"W2139824189","doi":"10.1007/978-3-642-41071-0_10","title":"Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Mathematical proof; HOL; Entropy (arrow of time); Information leakage; Information flow; Theoretical computer science; Min entropy; Mutual information; Information theory; Algorithm; Data mining; Artificial intelligence; Entropy rate; Mathematics; Principle of maximum entropy; Programming language; Joint quantum entropy; Computer security; Statistics","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.006348113,0.000897802,0.001080348,0.002380908,0.001041805,0.004268911,0.002003659,0.001218436,0.006371249],"category_scores_gemma":[0.01742697,0.0007793174,0.002131985,0.002145941,0.00377357,0.01067242,0.002288748,0.003224948,0.000451509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002693914,"about_ca_system_score_gemma":0.001693775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001253065,"about_ca_topic_score_gemma":0.0008844071,"domain_scores_codex":[0.9960428,0.00170596,0.000290613,0.0005253666,0.001129951,0.0003053217],"domain_scores_gemma":[0.9828205,0.01370845,0.0007598019,0.001186177,0.001226689,0.0002983539],"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.00001804588,0.00001139356,0.0001345811,0.00004487219,0.0000164388,0.00002852988,0.00007268107,0.01990807,0.0002492846,0.9738631,0.0002985379,0.005354505],"study_design_scores_gemma":[0.000004451591,0.000009858465,0.00006994649,0.00001952335,0.00001028374,0.00002445125,0.00001319719,0.09205823,0.0002667583,0.9068652,0.0006491754,0.000009014847],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01114283,0.0007244808,0.9798418,0.0007605741,0.00006441961,0.00003898589,0.0001725157,0.0000988286,0.007155489],"genre_scores_gemma":[0.6892053,0.002017632,0.2999209,0.0003203244,0.0006483866,0.0003290079,0.0004589006,0.0002298725,0.006869626],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006371249,"threshold_uncertainty_score":0.03357244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01555135127261872,"score_gpt":0.2389230685451928,"score_spread":0.2233717172725741,"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."}}