• JFlow公司

  • 在26篇文章中引用【sw20595】
  • JFlow:实用的多是静态的信息 控制. 一种有前途的保护隐私和完整性的技术。。。敏感数据要静态检查信息 在操作数据的程序中。当。。。从未成功与static集成信息 控制,包括对象、子类化、动态类型测试。。。
  • Jif公司

  • 引用19篇文章[sw16478号]
  • 它扩展了Java并支持信息 控制和访问权限控制,在两个位置强制执行。。。
  • 典范

  • 引用9篇文章[sw13306]
  • 实用编程典范信息- 控制. 软件应用程序的常规安全策略。。。实践我们相信控制--信息 控制--需要管理。。。类支持静态检查信息 控制政策。指定了模范政策。。。以前语言中使用的信息-我们的贡献是。。。
  • 飞狐

  • 引用8篇文章[sw37815]
  • 灵活精确的浏览器信息 控制. 我们现在展示的是第一个功能齐全的。。。它实现了一个精确而普遍的信息 控制基于web脚本的机制。。。令人望而却步。我们的原型实现表明信息 基于安全多重执行的强制执行。。。
  • 寓言

  • 参考6篇文章[sw23081]
  • 各种安全策略,包括访问控制,信息 ,出处和安全自动机。我们有。。。商店,配备有一个组合的入口控制以及原产地政策。据我们所知。。。
  • 层流

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

  • 引用3篇文章[sw22611]
  • 混合静态和动态类型信息- 控制在哈斯凯尔。问询处-流量 控制...
  • 快克

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

  • 引用2篇文章[sw28379]
  • 函数语言的强制执行信息- 控制为数据库“免费”,协同。。。具有信息- 控制对于应用程序,从而保证跨应用程序数据库边界的安全性。。。
  • 肩带

  • 引用4篇文章[sw13305]
  • 快速和强制访问控制信息 政策。在本文中,我们展示了。。。控制,类型化的证据携带授权,短暂的和动态的策略,认证,空间分布,和信息 ...
  • JRIF公司

  • 1条引用[sw32195]
  • JRIF:反应性信息 控制对于Java。反应信息 (RIF)自动机。。。它使用RIF自动机来指定信息 控制政策。JRIF的实现涉及。。。现有的信息 控制系统可以修改以支持。。。
  • 雨衣

  • 1条引用[sw32897]
  • 验证静态信息- 控制图书馆。编程语言Haskell扮演着一个独特的特权角色。。。信息- 控制(IFC)研究:它能够执行信息通过图书馆实现安全。很多。。。
  • 光泽

  • 在38篇文章中引用[sw08938]
  • 时间编程。LUSTRE是一个同步数据-与…交互的编程系统语言。。。他们的环境是实时的。非正式的语言的呈现,我们描述。。。有限状态自动机控制程序的。程序转换的形式规则。。。
  • 雅克斯塔布

  • 引用4篇文章[sw25254]
  • 生长分析控制 图表。数据 信息用于解析分支。。。与主管道一起控制 重建以提高拆卸精度,或者他们。。。
  • 乔安娜

  • 1条引用[sw26906]
  • 乔安娜。JOANA是信息 控制,它可以使用。。。
  • 泛大陆

  • 1条引用[sw30455]
  • 全面的客户端和中间件组件控制这个信息 和质量。在服务器端。。。
  • 炸药

  • 引用16条[sw01808]
  • 交通状况,并提供一致和无偏见信息对旅行者来说。为了完成这些任务,高效。。。供应。需求反映了OD模式和组合。。。基础设施、交通条件还有交通控制. 本文介绍了该产品的设计和规格。。。
  • 恩杰

  • 1条引用[sw22895]
  • 这允许程序员控制明确如何信息 流量从近似数据到精确数据。。。
  • RBAC-PAT

  • 引用3篇文章[sw00782]
  • 接近控制政策。基于管理角色的访问控制(ARBAC)指定RBAC策略如何。。。遏制、最弱的先决条件、死角色,以及信息 流量...