{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008357248,0.00043082,0.0006912161,0.002062517,0.0003504925,0.0007386642,0.001954097,0.0002926877,0.00004057046],"category_scores_gemma":[0.00009399968,0.0004139899,0.0001989807,0.001572115,0.00054013,0.002535532,0.001194593,0.0004829551,0.00001615254],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002070541,"about_ca_system_score_gemma":0.0003010589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008325545,"about_ca_topic_score_gemma":0.00001744909,"domain_scores_codex":[0.9966415,0.00004043469,0.0009343203,0.0008205787,0.0009687167,0.0005944124],"domain_scores_gemma":[0.997117,0.0003889845,0.0007601033,0.001074431,0.0004889501,0.0001705215],"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.00001010943,0.00004023677,0.0003184354,0.0001200143,0.0001884677,0.000006629302,0.004302301,0.2282284,0.0003102436,0.08015254,0.00002434006,0.6862983],"study_design_scores_gemma":[0.0002195928,0.00007554173,0.000535371,0.000141575,0.00008792791,0.00002029098,0.000001017823,0.9848046,0.0007555327,0.01213298,0.0008117256,0.0004138846],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003616685,0.0002831309,0.9942136,0.0001975783,0.0008814068,0.0003293542,0.00001163176,0.00007257486,0.0003939883],"genre_scores_gemma":[0.2347497,0.00005795375,0.7641459,0.0007589243,0.0002088523,0.000004824896,0.00002554884,0.00001456806,0.00003374371],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7565761,"threshold_uncertainty_score":0.9998312,"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."}}