泄漏监视 swMATH ID: 30239 软件作者: 乔提亚,T。;Y.川本。;C诺瓦科维奇 描述: LeakWatch:估计Java程序的信息泄漏。处理机密数据的程序可能会在其公开可见的输出中无意中泄露有关这些机密的信息。本文介绍了用于Java编程语言的定量信息泄漏分析工具LeakWatch;它基于一个灵活的“点对点”信息泄漏模型,在该模型中,在程序执行期间的任何时候都可能出现秘密和公开的可观察数据。LeakWatch反复执行一个包含秘密和公开可观测数据的Java程序,并使用稳健的统计技术以置信区间提供最小泄漏(使用本文提出的新理论结果)和互信息的估计。我们演示了如何使用LeakWatch来估计一系列真实Java程序中信息泄漏的大小。 主页: https://rd.springer.com/chapter/10.1007/978-3-319-11212-1_13 依赖项: Java语言 相关软件: 开放-WBO;CBMC公司;QUAIL公司;ANTLR公司;数据传输协议++;私人LR 引用于: 4文件 全部的 前5名13位作者引用 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 Johannes Bechberger 1 法布里西奥·比昂迪 1 伊万·加佐 1 川本优助 1 Legay、Axel 1 米勒,戴尔·艾伦 1 穆罕默德·穆罕默德·莫哈盖吉 1 阿里·A·诺鲁齐。 1 卡图西亚帕拉米德斯 1 卡亚姆·萨利希 1 路易斯·玛丽·特劳努埃兹 1 亚历山大·维格尔 2篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 在3个字段中引用 4 计算机科学(68至XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文