-
JFlow公司
- 在26篇文章中引用【sw20595】
- JFlow：实用的多是静态的信息 流控制。一种有前途的保护隐私和完整性的技术。。。敏感数据要静态检查信息 流在操作数据的程序中。当。。。添加静态检查的Java语言信息 流注解。JFlow提供了几个新特性。。。制作信息 流与以前的模型相比，分散式标签更方便检查。。。
-
Jif公司
- 引用19篇文章[sw16478号]
- 爪哇信息 流. Jif是一种安全类型的编程语言，它扩展了Java的支持。。。信息 流控制和访问控制，在编译时和运行时强制执行。。。
-
典范
- 引用9篇文章[sw13306]
- 实用编程典范信息-流控制。软件应用程序的常规安全策略。。。实践我们相信这样的控制--信息 流控制——需要管理。。。类支持静态检查信息 流控制策略。指定了模范政策。。。以前语言中使用的信息-流我们的贡献是。。。
-
飞狐
- 引用8篇文章[sw37815]
- 灵活精确的浏览器信息 流控制。我们现在展示的是第一个功能齐全的。。。它实现了一个精确而普遍的信息 流基于web脚本的控制机制。。。令人望而却步。我们的原型实现表明信息 流基于安全多重执行的强制执行。。。
-
典型的
- 引用8篇文章[sw23207]
- 死锁自由分析，无用代码消除，信息 流分析和终止分析。前者。。。其他工具，如模型检查程序）。问询处 流分析仪检查过程是否泄漏信息...
-
梅林
- 引用5篇文章[sw23076]
- Merlin：显式规范推理信息 流问题。在过去的几年里。。。由显式信息 流在程序中。我很感兴趣。。。注射。事实上，这些信息 流Web应用程序中常见的漏洞现在超过了。。。显式自动推理方法信息 流程序代码中的规范。这样的规格大大降低了。。。
-
流量凸轮
- 参考6篇文章[sw08923]
- 一个信息 流Caml语言的分析器。已经公开了。。。带类型系统跟踪的OCaml信息 流. 它的目的基本上是允许。。。遵守一些保密或诚信政策。在流量Caml，标准的ML类型用。。。需要源代码注释信息 流所分析的程序是合法的。。。
-
污点机器人
- 引用8篇文章[sw26740]
- 污染机器人：一个信息-流用于智能手机实时隐私监控的跟踪系统。今天的智能手机。。。可能滥用用户隐私的实例信息跨越20个应用程序。监视敏感数据。。。
-
电梯
- 引用3篇文章[sw20596]
- 电梯：一个低头顶的实用程序问询处 流量用于检测安全攻击的跟踪系统。计算机安全。。。软件漏洞。说明之前的工作信息 流跟踪（也称为污染分析。。。一系列安全攻击。但是，目前信息 流跟踪系统不太实用，因为。。。提出了一种低开销、仅限软件信息 流跟踪系统，叫做电梯，它能最大限度地减少。。。
-
转性
- 引用4篇文章[sw29816]
- 包装传递性：测量问询处 流量时间序列与Shannon和Renyi之间的传递熵。正在测量。。。信息 流时间序列之间的Shannon和Rényi传递熵。另请参见Dimpfl。。。
-
寓言
- 参考6篇文章[sw23081]
- 安全策略，包括访问控制，信息 流，出处和安全自动机。我们已经实现了寓言。。。
-
肩带
- 引用4篇文章[sw13305]
- 表达并实施访问控制和信息 流政策。在本文中，我们展示了。。。动态策略、身份验证、空间分布和信息 流. Aglet的实现包括。。。
-
层流
- 引用3篇文章[sw23077]
- 层流：实用的细粒度分散信息 流控制。分散的信息 流控制（DIFC。。。在监控流属于信息通过细粒度的程序数据结构。这篇论文。。。第一个实行分散管理的制度信息 流控件使用一组抽象。。。
-
塞林克
- 引用2篇文章[sw28379]
- 对计算系统的攻击是不安全的信息 流. 现代系统的复杂性构成了。。。端到端安全的挑战信息 流确保单身的不安全感。。。使整个系统不安全。同时信息 流在各种语言和环境中。。。统一跟踪框架信息 流通过应用程序和底层数据库。。。
-
雅克斯塔布
- 引用4篇文章[sw25254]
- 增长控制流图表。数据流 信息用于解析分支目标并发现。。。与主控一起流重建以提高拆卸精度，或者他们。。。
