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