• 微微数据库

  • 参考11篇文章[sw01550]
  • 智能卡智能卡保护便携式的计算今天的设备。他们已经成功地使用了。。。
  • XtremWeb

  • 参考22篇文章[sw11411]
  • 计算可管理、可扩展和保护法森。。。致力于改进安全,效率,可靠性这一充满希望的新产品计算范式。支持XtremWeb。。。
  • CloudSim公司

  • 引用25篇文章[sw10724]
  • 基础设施和服务。计算专注于提供可靠的,保护,容错,可持续。。。新兴云的建模、模拟和实验计算基础设施和管理服务。模拟框架。。。
  • 规格

  • 参考6篇文章[sw20606]
  • 观察等价性,被用来推理安全属性,如保密性和身份验证。规范。。。杰里米·道森(发表于IEEE电脑类 安全2010年基金会研讨会)。规范已实现。。。
  • 肩胛骨

  • 引用3篇文章[sw22635]
  • 斯堪的纳维亚安全 计算应用程序编程接口。SCAPI是一个开源的Java库。。。计算协议(SCAPI代表安全 计算API“)。它提供了一个可靠、高效的。。。其他全面开展保护 计算(与安全为了半诚实和/或恶意。。。
  • 盖比特

  • 引用8篇文章[sw31791]
  • 让一个弱客户端安全地外购计算对远方的人。最近的工作。。。
  • NetSolve公司

  • 引用了50篇文章[sw01978]
  • 为用户提供对远程的无缝访问计算的硬件和软件资源。从那时起。。。系统从许多增强功能中获益,如安全服务、数据管理功能和分布式存储。。。
  • Me服务

  • 引用8篇文章[sw01399]
  • 保护&普适环境中服务的个性化发现、组合和管理。增加的计算的能力。。。网络技术,将有助于实现计算范式。在本文中,我们提出。。。数据管理和基于信任的安全无处不在计算环境。。。
  • 维夫

  • 在14篇文章中引用[sw05804]
  • 创建高效和保护多方计算(SMPC)。不信任的玩家。。。
  • 锡德

  • 参考11篇文章[sw17952号文件]
  • 大尺度量子计算机,以及192位安全反对经典算法。锡德。。。
  • 独角兽

  • 17条引用[sw02295]
  • UNICORE(统一接口计算机资源)提供了一个无缝的保护访问分布式超级计算机。。。
  • 皮科

  • 引用2篇文章[sw38132]
  • 专用分布式通用编译器计算.安全 计算关于私人数据。。。随着云的出现,人们对云的兴趣又重新燃起计算.近年来,在。。。保护 计算不完全适用于执行的框架。。。通用型计算.安全编译程序的分布式实现是基于线性。。。
  • TCB公司

  • 引用4篇文章[sw13591]
  • 代码(PCC)和其他应用程序计算机 安全需要机器检查的财产证明。。。安全证明。我们证明计算在这样一个系统中。。。
  • 通行证

  • 引用4篇文章[sw30797]
  • 图形密码系统的评估。电脑类 安全很大程度上依赖于密码来验证人类。。。
  • 网格安全

  • 引用4篇文章[sw01927]
  • GridSec:可信网格计算具有安全针对网络蠕虫和DDoS进行绑定和自卫。。。讨论要实现的具有挑战性的研究问题保护网格计算在一个开放的互联网环境中有效。。。
  • 电梯

  • 引用3篇文章[sw20596]
  • 探测跟踪系统安全攻击。电脑类 安全受到软件漏洞的严重威胁。之前。。。
  • 图形C

  • 引用2篇文章[sw29148]
  • 图形C:平行保护 计算很简单。GraphSC是一个平行线保护 计算支持。。。
  • 密克罗夫里夫

  • 引用2篇文章[sw09907]
  • 经过验证的实现计算上 保护协议规范。为了获得实现。。。安全协议已证明保护计算的模型,我们之前已经实现了一个编译器。。。协议的输入语言计算的协议验证器CryptoVerif并将其转换为。。。证明了协议规范保护计算的通过CryptoVerif建模,然后生成实现。。。
  • ECPAKA公司

  • 参考11篇文章[sw03308]
  • 网络和无处不在计算,有必要构建一个保护端到端频道。。。仍然有机会在计算以及沟通方面。我们提供正式治疗。。。使用Bellare等人的安全模型。我们还建议一个有效的。。。
  • 阿比

  • 参考7篇文章[sw33562]
  • 高效混合协议框架保护两方当事人计算...