• 寓言

  • 参考6篇文章[sw23081]
  • 执行用户定义的语言安全 政策. 本文提出寓言,一个核心形式主义。。。程序员可以指定的语言安全 政策为什么这些政策是正确的。。。强制执行。寓言中,安全 政策可以用关联来表示安全带有数据的标签。。。实施各种各样的安全 政策,包括访问控制、信息流、来源和安全...
  • 典范

  • 引用8篇文章[sw13306]
  • 用信息流控制编程。传统的安全 政策对于软件应用程序来说,管理。。。需要端到端管理安全本文中应用程序的性质。。。信息流控制的静态检查政策. 典范政策在基于逻辑的。。。
  • 聚焦

  • 引用8篇文章[sw12384]
  • 多元多项式环安全 政策以及Focusize用户提供的各种示例。。。
  • 梅塔克莱姆

  • 引用5篇文章[sw01810]
  • 动态代码片段检查)安全 政策在行政边界和“传统”计算活动中。。。参数化移动组件并强制安全 政策动态:类型是提取的元数据。。。
  • 流量凸轮

  • 参考6篇文章[sw08923]
  • 完整性政策. 在Flow Caml中,标准ML类型用安全选择的级别。。。关于安全 政策由程序员指定。从技术上讲,流动凸轮。。。
  • 间谍

  • 参考6篇文章[sw22152]
  • 消息有效负载和安全 政策,由第三方插件支持。我们的演示。。。
  • 层流

  • 引用3篇文章[sw23077]
  • 堆分配的对象。程序员表达安全 政策通过给数据加上保密性和完整性标签。。。范围安全区域。层流强化安全 政策在运行时由标签指定。层流。。。极限动态安全检查,让我们可以改装DIFC政策在四个申请案例中。。。研究。替换应用程序的即席安全 政策更改不到代码的10%。。。
  • 反卫星

  • 引用5篇文章[sw06350]
  • 自动符号分析安全 政策. 我们描述了asasp,一个符号可达过程。。。访问控制政策. 工具代表访问政策以及他们的行政行为。。。使用符号可达性过程来解决安全分析问题。检查定点减少。。。
  • 洛普西尔

  • 引用4篇文章[sw02068]
  • LoPSiL:基于位置的政策-本文描述了LoPSiL语言的设计。。。指定位置相关的语言安全还有隐私政策.政策-规范语言,如LoPSiL。。。指定和执行声音的任务安全 政策在不可信(即,潜在的不安全)软件上。。。
  • 岩盐矿

  • 引用3篇文章[sw23353]
  • 机器代码分析以强制安全 政策. 但是对于复杂的建筑来说。。。
  • 网络安全策略验证

  • 1条引用[sw32204]
  • 网络安全 政策验证:我们提出了一个统一的网络验证理论安全 政策...安全 政策表示为有向图。检查高层安全目标,安全不变量。。。通过拧紧政策如果安全不变量适用于否定。。。政策. 计算安全 政策. 状态连接语义的形式化。。。
  • 绉纱

  • 引用2篇文章[sw21577]
  • 加强科研工作安全 政策在被认为是粗粒度的智能手机上政策,例如,要么。。。
  • 密码管理员

  • 引用2篇文章[sw37376]
  • Cryptkeeper支持新的安全 政策为了记忆,并证明现代个人。。。
  • 恰亚

  • 引用2篇文章【sw35851】
  • 灵活多样安全 政策,这样你的网站就可以有效的控制嵌入了什么。。。
  • 埃德罗

  • 1条引用[sw13648]
  • 政府机构)需要定制安全 政策根据他们的。。。能力。本文提出了一种环境自适应算法安全安卓平台的机制称为EAdroid,它。。。第三方机构定制安全 政策他们的Android设备。埃德罗改革。。。Android系统和综合应用Smack安全Linux的模块。同时。。。
  • BreakApp公司

  • 1条引用【sw35853】
  • 遗留应用程序的划分和实施安全 政策,提高可靠性和安全. 它透明地产生。。。他们最初的行为。可选高级政策解耦安全在开发过程中根据需求做出的假设。。。这些政策允许进行微调权衡,例如安全以及基于变化的性能。。。