{"id":"https://openalex.org/W1484057600","doi":"https://doi.org/10.3233/jcs-2011-0437","title":"On bounding problems of quantitative information flow","display_name":"On bounding problems of quantitative information flow","publication_year":2011,"publication_date":"2011-12-23","ids":{"openalex":"https://openalex.org/W1484057600","doi":"https://doi.org/10.3233/jcs-2011-0437","mag":"1484057600"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2011-0437","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0437","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043409704","display_name":"Hirotoshi Yasuoka","orcid":null},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Hirotoshi Yasuoka","raw_affiliation_strings":["Tohoku University, Sendai, Japan. E-mail: yasuoka@kb.ecei.tohoku.ac.jp"],"affiliations":[{"raw_affiliation_string":"Tohoku University, Sendai, Japan. E-mail: yasuoka@kb.ecei.tohoku.ac.jp","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031661604","display_name":"Tachio Terauchi","orcid":"https://orcid.org/0000-0001-5305-4916"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tachio Terauchi","raw_affiliation_strings":["Nagoya University, Nagoya, Japan. E-mail: terauchi@is.nagoya-u.ac.jp"],"affiliations":[{"raw_affiliation_string":"Nagoya University, Nagoya, Japan. E-mail: terauchi@is.nagoya-u.ac.jp","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043409704"],"corresponding_institution_ids":["https://openalex.org/I201537933"],"apc_list":null,"apc_paid":null,"fwci":3.0817,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.91512081,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"19","issue":"6","first_page":"1029","last_page":"1082"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.8306055665016174},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.6352967023849487},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.6264538764953613},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6120508909225464},{"id":"https://openalex.org/keywords/conditional-entropy","display_name":"Conditional entropy","score":0.5579419732093811},{"id":"https://openalex.org/keywords/information-theory","display_name":"Information theory","score":0.49947261810302734},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4460580348968506},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39975786209106445},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34242743253707886},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.326421320438385},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1249246597290039},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1241777241230011},{"id":"https://openalex.org/keywords/principle-of-maximum-entropy","display_name":"Principle of maximum entropy","score":0.12320777773857117}],"concepts":[{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.8306055665016174},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.6352967023849487},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.6264538764953613},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6120508909225464},{"id":"https://openalex.org/C101721835","wikidata":"https://www.wikidata.org/wiki/Q813908","display_name":"Conditional entropy","level":3,"score":0.5579419732093811},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.49947261810302734},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4460580348968506},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39975786209106445},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34242743253707886},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.326421320438385},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1249246597290039},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1241777241230011},{"id":"https://openalex.org/C9679016","wikidata":"https://www.wikidata.org/wiki/Q1417473","display_name":"Principle of maximum entropy","level":2,"score":0.12320777773857117},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/jcs-2011-0437","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0437","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.179.2105","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.179.2105","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.kb.ecei.tohoku.ac.jp/%7Eterauchi/papers/esorics10-boundflow.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.8673","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.8673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jaist.ac.jp/%7Eterauchi/papers/jcs-boundflow.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1565898282","https://openalex.org/W1577404745","https://openalex.org/W1586448612","https://openalex.org/W1588423823","https://openalex.org/W1882297107","https://openalex.org/W1977764760","https://openalex.org/W1995875735","https://openalex.org/W2008235019","https://openalex.org/W2027029004","https://openalex.org/W2078114603","https://openalex.org/W2082000355","https://openalex.org/W2095840868","https://openalex.org/W2097151854","https://openalex.org/W2098820900","https://openalex.org/W2101171610","https://openalex.org/W2108104925","https://openalex.org/W2111552846","https://openalex.org/W2116660249","https://openalex.org/W2119966192","https://openalex.org/W2123097583","https://openalex.org/W2130241416","https://openalex.org/W2137407595","https://openalex.org/W2139799388","https://openalex.org/W2144992712","https://openalex.org/W2147436337","https://openalex.org/W2149854126","https://openalex.org/W2167136065","https://openalex.org/W2295903414","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2061278088","https://openalex.org/W2082484220","https://openalex.org/W3032013634","https://openalex.org/W2070433861","https://openalex.org/W1628532628","https://openalex.org/W1582638358","https://openalex.org/W2529337095","https://openalex.org/W2120057264","https://openalex.org/W2163103544","https://openalex.org/W2889544313"],"abstract_inverted_index":{"Researchers":[0],"have":[1],"proposed":[2],"formal":[3],"definitions":[4],"of":[5,34,42,56,79,174,191],"quantitative":[6,38,57,76,192],"information":[7,11,58,77,193],"flow":[8,41,78],"based":[9],"on":[10,187],"theoretic":[12,136],"notions":[13],"such":[14,47],"as":[15,61],"the":[16,19,22,32,37,53,75,91,108,112,121,140,143,155,171,180,183,188],"Shannon":[17],"entropy,":[18,21,24],"min":[20],"guessing":[23],"belief,":[25],"and":[26,67,115],"channel":[27],"capacity.":[28],"This":[29],"paper":[30,177],"investigates":[31],"hardness":[33,137],"precisely":[35],"checking":[36,130],"informat":[39],"ion":[40],"a":[43,64,68,96,163],"program":[44,65,144],"according":[45],"to":[46,86,120,129,147],"definitions.":[48],"More":[49],"precisely,":[50],"we":[51,152],"study":[52],"\u201cbounding":[54],"problem\u201d":[55],"flow,":[59],"defined":[60],"follows:":[62],"Given":[63],"M":[66,80],"positive":[69],"real":[70],"number":[71],"q,":[72],"decide":[73],"if":[74],"is":[81,94,105,117,145,157,168],"less":[82],"than":[83],"or":[84],"equal":[85],"q.":[87],"We":[88,132],"prove":[89,134],"that":[90,124,154],"bounding":[92],"problem":[93,156],"not":[95,118],"k-safety":[97],"property":[98],"for":[99,107,139,159,170],"any":[100],"k":[101],"(even":[102],"when":[103,142],"q":[104],"fixed,":[106],"Shannon-entropy-based":[109],"definition":[110],"with":[111,165,182],"uniform":[113],"distribution),":[114],"therefore":[116],"amenable":[119],"self-composition":[122],"technique":[123],"has":[125],"been":[126],"successfully":[127],"applied":[128],"non-interference.":[131],"also":[133,178],"complexity":[135],"results":[138,181,186],"case":[141],"restricted":[146],"loop-free":[148],"Boolean":[149],"programs.":[150,175],"Specifically,":[151],"show":[153],"PP-hard":[158],"all":[160],"definitions,":[161],"showing":[162],"gap":[164],"non-interference":[166],"which":[167],"coNP-complete":[169],"same":[172],"class":[173],"The":[176],"compares":[179],"recently":[184],"proved":[185],"comparison":[189],"problems":[190],"flow.":[194]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}