• 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应用程序中常见的漏洞现在超过了。。。显式自动推理方法信息 程序代码中的规范。这样的规格大大降低了。。。
  • 定量的

  • 参考11篇文章[sw10107]
  • “布线”的组成,或属于信息. 在描述量子时尤其如此。。。
  • 电梯

  • 引用3篇文章[sw20596]
  • 电梯:一个低头顶的实用程序问询处 流量用于检测安全攻击的跟踪系统。计算机安全。。。软件漏洞。之前的研究表明信息 跟踪(也称为污染分析。。。一系列安全攻击。但是,目前信息 跟踪系统不太实用,因为。。。提出了一种低开销、仅限软件信息 跟踪系统,叫做电梯,它能最大限度地减少。。。
  • 污点机器人

  • 参考6篇文章[sw26740]
  • 污染机器人:一个信息-用于智能手机实时隐私监控的跟踪系统。今天的智能手机。。。可能滥用用户隐私的实例信息跨越20个应用程序。监视敏感数据。。。
  • 寓言

  • 参考6篇文章[sw23081]
  • 安全策略,包括访问控制,信息 ,出处和安全自动机。我们已经实现了寓言。。。
  • 肩带

  • 引用4篇文章[sw13305]
  • 表达并实施访问控制和信息 政策。在本文中,我们展示了。。。动态策略、身份验证、空间分布和信息 . Aglet的实现包括。。。
  • 层流

  • 引用3篇文章[sw23077]
  • 层流:实用的细粒度分散信息 控制。分散的信息 控制(DIFC。。。在监控属于信息通过细粒度的程序数据结构。这篇论文。。。第一个实行分散管理的制度信息 控件使用一组抽象。。。
  • 快克

  • 引用5篇文章[sw13283]
  • 复杂案例研究信息-控制抽象机,证明我们的验证。。。
  • 塞林克

  • 引用2篇文章[sw28379]
  • 对计算系统的攻击是不安全的信息 . 现代系统的复杂性构成了。。。端到端安全的挑战信息 确保单身的不安全感。。。使整个系统不安全。同时信息 在各种语言和环境中。。。统一跟踪框架信息 通过应用程序和底层数据库。。。
  • HLIO公司

  • 引用3篇文章[sw22611]
  • 混合静态和动态类型信息-哈斯凯尔掌控一切。问询处-流量控制。。。
  • 转性

  • 引用3篇文章[sw29816]
  • 包装传递性:测量问询处 流量时间序列与Shannon和Renyi之间的传递熵。正在测量。。。信息 时间序列之间的Shannon和Rényi传递熵。另请参见Dimpfl。。。
  • 雅克斯塔布

  • 引用4篇文章[sw25254]
  • 增长控制图表。数据 信息用于解析分支目标并发现。。。与主控一起重建以提高拆卸精度,或者他们。。。
  • 光泽

  • 在38篇文章中引用[sw08938]
  • 时间编程。LUSTRE是一个同步数据-与…交互的编程系统语言。。。他们的环境是实时的。非正式的语言的呈现,我们描述。。。
  • SIFA公司

  • 引用2篇文章[sw01350]
  • 描述分析工具信息 在安全硬件方面。它识别两个子电路。。。以及信息 由于硬件故障。该工具允许。。。