• Jif公司

  • 引用18条[sw16478号]
  • 爪哇信息 . Jif是一个安全-支持Java的类型化编程语言。。。
  • 典范

  • 引用9篇文章[sw13306]
  • 实用编程典范信息-控制。传统的安全软件应用程序策略。。。足以表达信息允许一旦进入资源。。。控制--信息 控制——是端到端管理所必需的安全属性。。。类支持静态检查信息 控制策略。指定了模范政策。。。
  • 寓言

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

  • 参考7篇文章[sw37815]
  • 一般的信息 基于技术的web脚本控制机制保护多种。。。原型实现表明信息 执行基于保护可以实现多重执行。。。
  • 梅林

  • 引用5篇文章[sw23076]
  • Merlin:显式规范推理信息 问题。在过去的几年里。。。查找工具安全由显式信息 在程序中。很多。。。显式自动推理方法信息 程序代码中的规范。这样的规格大大降低了。。。检查的工具安全由显式信息 . 从数据开始。。。
  • 电梯

  • 引用3篇文章[sw20596]
  • 实际开销问询处 流量探测跟踪系统安全攻击。电脑类安全受到严重威胁。。。软件漏洞。说明之前的工作信息 跟踪(也称为污染分析。。。广泛的安全攻击。但是,目前信息 跟踪系统不是很实用。。。提出了一种低开销、仅限软件信息 跟踪系统,叫做电梯,它能最大限度地减少。。。
  • 迷恋

  • 引用2篇文章[sw17453]
  • 正式核查议程信息- 安全对于现实系统。我们呈现CoSMed。。。
  • 香蕉

  • 引用3篇文章[sw01396]
  • 简单的推理框架信息 安全当行动不便时。。。
  • SIFA公司

  • 引用2篇文章[sw01350]
  • 描述分析工具信息 在里面安全硬件。它识别两个子电路。。。保存安全以及信息 由于硬件故障。。。
  • 塞林克

  • 引用2篇文章[sw28379]
  • 主要挑战保护端到端信息 确保不安全感。。。使整个系统不安全。同时信息 在各种语言和环境中。。。安全. 本文提出了一个统一跟踪的框架信息 通过两者。。。使其与信息-控制应用程序,从而保证安全跨应用程序数据库。。。
  • 流量凸轮

  • 参考6篇文章[sw08923]
  • 带类型系统跟踪的OCaml信息 . 它的目的基本上是允许。。。诚信政策。流量Caml,标准ML类型用安全选择的级别。。。每个注释都给出了信息所述表达式可以传达的。因为。。。信息 由分析程序引起的安全策略。。。
  • 肩带

  • 引用4篇文章[sw13305]
  • 独立类型编程中的编程。最近几次安全-类型化编程语言,如Aura,PCML5。。。控制和信息 政策。在本文中,我们展示了安全-类型化编程。。。说明了现有安全-类型化编程语言,例如分散访问。。。动态策略、身份验证、空间分布和信息 . Aglet的实现包括。。。
  • JSFlow公司

  • 引用4篇文章[sw32998]
  • 安全-用于细粒度跟踪的增强JavaScript解释器信息 . JSFLow支持完整的。。。提供动态(运行时)跟踪和验证安全标签是用JavaScript编写的,它支持。。。
  • JSLINQ公司

  • 1条引用[sw27567]
  • 端到端框架安全,通过跟踪信息 通过客户端,服务器。。。我们的核心安全安全类型系统。。。要跟踪的WebSharper库信息 . 我们在案例中展示了JSLINQ的功能。。。
  • 层流

  • 引用3篇文章[sw23077]
  • 粒度分散信息 控制。分散的信息 控制(DIFC)是一种很有前途的模型。。。编写功能强大的端到端程序安全保证。当前的DIFC系统。。。在监控属于信息通过细粒度的程序数据结构。这篇论文。。。第一个实行分散管理的制度信息 控件使用一组抽象。。。
  • 泰姬陵

  • 参考7篇文章[sw33114]
  • 信息-分析,确定来自不受信任的方法和参数的值是否可以进入之内安全...
  • 污点机器人

  • 引用8篇文章[sw26740]
  • 污染机器人:一个信息-用于智能手机实时隐私监控的跟踪系统。今天的智能手机。。。用户专用信息跨越20个应用程序。使用TaintDroid监视敏感数据提供见多识广的... 手机用户和智能手机的宝贵信息安全服务公司试图找出行为不端的应用程序。。。
  • 雨衣

  • 1条引用[sw32897]
  • 信息-控制(IFC)研究:它能够执行信息 安全通过图书馆。很多。。。
  • 僵尸发现者

  • 1条引用[sw21738]
  • 许多的安全互联网上的问题,因为他们发送垃圾邮件,偷窃信息从受感染的机器。。。净流量信息拥有超过250亿的大型ISP流量. 我们的结果。。。
  • 护城河

  • 1条引用【sw23080】
  • 护城河:验证飞地计划的机密性。安全-关键应用程序经常面临来自漏洞攻击的威胁。。。基于自动定理证明和信息 分析)证明飞地计划。。。记录信息、公证服务和保护查询处理。。。