• 数据日志

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

• gmp

• 引用282篇文章[sw00363]
• 密码学应用与研究，因特网安全应用，代数系统，计算代数研究。。。

• Globus工具箱

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

• NTRU公司

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

• 米兰达

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

• 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:全部安全格密码体制的估计是基于。。。更长时间的优化，但精确的影响安全估计不清楚。我们评估这种影响。。。运行时间，从而修正晶格安全估计。例如，我们的模拟表明最小的。。。

• 山茶花

• 引用89篇文章[sw09731]
• 除了它的高水平安全. 经证实，山茶具有很强的安全...

• 麦克马斯

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

• KEM-DEM公司

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

• 西蒙

• 参考文献99篇【sw13824】
• 国家公开发布的分组密码安全美国国家安全局（NSA）于2013年6月发布。[2] 西蒙。。。

• 三层

• 引用79篇文章[sw06150]
• 密码可以简化而不牺牲其安全速度或灵活性。简单的设计。。。

• 旋转

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

• 开放式SSL

• 在56篇文章中引用[sw09945]
• 特色，以及实现安全套接字层（SSL v2/v3）和传输层。。。安全（TLS v1）协议以及全强度通用密码库。。。

• 闪光灯

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

• 短笛

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

• 王子

• 引用69篇文章[sw13240]
• 许多未来普及的实时应用程序安全需要。我们的密码名为PRINCE，允许加密。。。