• CloudSim公司

  • 引用25篇文章[sw10724]
  • 云计算专注于提供可靠的,保护,容错、可持续和可扩展的基础架构。。。应用程序有不同的组成、配置和部署要求.量化调度和分配的性能。。。分配政策;(三)虚拟化的可用性发动机这有助于创造和管理多重。。。
  • Lem公司

  • 引用4篇文章[sw09395]
  • 多年来,我们在工程:使用数学上严格的语义模型(不仅仅是。。。安全机制,用于测试、证明、分析和设计。建立这些模型很有挑战性,需要实验。。。标准机构和验证;他们的规模增加了工程类似于编程的问题。。。
  • RRE公司

  • 引用9篇文章【sw22305】
  • 面对快速蔓延的入侵要求不仅在检测算法方面取得了进展,而且。。。反应和恢复发动机(RRE)。我们的发动机运用博弈论的反应策略。。。应用攻击响应树来分析不需要的安全事件及其对策用布尔逻辑。。。
  • 布莱克

  • 引用8篇文章[sw11099]
  • 要求内部参数的选择;他们总结了已知的安全布莱克的属性。。。动机,也包括它的表现和安全方面。这本书以详细的测试结束。。。布莱克2。这本书面向实践--工程还有技艺——而不是理论。。。
  • ISDF

  • 1条引用[sw03255]
  • 全球化改变了软件工程过程。安全已经成为一个重要的组成部分。。。需要发展保护软件。很明显保护软件要求不仅仅是。。。
  • M胶囊

  • 1条引用[sw32565]
  • 那个要求本地执行。除了防止直接模型访问之外,我们还将保护脱机。。。学习模型,如模型窃取,逆向工程,以及成员资格推断。。。
  • 石榴石

  • 1条引用[sw22308]
  • 捕获与攻击者比较安全复杂网络。对于有三个。。。步骤和独特漏洞的数量必修的.GARNET被实现为一个Java应用程序。。。建立在现有的C之上++发动机执行可达性和攻击图计算。。。
  • UMLsec公司

  • 引用3篇文章[sw12754]
  • UML片段。既定规则安全 工程可以封装,因此可以使用。。。非专业开发人员安全作为一个例子,UMLsec被用来发现。。。学习UML或形式方法的学生安全,以及编写关键应用程序的高级专业人士。。。关键的UML模型验证插件要求特别是,它包括自动分析。。。
  • QSYM公司

  • 1条引用[sw39689]
  • 问题是,我们设计了一个快速的合并执行发动机,称为QSYM,以支持混合模糊。。。仿真。此外,QSYM放松了严格的可靠性要求为了更好的表现。。。还发现了13个以前不知道的安全像Dropbox Lepton这样的八个真实世界的程序中的错误。。。
  • 安全瓦皮

  • 1条引用[sw38000]
  • 可能导致严重安全脆弱性。为了帮助开发人员编写安全的JavaScript。。。没有任何参数的参数,平台开发人员可以要求申请者提供确切的数字。。。软件质量保证定义的API工程师,我们的SAFEWAPI可以检测到现实世界中的此类误用。。。
  • 高铁

  • 引用了275篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 拉帕克

  • 在1677篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • R

  • 引用9188篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 棱镜

  • 引用434篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。