Experiments in Information Flow Analysis

Experiments in Information Flow Analysis
复制标题

信息流分析实验

DOI:
--
复制
发表时间:
2019
期刊:
International Conference on Mathematics of Program Construction
影响因子:
--
通讯作者:
Annabelle McIver
Annabelle McIver
中科院分区:
--
文献类型:
--
作者:
Annabelle McIver

文献摘要

被引文献

相似文献

设计不泄露机密信息的程序仍然是一个挑战。部分困难出现在部分信息泄露不可避免的时候,这意味着设计干预只能限制而不是消除它们的影响。
Designing programs that do not leak confidential information continues to be a challenge. Part of the difficulty arises when partial information leaks are inevitable, implying that design interventions can only limit rather than eliminate their impact.