-
数据日志
- 引用292篇文章[sw20023]
- 数据集成、信息提取、联网、程序分析,安全,以及云计算。[1] 它的起源可以追溯到。。。
-
Globus工具箱
- 引用176篇文章[sw09648]
- 共享计算能力、数据库和其他工具安全地跨越公司、机构和地理界限的在线。。。资源监视、发现和管理,以及安全以及文件管理。除了。。。
-
HMQV公司
- 引用80篇文章[sw02714]
- 旨在实现安全属性。因此,MQV已经。。。协议是否能被证明保护在严格的密钥交换模型中安全... 这个模型使它的基本安全以及许多声明安全... 所有MQV的安全目标可以正式证明。。。
-
阿维斯帕
- 引用87篇文章[sw03172]
- 网络自动验证安全协议和应用)是一个按钮工具。。。因特网的自动验证安全-敏感协议和应用。它提供了一个模块化和表达。。。用于指定协议及其安全属性,并集成不同的后端。。。
-
纳克索斯
- 引用73篇文章[sw03050]
- 劳特和米提亚金最近提出了安全认证密钥协议强化定义。。。协议,称为NAXOS,它享受一个简单的安全新模型的证明。相比。。。另一方面MQV没有安全证据,还有HMQV安全证据。。。简单直观地证明了CMQV保护在LaMacchia Lauter Mityagin模型中。。。
-
卡斯帕
- 参考文献95篇[sw06559]
- 用于分析的编译器安全协议。Casper是一个需要。。。a的描述安全协议在一个简单,抽象的语言,并产生一个CSP描述。。。
-
BKZ公司
- 引用66篇文章[sw10242]
- 更好的格子安全估计。给出了在实际应用中已知的高维网格化简算法。。。Schnorr Euchner's BKZ:全部安全格密码体制的估计是基于。。。更长时间的优化,但精确的影响安全估计不清楚。我们评估这种影响。。。运行时间,从而修正晶格安全估计。例如,我们的模拟表明最小的。。。
-
KEM-DEM公司
- 引用59篇文章[sw03093]
- 通用可组合保护基于KEM-DEM框架的频道。关于公共的ISO标准。。。本文研究了一个更通用的混合协议,保护频道,使用KEM和DEM,这样。。。会议。本文从语义上证明了KEM保护抗自适应选择密文攻击(IND-CCA2…语义上)保护针对自适应选择的明文/密文攻击(IND-P2-C2)以及保护签名。。。
-
西蒙
- 参考文献99篇【sw13824】
- 国家公开发布的分组密码安全美国国家安全局(NSA)于2013年6月发布。[2] 西蒙。。。
-
旋转
- 引用49篇文章[sw02657]
- 使这些网络可行和有用,安全很少受到关注。我们提供一套。。。安全为传感器网络优化的协议:SPINS。旋转有两个保护积木:SNEP。。。
-
开放式SSL
- 在56篇文章中引用[sw09945]
- 特色,以及实现安全套接字层(SSL v2/v3)和传输层。。。安全(TLS v1)协议以及全强度通用密码库。。。
-
闪光灯
- 引用46篇文章[sw02233]
- 消费智能卡。这个安全是有争议的,因为我们没有证据安全... 更要小心的是安全. FLASH和SFLASH已被接受为提交。。。
-
短笛
- 引用52篇文章[sw13242]
- 在实现技术上,Piccolo实现了双高安全尤其是硬件上的紧凑实现。我们展示。。。短笛提供了足够的安全与已知分析的水平,包括最近相关的关键差异。。。
-
王子
- 引用69篇文章[sw13240]
- 许多未来普及的实时应用程序安全需要。我们的密码名为PRINCE,允许加密。。。