• 数据日志

  • 引用282篇文章[sw20023]
  • 数据集成、信息提取、联网、程序分析,安全,以及云计算。[1]它的起源可以追溯到。。。
  • gmp

  • 引用269篇文章[sw00363]
  • 密码学应用与研究,因特网安全应用,代数系统,计算代数研究。。。
  • Globus工具箱

  • 引用175篇文章[sw09648]
  • 共享计算能力、数据库和其他工具安全地跨越公司、机构和地理界限的在线。。。资源监视、发现和管理,以及安全以及文件管理。除了。。。
  • NTRU公司

  • 引用159篇文章[sw11761]
  • 基于基本概率论的原理。这个安全NTRU密码系统来自。。。
  • 米兰达

  • 在152篇文章中引用[sw04986]
  • 带类型的库结构保护单独编译和链接的设施。主要部分。。。
  • HMQV公司

  • 引用了78篇文章[sw02714]
  • 旨在实现安全属性。因此,MQV已经。。。协议是否能被证明保护在严格的密钥交换模型中安全... 这个模型使它的基本安全它的许多安全... 所有MQV的安全目标可以正式证明。。。
  • 阿维斯帕

  • 引用84篇文章[sw03172]
  • 网络自动验证安全协议和应用)是一个按钮工具。。。因特网的自动验证安全-敏感协议和应用。它提供了一个模块化和表达。。。用于指定协议及其安全属性,并集成不同的后端。。。
  • 卡斯帕

  • 参考文献95篇[sw06559]
  • 用于分析的编译器安全协议。Casper是一个需要。。。a的描述安全协议在一个简单,抽象的语言,并产生一个CSP描述。。。
  • 纳克索斯

  • 引用69篇文章[sw03050]
  • 劳特和米提亚金最近提出了安全认证密钥协议强化定义。。。协议,称为NAXOS,它享受一个简单的安全新模型的证明。相比。。。另一方面MQV没有安全证据,还有HMQV安全证据。。。简单直观地证明了CMQV保护在LaMacchia Lauter Mityagin模型中。。。
  • BKZ公司

  • 引用了60篇文章[sw10242]
  • 更好的格子安全估计。给出了在实际应用中已知的高维网格化简算法。。。Schnorr Euchner's BKZ:全部安全格密码体制的估计是基于。。。更长时间的优化,但精确的影响安全估计不清楚。我们评估这种影响。。。运行时间,从而修正晶格安全估计。例如,我们的模拟表明最小的。。。
  • 山茶花

  • 引用81篇文章[sw09731]
  • 除了它的高水平安全. 经证实,山茶具有很强的安全...
  • KEM-DEM公司

  • 参考58篇文章[sw03093]
  • 通用可组合保护基于KEM-DEM框架的频道。关于公共的ISO标准。。。本文研究了一个更通用的混合协议,保护频道,使用KEM和DEM,这样。。。会议。本文从语义上证明了KEM保护针对自适应选择密文攻击(IND-CCA2。。。语义上保护针对自适应选择的明文/密文攻击(IND-P2-C2)以及保护签名。。。
  • 麦克马斯

  • 引用71篇文章[sw09463]
  • 包括机器人技术在内的各种领域,安全协议、web服务等。例如,安全规范涉及。。。
  • 西蒙

  • 引用84篇文章【sw13824】
  • 国家公开发布的分组密码安全美国国家安全局,2013年6月。[2]西蒙。。。
  • 旋转

  • 引用了50篇文章[sw02657]
  • 使这些网络变得可行和有用,安全很少受到关注。我们提供一套。。。安全为传感器网络优化的协议:SPINS。旋转有两个保护积木:SNEP。。。
  • 闪光灯

  • 引用46篇文章[sw02233]
  • 消费智能卡。这个安全是有争议的,因为我们没有证据安全... 更要小心的是安全. FLASH和SFLASH已被接受为提交。。。
  • 开放式SSL

  • 引用52篇文章[sw09945]
  • 特色,以及实现安全套接字层(SSL v2/v3)和传输层。。。安全(TLS v1)协议以及全强度通用密码库。。。
  • CMQV公司+

  • 在38篇文章中引用[sw06418号]
  • CMQV Ustaoglu的交换协议提供了一个保护以及高效的密钥交换协议CMQV。。。型号为保护作为纳克索斯。然而,CMQV享受安全在。。。CMQV,称为CMQV+,这是被证明的保护在一个较弱的假设下(即计算Diffie Hellman。。。
  • 短笛

  • 引用47篇文章[sw13242]
  • 在实现技术上,Piccolo实现了双高安全尤其是硬件上的紧凑实现。我们展示。。。短笛提供了足够的安全与已知分析的水平,包括最近相关的关键差异。。。
  • JPEG2000型

  • 引用63篇文章[sw02062]
  • 电影、数字电视、医学成像、国防成像,安全地理成像和遥感,数字文化。。。